{"entities":{"Q5738898":{"pageid":7768450,"ns":120,"title":"Item:Q5738898","lastrevid":41562152,"modified":"2025-05-05T21:55:48Z","type":"item","id":"Q5738898","labels":{"en":{"language":"en","value":"On Hoare logic and Kleene algebra with tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729709"}},"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":"Q5738898$2438A5E4-D8B9-428A-ACDC-DDD87B1077C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d41558b4e4c58900bcacf9f1228b6b8ed589d81","datavalue":{"value":{"text":"On Hoare logic and Kleene algebra with tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738898$8C4C2CEA-D77D-4D7C-8674-5ACDC3C5D929","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fbfba276cb6241ee7ddd484482c86ba45dcb65e","datavalue":{"value":"1365.68326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738898$6716AF10-D590-48B2-9739-229B3BCD0A89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70232454d5dcbefdfec2ad0668b3d576f2fb339b","datavalue":{"value":"10.1145/343369.343378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738898$BFAF511C-0530-4334-877D-D74A01EB2BB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738898$3F583722-C6E4-4727-8C4A-33AAE4A9D739","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738898$855DC7D7-4734-4D2F-BCB3-C790D82DC78B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738898$AD41F424-AB5C-4C17-AB3E-B02C4A78FAF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738898$A8CBF155-5CC3-4702-888C-FD59E76F089A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738898$714E9CAB-3C35-4A0C-AE73-13B721958C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738898$63C7172B-BA7C-4FA5-B669-1660EEBE682A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"403c4e83f5eac852f265155807bd00929551fd21","datavalue":{"value":"6729709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738898$A151DD0C-F9D6-4A4C-A10E-32E9AA218702","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738898$5BFF2E0E-D062-4003-8B0B-98662639B184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738898$5049E1AD-AAE7-4C5C-AB96-B66C1455AD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca1bf3c71dbb6f9273aa387a9488d0a71d6549d","datavalue":{"value":"Kleene algebra with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738898$C7FCF74A-D836-47A3-9B14-5DFE15FF9C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738898$04CD57EA-9A92-4798-8710-22E9E2C46E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738898$565FF8B7-FBE1-4897-86B2-5F61E212D311","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":"Q5738898$4053235D-A3CF-4B06-B662-DB7BF0A891DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f902362490218b3967c2fa452d3bacda95e9f149","datavalue":{"value":"https://doi.org/10.1145/343369.343378","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738898$A343006F-E5E1-4D7D-A895-BAC2A72B5BA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bc98e30661ffef87da017e733a35a302c033bc9","datavalue":{"value":"W2010626618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738898$2B3EF55E-47FA-4968-AA6E-428C3219112C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e8dee105db8c8231ccba17e0125b02b2f48ea38","datavalue":{"value":{"entity-type":"item","numeric-id":5756670,"id":"Q5756670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d24b8952ccb7b47b2f1f6f3c436e6c3ebc3dcfa","datavalue":{"value":{"amount":"+0.92039824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738898$032BA917-08DC-49C6-9199-9D31CAC443D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2337f63657bead5b56d0f24eceaf33426fdbcf75","datavalue":{"value":{"entity-type":"item","numeric-id":3299849,"id":"Q3299849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0380beddd4eab5e08a80ad602ac86d1994ffd1","datavalue":{"value":{"amount":"+0.92018163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738898$F94945EC-41F8-462B-875F-46B12E55CB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73694831dfdedc726b1da0e2a3f40f29fb4b339a","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4946c45aade1ed042d096d9304fc9c291dd9bff6","datavalue":{"value":{"amount":"+0.9194071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738898$6D382304-1F6C-40C1-B367-4B6959CCAE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb62472a5c6ef87c0d6d75c2df057c2bde5a48b2","datavalue":{"value":{"entity-type":"item","numeric-id":4428704,"id":"Q4428704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30df270e1766697e33d66c79352a27b40b5db390","datavalue":{"value":{"amount":"+0.9094237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738898$8A6F1841-0B5D-441E-8332-33823AA2F2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68af87d76112d1eeab2cfa31410eb2dbe30e15f9","datavalue":{"value":{"entity-type":"item","numeric-id":2843723,"id":"Q2843723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a9d61200ef850d76452984bbdabb8150521c7c","datavalue":{"value":{"amount":"+0.9075294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738898$78BFCA94-1A51-4CDC-9140-04EA26E1DFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9de6c61eb2680b481a8fdd1b55225f8fd489e22","datavalue":{"value":{"entity-type":"item","numeric-id":703519,"id":"Q703519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a9d61200ef850d76452984bbdabb8150521c7c","datavalue":{"value":{"amount":"+0.9075294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738898$6A899A26-4690-41C5-BC02-92F682D62471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6af22908464467ddc86195f2f536efd040d94f1f","datavalue":{"value":{"entity-type":"item","numeric-id":6164436,"id":"Q6164436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f3d2d838cf46b90398c7165ccdb49d25db8eb82","datavalue":{"value":{"amount":"+0.9042355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738898$C793D8AE-1D54-45C4-A6B6-2B4CCC1442A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650a5191431c389f4b50414a67244057acd8c1c9","datavalue":{"value":{"entity-type":"item","numeric-id":2289074,"id":"Q2289074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93bdb7d807cdd98d37c1b9f00fe93c32dc4a7511","datavalue":{"value":{"amount":"+0.8989072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738898$268187C9-D25C-4B83-9E61-F5A60FC6B631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3972056e7d9d2e5e722189f37dadd59c300904","datavalue":{"value":{"entity-type":"item","numeric-id":5313104,"id":"Q5313104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f8a5dca36a7b363d4864fdecf68f67568d85b9","datavalue":{"value":{"amount":"+0.892742","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738898$CE8D4CAB-70EB-443B-A338-BB51A7BCC645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b3c07f8f72c7e829354374cb0088f6fb30ea7e4","datavalue":{"value":{"entity-type":"item","numeric-id":2731097,"id":"Q2731097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40731b66bd93b860b44452b874e96b5211beaa68","datavalue":{"value":{"amount":"+0.891643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738898$9A151026-E45E-46CC-AF86-5BD64AF6DD69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5738898"}}}}}