ضامن عملی یا پراگماتیک سانکسیون ۱۷۱۳(لاتین:Pragmatica Sanctio، فرانسوی:Pragmatique Sanction) فرمانی بود که کارل ششم، امپراتور مقدس روم را مطمئن می ساخت که آرشی دوشی اتریش به دخترش ماریا ترزا به ارث خواهد رسید.کارش ششم در ۱۷۰۳ با الیزابت کریستینه فن برانشوایگ-ولفنبوتل پیمان زناشویی بست، ولی آن دو دارای فرزند پسری نشدند تا آنجا که در ۱۷۱۱ کارل تنها عضو نرینهٔ زندهٔ دودمان هابسبورگ بود. از برادر بزرگ...