{"entities":{"Q3657408":{"pageid":5687314,"ns":120,"title":"Item:Q3657408","lastrevid":49845163,"modified":"2026-01-11T06:13:57Z","type":"item","id":"Q3657408","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3808927"}},"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":"Q3657408$CB3D088D-87D6-4337-A496-A6D881C6E109","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3967ce86ca63909b97dc429c3b99f82e283b255","datavalue":{"value":"0512.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657408$04D835AB-0C51-4BEB-887E-C81FF343CFBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4c9bd5e841d4bab29501a8da2aade8a8cab81a9","datavalue":{"value":{"entity-type":"item","numeric-id":218983,"id":"Q218983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3657408$8F61499E-BE65-47B9-A1AE-BDF633FE7306","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":"Q3657408$AED3E8A8-3EA4-47FB-A65E-3BED778CFB26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657408$F159C9FB-2CEE-489D-B741-75CD5C60C961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657408$459A0B01-A9C0-4177-A067-D648B75DF5C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d10d986bf2b2d94177a1a08291c855a3527e7278","datavalue":{"value":"3808927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657408$D17AF7AB-FC45-41AA-BABE-15596032875C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867ad6c5f6621ea1cc1adeef5d42bbf243df39b8","datavalue":{"value":"formal syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657408$1691C99D-DD11-412F-B0D1-F52F5D244368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b9382f098c5dfb0207b10dc98ba519988aa49c","datavalue":{"value":"formal relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657408$88A9FF08-32F2-4F13-8183-2A35145F5E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ee7fdf2049db9290d38cc9f0709f4ba151de5a1","datavalue":{"value":"guarded commands","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657408$A6E8C46E-FCE5-4B6A-8B92-80CAC021E233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"071bbee34eea45cbfe55ab76fde84e6e085b5415","datavalue":{"value":"parallel operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657408$CB709034-E7FF-4EC5-AFF9-9E091C262995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26df15ceaf37bde45c70b7f9ff379a834ec9299","datavalue":{"value":"atomic action feature","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657408$8A113DED-FED5-49A5-9BC9-A34789D464DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb4100adcf05bb09c5163c96877daa194a69d63d","datavalue":{"value":"execution sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657408$01898672-6A56-438D-B081-5E20909507FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1c00bf9bbdedd5eb82895392418126fd70eb05","datavalue":{"value":"sequential non- deterministic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657408$43A55BA3-0BE9-4AB4-847F-BDD08BBA08AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc99972a7f439d97d4685f79b9f1db443c133006","datavalue":{"value":"Owicki-Gries proof method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657408$3EDA8829-AD02-460F-A0F5-DDF2595582E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5506803e9087af1ae1e4bfbe698c97e5dc9141","datavalue":{"value":"assertional proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657408$822799E1-CB32-47EB-A034-C700CFC7111C","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":"Q3657408$DEC197A5-6BA7-49E8-BC7E-653BD73A2BEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3657408","badges":[]}}}}}