{"entities":{"Q1892870":{"pageid":1903612,"ns":120,"title":"Item:Q1892870","lastrevid":73935984,"modified":"2026-04-14T17:47:19Z","type":"item","id":"Q1892870","labels":{"en":{"language":"en","value":"On the expressiveness of temporal logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 767820"}},"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":"Q1892870$712C74C1-1948-4B4E-951E-7C7EC404E8AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6cdffedcb953821be7ad77f2df79f5fb612be42","datavalue":{"value":{"text":"On the expressiveness of temporal logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1892870$B97C6D4D-01E3-4B4E-8B70-4C791997A61B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76b92c54f583872797aec47bad61483002b02152","datavalue":{"value":"0826.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892870$359ADFAD-FE19-4F7F-B9FF-A7A85900FE72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8168b23bdfda9af194e3f59c07bd5c3d3eaf0ad4","datavalue":{"value":{"entity-type":"item","numeric-id":1807677,"id":"Q1807677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892870$28A58B35-91D3-4121-A4C0-C399AD601883","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892870$70A79909-B4F7-403C-A5A2-5A5F63517AF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13658d5e28bb3c36e9719a16c12f3f8ec27bd668","datavalue":{"value":{"time":"+1995-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1892870$960B6941-4916-4981-861E-217C5A8F3EBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892870$CD8FDD5F-8D3A-42B7-BA27-0D768C4BD1B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"108bb848f4aeb196f52d5457a746032a8348ae63","datavalue":{"value":"767820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892870$B2091E4B-6DD4-4572-BA90-5AF8F9C55C66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c42c3187d81ec934fd1a13398ef45837e4e0d2f","datavalue":{"value":"temporal logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892870$A06052BF-D584-47FC-A9C0-2B7A71A1C706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dd08e4852fa8685df88039e0b631059e402b02b","datavalue":{"value":"TEMPLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892870$EC3208F8-ACAB-4DA8-B978-9F8F4E2E6D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810c510ea91f2a5b69c23a923cd0ce39c63f3f32","datavalue":{"value":"PTEMPLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892870$E55CF9A5-BBC1-41AC-A371-AC8303EC60FB","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":"Q1892870$98FC5896-9A3A-4517-BC18-E702632A488A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5c8981e46200e80e5c7379dc01b6aad7ac56bc1","datavalue":{"value":"https://doi.org/10.1006/inco.1995.1036","type":"string"},"datatype":"url"},"type":"statement","id":"Q1892870$ECACF6E8-2117-4D09-B214-4077D575A8CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac75c54d204b3f9d59f6d368cecbb36ca9a37e45","datavalue":{"value":"W2118391576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892870$9C210A44-71C4-484B-B5CD-3668A4B14B98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1578439e1df0ff3bdaa64f60cdf0466f1536ca7","datavalue":{"value":"10.1006/INCO.1995.1036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892870$41C83E2F-4516-4771-91FB-008DF095F5A6","rank":"normal"}],"P1643":[{"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":"6388daa2334a1e4f1fc67d77923252170ed577b3","datavalue":{"value":{"amount":"+0.9641947","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":"Q1892870$3E070B4B-00AC-40BA-B38F-BC046C4A4390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f424175d7fd6e3e29e1804c0b434e2f5967125db","datavalue":{"value":{"entity-type":"item","numeric-id":2946717,"id":"Q2946717"},"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":"Q1892870$3E84F270-1762-43A8-B2F9-ABB033CD319D","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":"1d991fdda43b5f09536f5ae488211bbc3c050520","datavalue":{"value":{"amount":"+0.94685435","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":"Q1892870$E94B0997-F20F-48CA-816A-3FD5F5893428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c386be788eaf0f6449ebf2c0ed525de082408b7","datavalue":{"value":{"entity-type":"item","numeric-id":3806791,"id":"Q3806791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bbc360fb1215e2ebad4b8578fa62e4614356161","datavalue":{"value":{"amount":"+0.92672396","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":"Q1892870$B94AD6AC-045C-4BC8-A1DD-22DB1D7D9284","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":"4a700dc8132ef1c6864c0cb58460a8046a43fc3d","datavalue":{"value":{"amount":"+0.9260876","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":"Q1892870$B44A809F-8B08-48F1-8AC6-7F23C4DCD85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de53c3f9ae439e0a327dc8d16cd840a0051b957","datavalue":{"value":{"entity-type":"item","numeric-id":3813270,"id":"Q3813270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1296026b7de6957cbed6e6eaa08fe6a5cf48770","datavalue":{"value":{"amount":"+0.9249262","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":"Q1892870$F1B3FF1A-3D9F-4BA3-87D8-DC8F009C992A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8930ce10de5d502a6ae831db68742f99f6e94b7a","datavalue":{"value":{"entity-type":"item","numeric-id":582280,"id":"Q582280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1296026b7de6957cbed6e6eaa08fe6a5cf48770","datavalue":{"value":{"amount":"+0.9249262","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":"Q1892870$8158612B-56A1-4546-954F-070334FA2272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978a42e60a73248c917509380ff8f108c964b533","datavalue":{"value":{"entity-type":"item","numeric-id":4733442,"id":"Q4733442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1296026b7de6957cbed6e6eaa08fe6a5cf48770","datavalue":{"value":{"amount":"+0.9249262","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":"Q1892870$CCEEA999-1967-4E88-8830-5B3B79688DED","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":"92176b79e89077126bf419e1b5d6cbfb4c1ee268","datavalue":{"value":{"amount":"+0.92441034","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":"Q1892870$F4E2DF09-3E06-4053-95AA-9A68D28C3B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e45207e18c0a4eccf08fd79359f6cbe5e9114a2b","datavalue":{"value":{"entity-type":"item","numeric-id":2835869,"id":"Q2835869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18125b6177975180606d72e35093bcb2c146668","datavalue":{"value":{"amount":"+0.92311865","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":"Q1892870$599F3DF4-0D74-450B-866A-94D850798436","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the expressiveness of temporal logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_expressiveness_of_temporal_logic_programming"}}}}}