{"entities":{"Q582280":{"pageid":584047,"ns":120,"title":"Item:Q582280","lastrevid":62937144,"modified":"2026-04-11T09:06:02Z","type":"item","id":"Q582280","labels":{"en":{"language":"en","value":"Temporal logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4130353"}},"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":"Q582280$4E09A449-0A13-482F-BCDF-E5D6E73C9C03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"021d0b75b56eab7249dc4c3e5dddc0efaca93195","datavalue":{"value":{"text":"Temporal logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q582280$B014F5FA-4132-408C-B622-CF70E3D80E49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8c11449526be6c925c0d249e7f6ad2605c20a5d","datavalue":{"value":"0691.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582280$B24119DC-71EE-4943-83C3-9B8FB7F738AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07dddbc5e04eda4766c65aae2ef93d59dc405c6b","datavalue":{"value":"10.1016/S0747-7171(89)80070-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582280$8CCC2272-AD46-4ECB-BBE8-08FFE4CF725E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7720f013cde2512621480147576e51273a4c701","datavalue":{"value":{"entity-type":"item","numeric-id":265786,"id":"Q265786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582280$F6E81963-8973-4135-92E9-56EEC06E1DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582280$14C52C5C-4A0B-48CA-A4AA-41BD983FB634","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582280$A1E3A619-7B4C-40F5-9E7D-B5C02B9F19D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q582280$863FBCB0-607A-4D4D-99F0-4EF2A2A310DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e1a6128db7d8911ad53f9bb6d0a48871814eca0c","datavalue":{"value":"To exploit efficient temporal proof techniques, a special programming language, TEMPLOG, is proposed. It extends the classical PROLOG-like languages to include temporal operators. TEMPLOG programs will then be collections of ``temporal'' Horn clauses and, the main idea, they will be interpreted with the help of ``temporal'' SLD-resolution. General features of TEMPLOG programming and reasoning are emphasized, and comparisons with other existing temporal logic languages are provided.","type":"string"},"datatype":"string"},"type":"statement","id":"Q582280$11744D89-4682-423B-965E-EADD9775DEDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582280$E8E7C598-63A4-49A2-BBB7-347AD5E9568C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582280$DE4E2189-8F93-43E5-9616-1B38154F62BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582280$BE8FE3FD-0577-4A5B-95A2-0E52D85E7799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582280$E8E5029D-C1FA-4E2B-8F40-9711A727CA3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6a1872f3f18838abcacb44f94a77822e9775ba7","datavalue":{"value":"4130353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582280$56E24A2D-D657-4865-95C6-DBBDC7BB65C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q582280$361AE964-A8A5-453B-82B2-50AD3B7A4414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q582280$E80FFC47-73B2-4FEF-8136-E19534EB79FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dd08e4852fa8685df88039e0b631059e402b02b","datavalue":{"value":"TEMPLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q582280$9378373C-EC48-4552-AB78-A9109F3F0668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"284d49bede33bc43198f9780c2fcc998d14125e1","datavalue":{"value":"temporal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q582280$E73E7613-91F0-4014-8196-AA6A26E19498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"931386a80bdfe644dcffc4d8e94bffb72eb34ff5","datavalue":{"value":"SLD- resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q582280$FB207F23-2E87-4900-9765-D69165C6670D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6536f759dee9ce142c834adc5cc137400d919eb8","datavalue":{"value":{"entity-type":"item","numeric-id":1037240,"id":"Q1037240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582280$B7EC8E95-62C9-42DA-A972-35B0824D87C1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da6bc051938d5862ecc3ebc01e193003a6091021","datavalue":{"value":{"entity-type":"item","numeric-id":33292,"id":"Q33292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582280$4FEE5D9F-160C-4CC2-BF95-E11170252AE5","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":"Q582280$948B99A4-4CEE-4AAB-9F89-B48610E235F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8604220f0faeddc925050a4b84461fa4317e71f4","datavalue":{"value":{"entity-type":"item","numeric-id":3682464,"id":"Q3682464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582280$EDC6FC52-2B93-4717-A5C1-96F0DE33EC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed61ae35b8d8a008703390f58471c8228d97f52d","datavalue":{"value":{"entity-type":"item","numeric-id":3678639,"id":"Q3678639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582280$FCDE7F26-81B5-4D49-B313-B69CB45EDD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582280$CDC25309-AFE4-4A03-B8C8-CDAA3F11DE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc952c4dd8b2618cd6914cf7fc4aa87c79fa4aa","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582280$1068EDAD-C527-460C-B43D-7B348514C516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac8b95fc49a76dd8bbb2369f4de406bfa97dab88","datavalue":{"value":{"entity-type":"item","numeric-id":3729994,"id":"Q3729994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582280$5E6A289A-D4F3-492F-AC68-A62A77A50D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac9e4b5cf31ebaee08be3beb31c1f3a7e062730","datavalue":{"value":{"entity-type":"item","numeric-id":4733441,"id":"Q4733441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582280$04803E7F-5151-43C3-B5E0-AAC51B221118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d21cbd0c791f083ee08a1e9e48b64281b87bb07","datavalue":{"value":{"entity-type":"item","numeric-id":3664404,"id":"Q3664404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582280$E22D77A3-B40A-451E-AF01-84CCCBB8E2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582280$EC4C979F-A5CF-4A2B-8C23-23EFF85C7568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ce4b80471340cb55a693292be4e006b860c889","datavalue":{"value":{"entity-type":"item","numeric-id":3680239,"id":"Q3680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582280$CC6A2CC6-E3BB-4409-9368-15393E1F280A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582280$7086BBE9-9394-4DFB-BCA3-A0BE93A3AAA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c93d83bedb055c4f37d7902417154b1f1a6d9e","datavalue":{"value":{"entity-type":"item","numeric-id":4733441,"id":"Q4733441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4766c703341233b07446125990cdda859e74ac6","datavalue":{"value":{"amount":"+0.8903080821037292","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":"Q582280$91F41F98-9C39-4426-B8B9-679B57509223","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":"9616db758d26780d3609ceef62ee556160110017","datavalue":{"value":{"amount":"+0.881284236907959","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":"Q582280$A86D072F-AD64-434A-9D70-350D9D26FD32","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":"45c1df3e93cd616e4df28caff5a9b45f83ce0bcb","datavalue":{"value":{"amount":"+0.8797124028205872","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":"Q582280$DDC1E7A5-00AA-45D0-9532-D733BDCC1F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14cf5c142c8a78612ec5a745260d16bded5e1909","datavalue":{"value":{"entity-type":"item","numeric-id":4036284,"id":"Q4036284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a5c238ac9031e2d1b9317abd8bc5934364a638","datavalue":{"value":{"amount":"+0.866732656955719","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":"Q582280$098BFC5F-58DD-40D1-8ED9-99FCE7129FC1","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":"88d35a72b3b8c5b2e138861320e4ca9d4c072383","datavalue":{"value":{"amount":"+0.8627001643180847","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":"Q582280$BB7202C1-AA3A-4536-979B-4AB5DCAF2F6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Temporal_logic_programming"}}}}}