{"entities":{"Q2811594":{"pageid":2822332,"ns":120,"title":"Item:Q2811594","lastrevid":52552928,"modified":"2026-01-22T23:02:05Z","type":"item","id":"Q2811594","labels":{"en":{"language":"en","value":"Loop-free verification of termination of derivation for a fragment of dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6592219"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811594$7D85E7F4-2D08-494C-A92F-2C7CB94C9701","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2162ce13bdbd4f6ceba6fa1c416b5e062d72d5c0","datavalue":{"value":"1344.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811594$D01609C1-7242-40A0-B92B-39EA638AD5C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2811594$552E469B-4E5A-47DE-A8BD-41C9311309D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811594$DBE9E163-5AC4-4791-8E79-A617E7813009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811594$7033F001-5F72-460C-9DC0-539322A0D4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811594$A04E029A-409D-48FA-AC19-F6E92EB488ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d43d4648317fddc19a9a28c0a31cd65d195c89e1","datavalue":{"value":"6592219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811594$723F7303-8212-4F0F-9AEB-8DA3705B0BA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811594$BF676C14-1647-4554-8902-4A3952017A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811594$A36DDEC5-5332-4E4D-9C46-690C00D67EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2fa7a1302b4ec6e5e61d60e2cb750f8078296c4","datavalue":{"value":"loop-check","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811594$ADCE3F15-88F6-466B-9F17-5CB9AC9DBC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"577a4b87c179775f4ee4deee551c58c44714a0c9","datavalue":{"value":"invertible rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2811594$8D3E09B3-6191-46E0-AF72-B43081EFE785","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7860b5f5f8e3f51d43313692926606ec1d28de","datavalue":{"value":{"entity-type":"item","numeric-id":1344879,"id":"Q1344879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811594$9A009C0E-0197-4578-8180-A6CEE615518B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811594$9EC37DD5-12C1-4BED-ADED-7D10A4776F6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e284369076b838de029306986fd12563edc7361","datavalue":{"value":{"text":"Loop-free verification of termination of derivation for a fragment of dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811594$818B2E69-9AEB-45B6-A08E-AC9F61CD3001","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d13f78e0250926a342a04894d5483e01be9d177","datavalue":{"value":{"entity-type":"item","numeric-id":6770969,"id":"Q6770969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811594$150BAB59-B75F-4B4C-80FA-19F28FC3CFE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7df82de040d892cf9124635cb3149166fa7a1a22","datavalue":{"value":{"entity-type":"item","numeric-id":3617019,"id":"Q3617019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ffb2f198027d165601edd751b119ce10fd1210a","datavalue":{"value":{"amount":"+0.7875953912734985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811594$27F31584-10CA-4F01-A6E4-6F2AEF65AD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d449e330b67c1db762bef7ef8feb887512bf38aa","datavalue":{"value":{"entity-type":"item","numeric-id":965900,"id":"Q965900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242d0ec905b3962c8b55be6821182ecb042bdf45","datavalue":{"value":{"amount":"+0.7649723887443542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811594$A2448E7F-7EC6-44D7-9BE9-232C5042A1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"661490dde3d431cdfa96834c184b8b743f3ea63d","datavalue":{"value":{"entity-type":"item","numeric-id":3758809,"id":"Q3758809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30d4dbc731cf49c3dc00f7cef5a0b3484b42770","datavalue":{"value":{"amount":"+0.7642490267753601","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811594$85CEB0B2-C504-4AB5-A6C5-C66B9A584D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc875e8d5183199c8cc5e766a48a1f8abc4ffac","datavalue":{"value":{"entity-type":"item","numeric-id":2255197,"id":"Q2255197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ab27c400e12be900c6b087ac2570c187a7e8f81","datavalue":{"value":{"amount":"+0.7639774680137634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811594$CA12EE77-E21A-4A14-99A9-D334276391B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be350057768a329d295f449f94de1d1300371bde","datavalue":{"value":{"entity-type":"item","numeric-id":2180527,"id":"Q2180527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c76173743070c8a63010f7b1488014cb0720af28","datavalue":{"value":{"amount":"+0.7590216994285583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2811594$79DAF1C6-DB22-4125-8BE9-24F73115B1F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811594","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811594"}}}}}