{"entities":{"Q3066089":{"pageid":3076805,"ns":120,"title":"Item:Q3066089","lastrevid":51159866,"modified":"2026-01-17T00:09:43Z","type":"item","id":"Q3066089","labels":{"en":{"language":"en","value":"Constraint-based abstract semantics for temporal logic: a direct approach to design and implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834031"}},"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":"Q3066089$56292E6B-E99A-4946-9EB4-0BD3BFC2755E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de932e01aa41ff113b1b254d0fe2f6720bbff81a","datavalue":{"value":{"text":"Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066089$F58936FB-7F41-4AA7-8226-2C45BEC4F9BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c69f4fac571abd2d228d88cbce27aea0a7f03ca","datavalue":{"value":"1253.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066089$E6B39D24-9946-4669-BFE6-1D856E33C8C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d60315355ecfd07c1bffbd7ce6612dd4fc77f2b9","datavalue":{"value":"10.1007/978-3-642-17511-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066089$81C5349D-416D-47EE-8371-3250EBFA4423","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"388b05dd7f72a77304c031195b8658b6103c4d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3066088,"id":"Q3066088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066089$EB4B12D1-7C32-40EE-B4F5-232C58D7602E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2c13ddb28c279be9eed2b39004f69512bab7c50","datavalue":{"value":{"entity-type":"item","numeric-id":238502,"id":"Q238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066089$55F21670-1414-46AC-B7FD-587432CB2EFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066089$308740AA-62EC-4DB5-8EC3-A527D19CC008","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066089$55159B8E-8606-4A25-B5E2-C8D9755CCBD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b2876ad30035fc79271d338fc76ba65f9a03537","datavalue":{"value":"https://rucforsk.ruc.dk/ws/files/31511034/lpar16.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066089$CB889F7B-79A1-436B-BFD6-87CC46B7C12B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066089$5ECB8FE0-1310-4C92-B664-89413446A9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066089$6C5E10A4-DFC6-4F91-81E7-68EF5D1C55D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eebed83fe10295dd26584c685c401d0d98b025f0","datavalue":{"value":"5834031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066089$015161A2-C050-470B-9C20-FE0473AC5766","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066089$ED610EDF-733F-495A-A0C6-53FA037F5F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066089$5A0885AA-7DCA-474C-92FF-B6286EF74CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066089$C7566D0A-C33E-438D-A3D1-93B3E0D78692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066089$253C4782-D2DE-491C-A67D-77FB8DA87D73","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":"Q3066089$9F20BF25-5AF3-47A1-9140-0F74D0DAD72D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e78b65bd86e52663e8a843a5ba95ed9f48b1afc","datavalue":{"value":"W1516229504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066089$1C687A94-5947-4F80-8C41-6D10BEE0259D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ae2a2b8f50383cfd4b2a77ec4f63176e1725bc","datavalue":{"value":{"entity-type":"item","numeric-id":6045023,"id":"Q6045023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a539477b719763c092c6cec455bbd87bee2e75","datavalue":{"value":{"amount":"+0.8220123648643494","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":"Q3066089$C4DFA32E-FF01-4A7A-A890-31FD64E8590F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07d9fd6b6c249262d81eb2137acfba1d0135e711","datavalue":{"value":{"entity-type":"item","numeric-id":5178838,"id":"Q5178838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d487ea8206b4491cb3fb50a3b1d747f71d53a3","datavalue":{"value":{"amount":"+0.8156858086585999","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":"Q3066089$9700C448-A977-4B99-A933-2242E34BD43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61edb7ecab1f5627dc9d20ac76c9e88dd4557c3a","datavalue":{"value":{"entity-type":"item","numeric-id":4923520,"id":"Q4923520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f6af8f2bb0f34deeeec377caad9bbbc8fb2938","datavalue":{"value":{"amount":"+0.786169707775116","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":"Q3066089$F73FEF3F-1E0F-4C53-A239-B2968AA3BDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce5cfd9f03d9a0ba61f291e4026b26bede70abc","datavalue":{"value":{"entity-type":"item","numeric-id":4823139,"id":"Q4823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"047baeb94b351f14ba154fda413e0d7377b6ccef","datavalue":{"value":{"amount":"+0.7811386585235596","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":"Q3066089$2566CB0F-68E1-4638-AA1D-D3D5D3304566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3394e80e3fcca93f4e3c5d46a3c1f7d9268e4df0","datavalue":{"value":{"entity-type":"item","numeric-id":4931586,"id":"Q4931586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27fef15c15dd9732ccfd4438cb2b97a0d60ecfc6","datavalue":{"value":{"amount":"+0.7805532217025757","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":"Q3066089$3FF37455-D1E3-40D1-9A09-4C7179BD79BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3066089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3066089"}}}}}