{"entities":{"Q1838826":{"pageid":1849568,"ns":120,"title":"Item:Q1838826","lastrevid":70962858,"modified":"2026-04-13T18:31:57Z","type":"item","id":"Q1838826","labels":{"en":{"language":"en","value":"Correctness proofs of CSP programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3806913"}},"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":"Q1838826$F176934D-F1C7-4F46-95D4-7A11193E9D0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a5db2721faa639ae954f5dc7e80ca1afdea2612","datavalue":{"value":{"text":"Correctness proofs of CSP programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1838826$6414F149-9E13-47FA-8C8F-6E85A92C75E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9270e432fc2e757c559fa4445a483293ec630a94","datavalue":{"value":"0511.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838826$05BC9A91-CF7F-4726-9ACA-E7B59B545CD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e243b9fb48ef5b374cac31c83fd40802e6ba9824","datavalue":{"value":"10.1016/0304-3975(83)90045-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838826$93E6E0D3-044F-45BB-BC74-4F4B9DEB77AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97ed3b0664441e8d880d927898de01db2ab18f95","datavalue":{"value":{"entity-type":"item","numeric-id":796291,"id":"Q796291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838826$1A9FBBA7-29AB-4AAD-AC77-8CFF08DF0E09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838826$E8F0AAC9-7B71-4AD4-9149-4C9F3D2FFEC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1838826$0720E774-A7D7-4FB0-AD21-687085245275","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838826$D507BE69-4841-4FBF-A537-C4D04FA90B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838826$F6DE0299-44E4-408A-907A-347C005EA23B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e7ae117471f68408cc24e6ebf4a7d1e6a18363a","datavalue":{"value":"3806913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838826$FEF05023-18A3-468F-971F-5A096AAB8CB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253280367e5852d8c4715b30d32c3da1322bd6f","datavalue":{"value":"communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838826$33D407C2-0120-4F81-B85F-D7C2A1543BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1838826$59FF3C19-F001-4C86-939D-0964ED9F29A6","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":"Q1838826$7326669F-5A38-49C8-B7A2-99CFE1EA50D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa8be1f97c3330aa9dcf5dc84b37a9cf357eff70","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90045-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1838826$378AA35C-7AA6-4AEF-92EE-ECB16C228E49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"137399ea397c2efc5d1db7cd614748bd55f50145","datavalue":{"value":"W2038289817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1838826$009959C0-74D3-4278-9DD0-58A215CD423C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838826$6907E335-1B96-46EF-997C-07C230D85BB6","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":"Q1838826$79339DD9-AD21-4094-98BB-4A484C7B6B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b524155ca812bee0e1b7f8a0a6113b4062250caa","datavalue":{"value":{"entity-type":"item","numeric-id":3330490,"id":"Q3330490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1838826$FFC41C6A-2748-4F0A-B5C8-976C130F63BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Correctness proofs of CSP programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Correctness_proofs_of_CSP_programs"}}}}}