{"entities":{"Q3003245":{"pageid":3013969,"ns":120,"title":"Item:Q3003245","lastrevid":51254021,"modified":"2026-01-17T11:29:31Z","type":"item","id":"Q3003245","labels":{"en":{"language":"en","value":"Loop formulas for splitable temporal logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5899986"}},"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":"Q3003245$4CE22E5A-CF12-4303-9B97-236051F8AA9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99e18517d99d106a0a1c8803678ae6004069501f","datavalue":{"value":{"text":"Loop Formulas for Splitable Temporal Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003245$E24D3107-E2AE-480E-ADA1-4610DD4A0090","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2b7030c4e0a876d8441cd2632cc2fbcc995c8a4","datavalue":{"value":"1327.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003245$464B4E7C-0E61-4294-BCB5-363B8ADB5CC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80cd3dd1d96be6e1cc543370f91baf0714c84e16","datavalue":{"value":"10.1007/978-3-642-20895-9_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003245$7E3F2C73-0E1A-4B70-BF67-960D0AB5667B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3516cee976239f1ea13d2485f6dc5644b4cff79","datavalue":{"value":{"entity-type":"item","numeric-id":2851225,"id":"Q2851225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003245$ADE98F5E-13D2-4ABE-9B7F-644269C1AAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e17172b64041e106abf805133500ed871f43f9f","datavalue":{"value":{"entity-type":"item","numeric-id":309904,"id":"Q309904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003245$1AD35F61-25D7-419B-8F9D-BA231F450E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad40c0ffeb99f3cbac503374dc9a8a3028c055a0","datavalue":{"value":{"entity-type":"item","numeric-id":2851226,"id":"Q2851226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003245$1C40A135-0AA1-4786-8B6A-C74CB30D5929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeea4ad668f2d88206e6cf7231a97f88ba6132c0","datavalue":{"value":{"entity-type":"item","numeric-id":2851227,"id":"Q2851227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003245$B210E729-477E-4FC5-9C6C-55A3EEEB0A06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51a68d4cc2fc48fe2102403b77e8fce99df4def2","datavalue":{"value":{"entity-type":"item","numeric-id":2851222,"id":"Q2851222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003245$113C2A71-2973-4D27-9E7F-3B89FF5DBBCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003245$84CB39A8-1851-436E-B70D-5DC4B03A5A80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003245$B9383865-2352-4043-A789-F96D514D876A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003245$926A36BE-86C4-4BE5-BF54-B29D715D7CE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fc8bbefdddb12d1a08a4bcf366e4a888a9c176f","datavalue":{"value":"5899986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003245$E478300D-B687-4EA0-BBE1-7D6BA382D8C0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003245$8FD850D5-3517-4E8F-9BDD-BD6CEFC95C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab1028a2fa0a6d1c6e95739549ed4791c733b55c","datavalue":{"value":{"entity-type":"item","numeric-id":21751,"id":"Q21751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003245$CE41D498-FE4E-4A82-A698-EC9CAA5E04EA","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":"Q3003245$66781064-DA58-43F6-9F20-98C0E76E256C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9aae5a24fd4979ec4332254b2cfb62d0dd94c48","datavalue":{"value":"https://doi.org/10.1007/978-3-642-20895-9_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003245$E18E4E40-9D0D-4E60-B711-96B678EE2179","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2c2bdafea44e1fab42468d9d098317d11786955","datavalue":{"value":"W1509545351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003245$620D80A4-C503-4038-9832-BE1C321686D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"057a99804a27171157f1ff53a32cb0e19e5050d5","datavalue":{"value":{"entity-type":"item","numeric-id":4593085,"id":"Q4593085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"397a66705f9d845063368fc3d26a06360e552130","datavalue":{"value":{"amount":"+0.8369487524032593","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":"Q3003245$D4C061FF-3F19-4F06-93F0-9C4520230C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c7b1cf1bf8781ff01f1b7fd6f6d35fc46a758f","datavalue":{"value":{"entity-type":"item","numeric-id":4635843,"id":"Q4635843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54497be06fbca24bae451fd5ed10339a3612ef3e","datavalue":{"value":{"amount":"+0.7915640473365784","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":"Q3003245$15D942E2-D0D0-4B9D-BC2B-794C52B36089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"556d57e194b4bdaedf613c5b7a8deb8dcc3f38e5","datavalue":{"value":{"entity-type":"item","numeric-id":3449185,"id":"Q3449185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e378d5a93178130162c23b62b4259854b10bcc48","datavalue":{"value":{"amount":"+0.791221022605896","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":"Q3003245$8BA19707-D6C5-4DCA-BC99-80DF7B3C3014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"632e59fdb2c2c564bb438e62a4e1c75d87544c56","datavalue":{"value":{"entity-type":"item","numeric-id":3532454,"id":"Q3532454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"190bc200275526b3ce47c5228cf89fc9b916fdb4","datavalue":{"value":{"amount":"+0.7838466763496399","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":"Q3003245$1344B359-F860-48DE-A7FF-6883CBAE5967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388ff584b5da83f8bd9d2543cb21ba08ff6a015c","datavalue":{"value":{"entity-type":"item","numeric-id":2185465,"id":"Q2185465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ce9a3b15943b20bdddc3fcaca918c251639e1a","datavalue":{"value":{"amount":"+0.7801868319511414","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":"Q3003245$91E9642C-6600-4D6E-ADAB-21F80975597B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003245"}}}}}