{"entities":{"Q1819925":{"pageid":1830667,"ns":120,"title":"Item:Q1819925","lastrevid":69402261,"modified":"2026-04-13T06:45:50Z","type":"item","id":"Q1819925","labels":{"en":{"language":"en","value":"The correctness of nondeterministic programs revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995029"}},"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":"Q1819925$B9FBF43F-342A-427D-9915-E03039D8B237","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"339e901585415ff4ab4b280ec61623d19d38d7b7","datavalue":{"value":{"text":"The correctness of nondeterministic programs revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1819925$A3D1C3E1-139E-4A0C-BF85-168FB6B6783F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccadbae9496fe36d4fc1a0a0b2cd0c213fecd303","datavalue":{"value":"0614.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819925$4BE2EB36-BB49-4503-8286-4F142B98B34B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e86062588a4f5130de4867542506c34e14beb60","datavalue":{"value":"10.1016/0020-0190(86)90090-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819925$728138C4-2510-49B6-A44E-62CC0466A766","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a0b7caa867576126152d465e12b8f30421d1e09","datavalue":{"value":{"entity-type":"item","numeric-id":1111369,"id":"Q1111369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819925$AE76DD59-4883-4DCC-A0D9-79F6867E445A","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":"Q1819925$901797B8-664F-492F-BA4A-8CAD83F05D03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1819925$BFA1D83C-DAEE-4F63-8BB7-114BA951E25A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819925$B02EC435-D1D5-48B0-9547-2497586491C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e309c5e01fbe78f3c4ae2a3a5271f51efcfa355","datavalue":{"value":"3995029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819925$1B75372F-3006-4804-895F-AC829061E1F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4734a47521c48b7b32ae545a74ae18917855b200","datavalue":{"value":"total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819925$77237C6D-C88E-4F3F-A764-9DE4433DCE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e381b994a9c0ce3eb69287257f5288ebf06f2b7","datavalue":{"value":"nondeterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819925$46B0102D-3546-47D1-88E8-F8C6CECCA616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03a6c05c560fe8d2d661d1ff952fd32adf569417","datavalue":{"value":"depth-first execution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819925$5548D3A2-7E49-457B-8AE8-0F3E50F9C191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c469a30f97f215b7633295fa98ffdb03c92bcf82","datavalue":{"value":"breadth-first execution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819925$CA92C8BA-EED6-4A9E-BA2C-8792B57CAC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819925$3118E27C-0538-4D5A-AA3C-134E426E4B3A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cb180c22f3bced7fedc55462354c0f7fabfc168","datavalue":{"value":{"entity-type":"item","numeric-id":35531,"id":"Q35531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819925$A70DE278-29A1-4905-992F-526CD6D4C656","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":"Q1819925$4CB27459-3778-4876-BA3D-B30E901243B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc380f5b04ff15d66e6e548aee26d0afe9d6d0f6","datavalue":{"value":"https://doi.org/10.1016/0020-0190(86)90090-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1819925$56E542A0-F14A-4AED-B644-D9CC77C312D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"937454b3a19de2b8a0c5689c4e7ce86b39f8aeff","datavalue":{"value":"W1988714691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819925$7F8E2F9E-630E-439D-B61B-0195BD79E42F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d54d03d44a544a3c811b233b3629d1a95e74c1c","datavalue":{"value":{"entity-type":"item","numeric-id":3721786,"id":"Q3721786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819925$2FA68E69-4FCC-463B-90A4-8FFC44C5E6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819925$FAD5024D-267E-4C88-80FC-06AA2D54F40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b41ed073aa8154ef82f4568e281d9fa0e323670","datavalue":{"value":{"entity-type":"item","numeric-id":3220545,"id":"Q3220545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819925$66F44579-72F7-4DDE-98B2-F2E8E2611D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4907b6c8232569d66044a4f0d8820e56855b5f1","datavalue":{"value":{"entity-type":"item","numeric-id":1143163,"id":"Q1143163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819925$263832B1-48EA-48A3-8B98-552675F9D79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819925$BE96D8BA-3F02-4A6E-B7E4-5305D37E9B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ecd6a95ac70b3920a98b58f6909f94df8490e8a","datavalue":{"value":{"entity-type":"item","numeric-id":2541847,"id":"Q2541847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819925$14ED2432-A0D9-42E2-AD65-965DD6F4D0DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The correctness of nondeterministic programs revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_correctness_of_nondeterministic_programs_revisited"}}}}}