{"entities":{"Q1346769":{"pageid":1357508,"ns":120,"title":"Item:Q1346769","lastrevid":70209162,"modified":"2026-04-13T13:10:43Z","type":"item","id":"Q1346769","labels":{"en":{"language":"en","value":"Extending Hoare logic to real-time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 742709"}},"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":"Q1346769$801EF25D-CFB7-4D3A-8190-38AC4E7C3D90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99429dcfde68a007c9fee315627adb19727f6da5","datavalue":{"value":{"text":"Extending Hoare logic to real-time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346769$CA286133-7E32-4611-B155-62DCC6A39FEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5760d8e7a7d3daf8aa6e4425946aeb9b30292887","datavalue":{"value":"0816.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346769$F841B388-AAB2-46C0-AA89-1AAB2BF56E10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab18ca5576473a9f2bae737877eb494f0fb45f5a","datavalue":{"value":"10.1007/BF01213604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346769$2D2B949F-9E8F-4BF8-ACB5-974E52CB1386","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346769$9D8ACA87-09D1-4B36-ADE0-5FA1A4CEA84C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"231115b38b8392c07a175c06d4f6a9502ba4f74e","datavalue":{"value":{"time":"+1995-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346769$06B421D2-6BE7-4B01-A393-E7A005F3599F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346769$73AAACD1-ABB3-46E2-A3CB-09262D7FEA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346769$8E69BFD4-E2AD-4E4D-8BF5-45294032E0A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e1884f81e5314ddc7a2dd293352552e5e64534b","datavalue":{"value":"742709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346769$93245EC3-9FB0-42F9-9174-76998ADCC132","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346769$BB6369B3-9668-4E03-BB18-717F603FC66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80fa2009325dcd5026bec4da1396c937af044a84","datavalue":{"value":"top-down design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346769$73A2E74A-3C8B-428C-A11D-1338CFD22B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346769$EB323BA7-7A8B-45EF-B028-3D590EB77590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346769$395D9AC8-2505-40D6-8CDC-7DAB27676E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b032c8ae9a34a58a67e6b239c3cf1914149e7d","datavalue":{"value":"concurrent program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346769$A25208DD-10AD-41DE-9050-D431E1C489DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"655b272f9711e4d9ee9172807da80e0536e6347a","datavalue":{"value":{"entity-type":"item","numeric-id":229991,"id":"Q229991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346769$CB6AD28D-B0A7-47A3-B4AA-33192FBB9D5C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346769$CA0A5BC2-8951-4283-9312-56B44B9AEED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346769$DF494967-E798-4A70-ADC3-B8E9133A9326","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":"Q1346769$F730421B-F385-452A-BA3E-25EE52DCA837","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b435d63e7c8336e6c9a694b54342cc9a6c6e9e4","datavalue":{"value":{"entity-type":"item","numeric-id":1050763,"id":"Q1050763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346769$9198E3F9-37FE-4CF4-950F-72FF79E5ADA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346769$19115C9C-44EC-407E-A742-FC7B5C1A2461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346769$7E6AB0BC-D27C-45A7-9CEC-47F33C2A2569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb546abd67bf6e86ebd0867fded79221f1363869","datavalue":{"value":{"entity-type":"item","numeric-id":690305,"id":"Q690305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346769$5887C668-FBA7-431C-A0FE-210AFA6FE937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346769$03F708DE-859F-442C-AC4F-9C6A8F8BFB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"855be14fb53cf1655d81fe8552b83c8c97789269","datavalue":{"value":{"entity-type":"item","numeric-id":396986,"id":"Q396986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346769$C937BDA4-CBA0-4A9B-9A9A-8C84704D16E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f178f6d6899337c82b7efea85b79c9996a71276","datavalue":{"value":{"entity-type":"item","numeric-id":396986,"id":"Q396986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"598df7b4ddce884e1b0e0b89166474db302c7375","datavalue":{"value":{"amount":"+0.8005985021591187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346769$8E40724C-4E9E-48CD-B3FA-68AE6851D839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3005a3ed7c93b95f599b331687e586e72eea8f","datavalue":{"value":{"entity-type":"item","numeric-id":3999508,"id":"Q3999508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34baa73115525014add0647c078b5b340370a34","datavalue":{"value":{"amount":"+0.7971878051757812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346769$569A7D1E-61CC-43D7-8D0B-6387DC119CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a65c8fffdba38bdabc49fcdd9e28a660d4f7c043","datavalue":{"value":{"entity-type":"item","numeric-id":4037378,"id":"Q4037378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34baa73115525014add0647c078b5b340370a34","datavalue":{"value":{"amount":"+0.7971878051757812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346769$84405014-BF93-4909-833C-F14CBA9C2227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74974f86a83c0b9ddc8feb10884580cca5fa2ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4282003,"id":"Q4282003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06953ea20947c4cdd23266a1e043c2ee90b0d2d3","datavalue":{"value":{"amount":"+0.7792729735374451","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346769$C966FADC-7810-4687-B8CC-28C232AE1C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5113239c9cedb9427ed7de52bd3cfb69d19d0c2c","datavalue":{"value":{"entity-type":"item","numeric-id":4250362,"id":"Q4250362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fcb9fe5c88dcbc671613b0c7a06f8d50be5209c","datavalue":{"value":{"amount":"+0.7790768146514893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1346769$BDB45EE3-3B1A-46EA-8210-ED4DD191F3F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending Hoare logic to real-time","badges":[]}}}}}