{"entities":{"Q4178461":{"pageid":6208062,"ns":120,"title":"Item:Q4178461","lastrevid":29990245,"modified":"2024-03-06T18:43:54Z","type":"item","id":"Q4178461","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3614147"}},"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":"Q4178461$881669CA-4E81-40AC-9858-2C0197B41803","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b9f0757333ba59c32b6d3e8c0f8b0820f4ef593","datavalue":{"value":"0395.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4178461$85E08D54-2241-45BB-B809-F85CCDFB5C78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2556e282b7fba76d3a7161570ae4b4bd6328e54","datavalue":{"value":{"entity-type":"item","numeric-id":1219674,"id":"Q1219674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4178461$06678A39-C1EA-4079-BE84-7161C46C217C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87201105ab9aadf571db6479712327a7fc2e406d","datavalue":{"value":{"entity-type":"item","numeric-id":287253,"id":"Q287253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4178461$2198B925-FEEF-458A-A49F-12E0D122D600","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4178461$FC904C5F-A53A-4A1F-A540-3F0C9ABE550F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4178461$C5AA7E87-FA4F-4BFC-8942-2A20788810B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4178461$5142686D-B6D9-48A8-87DE-5E614EF0F7D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea14332ec6d09144b82fcd6ba5a3e5c063b4f29b","datavalue":{"value":"3614147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4178461$F1B507F2-6C69-4A81-A77A-CCA06E907C27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c303b09c9f2108419e7d678b6284ff360bda2003","datavalue":{"value":"Hoare's Deductive System for Proving Partial Correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178461$99846A05-AB42-46BE-A0E9-25C191B30955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c35dae05a14380f13e751a9ba9ae03cc3523c3","datavalue":{"value":"Termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178461$508881B8-2753-4436-8281-B10D993C34B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df5fd56c46d91705ffbd3ded9b7053ddbd53110d","datavalue":{"value":"Axiomatic Proof Technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178461$29E09758-5EFD-4B65-905E-E2B4D213FFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18940d42652a52e7318053af946ff9dc8fce706a","datavalue":{"value":"Absence of Deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178461$B3EB3612-A79E-4FE0-9188-67628EA0A316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f30c94da4445ae92e8b2a98175ad56281b4e877c","datavalue":{"value":"Synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178461$23703D15-D8C3-4568-9D48-7CBFC0097CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e0402b647df8c807c3de33c4dc1f79bd8b7db74","datavalue":{"value":"Parallel Programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178461$A9B6C58B-2B37-4949-8326-5DD3C2A21A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95bd304c1542d48a6f865ad64b78e36e2df710b6","datavalue":{"value":"Mutual Exclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178461$A8AD1E7C-190C-4EE7-AD0B-00C67B8178BB","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":"Q4178461$05CCFB4D-F5C0-4DAB-A2BE-1AB50CBC7EE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4178461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4178461"}}}}}