{"entities":{"Q1155605":{"pageid":1166354,"ns":120,"title":"Item:Q1155605","lastrevid":66499815,"modified":"2026-04-12T10:29:34Z","type":"item","id":"Q1155605","labels":{"en":{"language":"en","value":"Proving total correctness of nondeterministic programs in infinitary logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3732020"}},"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":"Q1155605$32BA3200-EDF9-47E5-A869-95D795897B87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69eb6a29e85f1760af933f690d8011b0929b0b1a","datavalue":{"value":{"text":"Proving total correctness of nondeterministic programs in infinitary logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1155605$6C0F647E-00F3-4654-B754-02477E2E670D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5957ba5df390de7126694ebc87dca73a49872313","datavalue":{"value":"0467.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155605$9C72AC45-2390-41C1-ADFA-BE4A6A03D101","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25ad60796dff123b897a2ff8aa05709a3b1502ef","datavalue":{"value":"10.1007/BF00289263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155605$BEB4E0B7-1448-4020-97CB-F1BC8C228F78","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155605$0DE14763-6956-4F9B-A683-DB3B0AA1A7A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1155605$9AABB52B-CC8D-41B9-9713-169D72B10E52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155605$30E22D2E-BAF7-44EB-A8DF-1BA6E49B4C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155605$D9C134D9-B9FC-45F0-869F-1361B231599C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155605$98A0F38A-5D4E-46D2-A15A-197985D4369D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dee6fe17981baa99cac901cec613ba5b2bc8467d","datavalue":{"value":"3732020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155605$68064A56-5642-45C8-8EB8-127BD0631997","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d17ebcef126f58bfb679d09baf6fb0c2dd251881","datavalue":{"value":"hierarchically structured programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1155605$2BDCD4ED-24D9-4A74-AD98-06CAF0962023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07784dfc8fc1c139a08ab26df01a4e0f49449c21","datavalue":{"value":"Dijkstra's guarded commands","type":"string"},"datatype":"string"},"type":"statement","id":"Q1155605$596EFFDF-E5DB-403C-9294-F721594A4C0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7d76bab915fa5b11ba4114aa1f83889a977dcb6","datavalue":{"value":{"entity-type":"item","numeric-id":204599,"id":"Q204599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155605$4838846B-7C01-4656-BFCF-6DEF170BC3A9","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":"Q1155605$9DD8B6C9-BB46-4B27-B42A-3FFB8FDB8031","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155605$FC2B94C3-3406-4C67-BDF1-FFEBA9376F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c657890d3e4e594c9603629a24d3f25e9e327278","datavalue":{"value":{"entity-type":"item","numeric-id":3860820,"id":"Q3860820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155605$232401CF-A860-4190-8822-C3821539E7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37794fbd3e007ea43b586500c6e7d92f9a3cf8e","datavalue":{"value":{"entity-type":"item","numeric-id":4130976,"id":"Q4130976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155605$9CF33EFC-5EF7-433E-A09E-CE454BF8ADDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb3e26760d87c71a363189dcbfed536d99889b2","datavalue":{"value":{"entity-type":"item","numeric-id":3954796,"id":"Q3954796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155605$4C6EA47D-6C98-4C84-AFC8-124B6A95983F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22cf81cdb8d0c75b884815a320b4be63e72a937c","datavalue":{"value":{"entity-type":"item","numeric-id":1224571,"id":"Q1224571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155605$27AAEDC6-E3D7-464E-B37A-5561FC12A488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155605$0DC86229-2205-405F-B265-FE2F0BFACA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155605$B1B735AD-7127-4B3E-A7E0-DAFFD2E7C441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155605$A1D7DDB7-9F50-4D9B-89A2-0F3F38AFD088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155605$429E1AC0-5348-4EB1-9426-3DDEE0EE8270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba2e1c3419f9f6717e278f2427bb6083875f76b","datavalue":{"value":{"entity-type":"item","numeric-id":3862381,"id":"Q3862381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155605$4977AC9D-7D69-447F-B873-906BB868525E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c417924a46f5e00f10bb7b003d8951d6cdf42c1","datavalue":{"value":{"entity-type":"item","numeric-id":5596237,"id":"Q5596237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155605$05E22DF0-A020-4908-B2F1-F1766510A5F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving total correctness of nondeterministic programs in infinitary logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_total_correctness_of_nondeterministic_programs_in_infinitary_logic"}}}}}