{"entities":{"Q3914413":{"pageid":5944318,"ns":120,"title":"Item:Q3914413","lastrevid":54979714,"modified":"2026-02-02T12:01:22Z","type":"item","id":"Q3914413","labels":{"en":{"language":"en","value":"The Total Correctness of Parallel Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3725679"}},"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":"Q3914413$648D7812-B22D-4792-A203-A9A2E28B9E49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfe8e18f95ed03a7a3f8b18dd4e0ca28d9ef7b81","datavalue":{"value":{"text":"The Total Correctness of Parallel Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3914413$4E78132B-72AB-417D-BB97-15CCE94D2A5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eae6197d862e0e4dccb7298a43a279e7c35b2fc4","datavalue":{"value":"0463.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3914413$B4BDD481-6F76-4D6E-A92E-F1924936A987","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dc85d361d3980a4e030404ea6e03740b64a4c34","datavalue":{"value":"10.1137/0210016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3914413$A5EAE429-2BB4-446E-B9E4-B496833FDC72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea5a909a62995a0eb52547218ed2d8fc95271b83","datavalue":{"value":{"entity-type":"item","numeric-id":3914412,"id":"Q3914412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3914413$50A9BEDB-A21C-4EFA-9939-7F0CBCBD619B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86305d09d8636bbbb70a6e71e58eec30567b23e6","datavalue":{"value":{"entity-type":"item","numeric-id":1077921,"id":"Q1077921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3914413$DE0BB91B-13E7-4FEA-A84F-496C0B7B98E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3914413$499B62DE-4BDB-4BF0-88BF-EE886005E06E","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":"Q3914413$F6C9A210-DAED-4D98-BF35-26406B3C94D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3914413$7EB42C3B-C6FC-4DB3-BFEC-6C389F7F7263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3914413$FB249971-A0BB-447B-8AC9-3E0ED6098A90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34b2fadc74bd56edb86d50a1840ce170572815a6","datavalue":{"value":"3725679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3914413$1261B5C0-C620-4B41-8CC3-E766D43255A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"855af08d63de68a214880a14dc080a2a72230738","datavalue":{"value":"parallel programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914413$28FBEDA9-EC59-4460-8180-CBC9AAAFCBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e381b994a9c0ce3eb69287257f5288ebf06f2b7","datavalue":{"value":"nondeterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914413$3BFF9981-06E7-4EC2-A0BB-7C0ED9D6B0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adf76c68bd6b8b14ebd97fb8642d39b9ab6712d9","datavalue":{"value":"verification correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914413$11D6289F-E63B-4392-80B6-3CC86DDF0993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914413$1A29D2B5-A7D1-428F-B535-22C749BF80D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914413$DF40F185-BFB9-422A-9F9D-7773ECABF937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67bb07c671d6ade303b65f306d025d72cb3f6911","datavalue":{"value":"completeness of axiomatic proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914413$3A5E8801-EEF2-485D-AC2A-1930FEDB95E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914413$5CBC15D1-8C3F-4BA1-BBDD-ED495B398CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31936d24885062d566f4f810268a09ab0606e6b","datavalue":{"value":"starvation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3914413$4A5920B6-AA92-4E47-B6F5-D19011715277","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":"Q3914413$20DB27E7-44F9-4BAB-B678-6A2011EEC678","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dc675f5058267f7ae3c010a4b122f7ded6811a8","datavalue":{"value":"https://doi.org/10.1137/0210016","type":"string"},"datatype":"url"},"type":"statement","id":"Q3914413$5FB37B6C-D778-43EC-91EE-09E89687B758","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5c715541bf51e573255f458729eacddc9e0266c","datavalue":{"value":"W2025113826","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3914413$155C8461-5A0E-4814-984F-20A630335D51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3914413","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3914413"}}}}}