{"entities":{"Q5398068":{"pageid":7427642,"ns":120,"title":"Item:Q5398068","lastrevid":51933992,"modified":"2026-01-20T14:03:26Z","type":"item","id":"Q5398068","labels":{"en":{"language":"en","value":"Logic + control: an example"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6261549"}},"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":"Q5398068$BD80E97C-BE7E-48F2-BBDC-2EA78F7C042C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8141b77b117ed00111b7e785a4fca44c93f11de","datavalue":{"value":"1281.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398068$533467A5-53FA-45DE-A1A2-0D568BF9D3CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aca37643c25c4f7a18b2bf47f8e6a1980c00131e","datavalue":{"value":{"entity-type":"item","numeric-id":511026,"id":"Q511026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398068$C6AA0824-73B5-4A14-9D12-3569ED9832E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"efe2faed09c4ec490640e4d710dd813f29d8297b","datavalue":{"value":{"time":"+2014-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5398068$A1C1184A-980B-4836-8696-6B3BE447995E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398068$FCB7B38D-ED30-4D9A-BF7C-036AF5A55D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398068$A79EC687-94E0-454F-932D-77CCC598DEBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30485a6101fc12e5f45d12d20665564701504d0c","datavalue":{"value":"6261549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398068$52717D84-1411-4B76-A423-072E695B4984","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398068$24156C54-B1BB-41DB-A224-B52110907CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d43f729f6f3364a4fe7aafeb4a1e84220e941ba","datavalue":{"value":"program completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398068$C5FCB5D4-5BEB-421C-9896-076307C3D562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398068$6C6C0EE3-46A1-455B-B7E0-CE0449A528D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8532a0b621b8fce8b4d34a6d1df537336ed6e4","datavalue":{"value":"declarative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398068$D35E0532-979F-465F-B9D3-6197BEDD0F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d307d2447b3ef0ad3abc27acc93a31ecb6e14db2","datavalue":{"value":"declarative diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398068$FAD670F9-E0FB-4D42-90DD-063830E617F8","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":"Q5398068$9CAF514E-B79E-4EEF-AC8C-F4CA8A15082D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32cc3a938f48ec9cb5e030d756fa93b9a5e40c69","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#Drabent12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5398068$AF2BFB10-9144-402F-8499-AE6240038011","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b18fc4c7810f8b7c3b922bb1b233d1b4adec4535","datavalue":{"value":"W2168776788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398068$C62C76A9-59BB-4007-8473-5B9212B6373D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91f60d4bd30b74944c7f33a27f9af4771986a6ff","datavalue":{"value":{"text":"Logic + control: An example","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5398068$C4C25771-03CC-4467-990D-B49C4BCDBB7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a224a774a4b4e44dc9bdf45649a45dafdd034eb","datavalue":{"value":"10.4230/LIPICS.ICLP.2012.301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398068$7619E519-5F8B-4B41-B81A-EE8A8F7D9A69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5b8794be2985b3d4420dc4f0a13700d64e0c16c","datavalue":{"value":{"entity-type":"item","numeric-id":4603427,"id":"Q4603427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f3eede68a8bac747dd15d49b8e5d9d590ade88","datavalue":{"value":{"amount":"+0.9247961640357972","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":"Q5398068$E57E1D92-D349-4E42-835F-EE6F1084F51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19747309159fdbd489d35cca2e003b1d709c93b5","datavalue":{"value":{"entity-type":"item","numeric-id":5277919,"id":"Q5277919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b3ea938d8f0dc129e731fedee92def7c535608","datavalue":{"value":{"amount":"+0.8086624145507812","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":"Q5398068$8E1C8014-7E34-4FA2-A35D-DC48252780F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5be94989e95a5b692ec27555420d25bc46d4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2949713,"id":"Q2949713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df33a19a26f941afe6554d40262e0bf3fd0370cf","datavalue":{"value":{"amount":"+0.8014202117919922","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":"Q5398068$8F9296FF-525B-43CE-8FAE-A88C7D983558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b25c22c46d0ca86f6ce2c2532a917e61e47abc","datavalue":{"value":{"entity-type":"item","numeric-id":3558337,"id":"Q3558337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730a456e8adb2b6930a61b26a447a99a06c943f2","datavalue":{"value":{"amount":"+0.7951146364212036","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":"Q5398068$C676EA4F-32BD-4D71-929F-9547F76ECC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a9141fd77a8408f053fef282549cb9dda2c1d8","datavalue":{"value":{"entity-type":"item","numeric-id":428887,"id":"Q428887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ea6fa7ac46b92aa23956ce0a67b3c012663c3d","datavalue":{"value":{"amount":"+0.7886636853218079","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":"Q5398068$54D8AA27-5EB6-4E3F-9FCE-078FB6E74FBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5398068","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5398068"}}}}}