{"entities":{"Q2946717":{"pageid":2957437,"ns":120,"title":"Item:Q2946717","lastrevid":44769264,"modified":"2025-11-25T23:25:54Z","type":"item","id":"Q2946717","labels":{"en":{"language":"en","value":"Logical foundations for more expressive declarative temporal logic programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483216"}},"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":"Q2946717$54024EB7-106D-4115-81FA-F32DE16CA49F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fa9f6d25f5a29ec6ef83b09f978c481af0a1c23","datavalue":{"value":{"text":"Logical foundations for more expressive declarative temporal logic programming languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946717$0F92EC0E-F699-4C50-AEDE-93902902E091","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd23f087fe962c809c6aa7edffda4d0c2dedd95e","datavalue":{"value":"1353.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946717$278607AE-CB31-4454-91AA-CF49ECA4D264","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"feb05307c12fe75c13162b319dc3da0413f7fa2e","datavalue":{"value":"10.1145/2528931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946717$76E7D51A-8AA0-465A-B4D6-0AF393A6E4EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdf8e9157016f16de7bf96faaf4cc8f3999545b5","datavalue":{"value":{"entity-type":"item","numeric-id":352971,"id":"Q352971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946717$27B4BEDC-FAA0-4738-A560-FDEB82808FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1fc9c84eb3207ee438d2d5ce3c97d92242bb030","datavalue":{"value":{"entity-type":"item","numeric-id":352972,"id":"Q352972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946717$D2371CA6-98D2-4826-BD64-38965620B721","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":"Q2946717$E89A4FE3-0150-4B78-8B5A-0405B05F3EA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946717$3EA778AC-547D-42A3-97A2-EDED60725D77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946717$219BFBD7-67C3-4E30-A2F5-C9C660DF4F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946717$43EB36AD-6050-4CE2-BBD1-8BD32B0B7376","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dadf2b7806f797cb60d215383beec8f78b0b348","datavalue":{"value":"6483216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946717$4A86C9F2-B300-452F-B58C-A987B45C731C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08550266bf03e3d9d539b3e6a8b8aa8b4cd04b48","datavalue":{"value":"disjunctive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946717$D5685C55-30C9-4CBF-A09B-D36BA2270D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80cf21ac043fe687703dcb1b5b7f07b432d38eb","datavalue":{"value":"invariant-free clausal temporal resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946717$D55456BC-9916-4E3A-9FA3-8B8EB5E2550D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655b9be840caa9be702e31cd5e062f5735bc60a","datavalue":{"value":"linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946717$EF65F2AA-0B38-4297-98A2-A0CA8C52A78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"332c5afa4a0cf9042262e06144638da3c9fd47f7","datavalue":{"value":"operational and logical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946717$27B729A4-2373-43A9-B04C-C31481BCB3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97882d0bde1c4f77ae961bd7d9e07c4aa7dc1862","datavalue":{"value":"refutation procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946717$2DF6CD2D-57BA-4BB1-A697-574AA56346DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c42c3187d81ec934fd1a13398ef45837e4e0d2f","datavalue":{"value":"temporal logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946717$D506B131-0472-4BE1-9041-449A16A472DF","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":"Q2946717$82D843E0-112C-4A99-B5F6-8112859019FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc80993529fc6cc486553bee7afff5b798371f0e","datavalue":{"value":"https://doi.org/10.1145/2528931","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946717$ED5DF1DE-063F-49E3-9A32-CC62001E58D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed3c3b572584a0244ba846d0c4690db700b72412","datavalue":{"value":"W2065468698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946717$C6AAD031-F78F-4B60-B04D-FA51DFC26106","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5dfde4667fd4bf3432322c52f56ebca5822f2fbe","datavalue":{"value":"Q130854250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946717$9D704255-3EA8-4300-BDDA-FD5D21778016","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58993b77db9a9580d6b87a233880e333399b6580","datavalue":{"value":{"entity-type":"item","numeric-id":1892870,"id":"Q1892870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95451967b5d729f69a0834439543988da136d973","datavalue":{"value":{"amount":"+0.9476247","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":"Q2946717$BBD0B2C5-D3C8-496D-9105-243D5D00BAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efdaea7e6667e088715763d554b397b7d49fb83","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"facd343ca7d08b822a0b1bfddfe6503f7980efe1","datavalue":{"value":{"amount":"+0.92850006","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":"Q2946717$E978CC4E-71F1-4E80-BB1D-5FEC9C81FBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a4b8ebb54dc35f79ddcafb774783e0b4d93730e","datavalue":{"value":{"entity-type":"item","numeric-id":5449626,"id":"Q5449626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98b1f1b4322c15c91c124be63688b09f4da57359","datavalue":{"value":{"amount":"+0.92419624","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":"Q2946717$4E84C45F-AFAB-4592-AEDE-4F399E3D0A50","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":"9aed1c16e800a14c9d7ba5ca60f4a5fed7c8397e","datavalue":{"value":{"amount":"+0.92354906","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":"Q2946717$AEF0E17E-F9E8-4EAD-89DF-B3CC857EB969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dcdc152fc48b3fb14e9aa7237a5ab54d77803e9","datavalue":{"value":{"entity-type":"item","numeric-id":4484477,"id":"Q4484477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0787113ab6de9ca7106fd6123d7ce57f16855e28","datavalue":{"value":{"amount":"+0.9214294","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":"Q2946717$4BD5878B-1170-4E34-A5C4-73BD186A25B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f1f735df95f0bd22deddd9be272074d43b78c3","datavalue":{"value":{"entity-type":"item","numeric-id":2873801,"id":"Q2873801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a17441fe5fcfe7c4a0bea74eecd93ebfd27d7f6","datavalue":{"value":{"amount":"+0.9202028","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":"Q2946717$668F137A-6CF6-4122-B738-55DFE95839AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6dcb26f81f28ca3adc206ce4640d34ec6e1800","datavalue":{"value":{"entity-type":"item","numeric-id":4716201,"id":"Q4716201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be3ee6d3c41535822bb1025160c82e02f8dcef09","datavalue":{"value":{"amount":"+0.9188747","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":"Q2946717$398506C9-9299-429A-8B9B-19AD965F455B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22e3e97337c003fdb8c0294359749b84c3433d1a","datavalue":{"value":{"entity-type":"item","numeric-id":679343,"id":"Q679343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69aac515f9a51cd140d6e5b02d8bb4f5bee8cec6","datavalue":{"value":{"amount":"+0.9179347","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":"Q2946717$9314D350-5DFE-428C-9CD6-9B270117E138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eb8737c9b4a9c87f3196612284141daa2b16df4","datavalue":{"value":{"entity-type":"item","numeric-id":4264066,"id":"Q4264066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b8140892f88a1c1fa7158cd1bb2b260dacf6a2","datavalue":{"value":{"amount":"+0.91519284","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":"Q2946717$86604CE4-F2EF-496E-A893-00E4BC006D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45230abc6eadba0a29443ce63e62f94902f0b561","datavalue":{"value":{"entity-type":"item","numeric-id":4518440,"id":"Q4518440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c70083bf0b304445c40528e17ce9b45efca9d670","datavalue":{"value":{"amount":"+0.9119661","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":"Q2946717$4406A0FE-1529-4A4C-9249-7BABFAB09C20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946717","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946717"}}}}}