{"entities":{"Q594577":{"pageid":596353,"ns":120,"title":"Item:Q594577","lastrevid":62995647,"modified":"2026-04-11T09:34:41Z","type":"item","id":"Q594577","labels":{"en":{"language":"en","value":"Formal correctness proofs of a nondeterministic program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3835319"}},"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":"Q594577$B929DBF3-3E22-4E48-996E-A2238F8D1236","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45233cdbb90e57101d82f53f31db8041f022c15b","datavalue":{"value":{"text":"Formal correctness proofs of a nondeterministic program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q594577$3DD6BF16-0081-49B9-8DEC-D8C2B7B19D5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"220b14d7961fe352d6d533d5b990ac14f9496d58","datavalue":{"value":"0526.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594577$94C607D8-D552-47EE-A65D-6FB9227CB198","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73428e5bb01e980620d8986bf97eaa2e1b7e0c9c","datavalue":{"value":"10.1016/0020-0190(82)90092-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594577$DB7A94B8-E09D-4E3E-A426-A99DFB441575","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae50a2548bd151eeea012ded9e3735e7c4e8d77c","datavalue":{"value":{"entity-type":"item","numeric-id":594576,"id":"Q594576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594577$F711DC2C-F102-4B35-88BD-D97856198704","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594577$DF18068F-8304-47F3-A304-BD228FBF7B87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q594577$CFD43D26-919F-4BC7-9A11-EEEA52C2DBCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594577$3803226E-9CA5-4ABF-A5B6-DAFD2BA177C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a431957310730c50ae08e337e975360ecb44ff1","datavalue":{"value":"3835319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594577$3AED7830-FB85-4A24-B43E-792DF0AE77CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fe75ecdeef7e0425c4bb1338f9134c5adf0be","datavalue":{"value":"backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q594577$38E83992-785F-4B9F-8203-551F70A9554D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q594577$DA41846C-8AE2-4B9F-A124-6974411D1050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q594577$4B9928A9-FA95-4167-BA08-098CF08FDD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q594577$BF095D51-972F-4690-8011-3FBA68A73D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4734a47521c48b7b32ae545a74ae18917855b200","datavalue":{"value":"total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q594577$958F8618-92DA-4C42-8F66-E769CF35D5DC","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":"Q594577$5E3AC65E-555E-499A-82C9-5462C97B37E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae5d20c393ff5fe1fd1672199941d627a1ce2931","datavalue":{"value":"https://doi.org/10.1016/0020-0190(82)90092-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q594577$5EAC646C-4548-4EFE-8458-2AA116A10678","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e9eeba1c0a3f4dbfb5fca9ba2ee31cd166c8f3d","datavalue":{"value":"W2067263293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q594577$CBBF7EE7-705C-4E1A-980A-27490016555F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594577$2393BF8C-CC94-4EEF-80E8-19796A6C603D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d8f82c493ecf71b1895a2fbc262dc6af404064","datavalue":{"value":{"entity-type":"item","numeric-id":5532796,"id":"Q5532796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594577$A47B9648-69DD-4591-8350-5D370577BFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594577$A2E93DB0-504D-4CA2-832C-3D7B273A1BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c0494e343ccadfed43fe5761af39dbee3392a9","datavalue":{"value":{"entity-type":"item","numeric-id":4160382,"id":"Q4160382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594577$654361A8-0896-41DE-94F3-1533A9229572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q594577$BECCA439-4E0D-43C7-8772-59539AEEBF26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal correctness proofs of a nondeterministic program","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_correctness_proofs_of_a_nondeterministic_program"}}}}}