{"entities":{"Q1333399":{"pageid":1344138,"ns":120,"title":"Item:Q1333399","lastrevid":46288158,"modified":"2025-12-24T12:02:13Z","type":"item","id":"Q1333399","labels":{"en":{"language":"en","value":"Time-extraction for temporal logic -- logic programming and local process time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 639125"}},"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":"Q1333399$9BBB9E1D-CF19-4293-BA1A-18186F37D0F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e8d11f3282c232aaadb27abea0bd5c119b40a19","datavalue":{"value":{"text":"Time-extraction for temporal logic -- logic programming and local process time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1333399$5177E440-8BEB-4A8A-93C0-D7FA9D2D8C3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3a1c98c00207634c7ef7306ef4145e15318347c","datavalue":{"value":"0816.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333399$97D5CD0A-DEFF-4B7C-8E3D-27FD669D6E9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08c9c4a7a1e315504db7c99e72979c7f64a96a16","datavalue":{"value":"10.1016/S0022-0000(05)80085-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333399$82AB1328-97E9-49B0-A6BE-3D708033D066","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e0a3e655caac217f13420c90be7ac0560315053","datavalue":{"value":{"entity-type":"item","numeric-id":1333398,"id":"Q1333398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333399$ACC7577A-46C9-4C33-AA1A-46F102F777B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333399$755482F9-6299-4F13-9779-AE437765C39F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84681ccfddfaace3f47555c1fcea3a9191c156fd","datavalue":{"value":{"time":"+1994-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1333399$222CE60E-F6AD-495C-9BEC-B67C40D17EB2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a3e99aaf968df6707c8c60380d4be228316a0548","datavalue":{"value":"Models of modal logics are usually sets of ``possible worlds'' related by some ``accessibility'' relations. In the particular case of temporal logic the different worlds represent different time instants and are ordinated according to the flow of time. Thus an interpretation in this case can be seen as an infinite sequence of standard FOL interpretations. The paper introduces the notion of ``time-extraction'' for these temporal interpretations: Given a sequence of worlds \\(S\\) and a formula \\(F\\), a subsequence \\(S'\\) is extracted from \\(S\\) by considering only those worlds in which \\(F\\) is true. Then it is shown that, for certain formulas, the truth in the sequence \\(S\\) can be derived from the truth in the extracted sequence \\(S'\\). This result is applied to provide a modular semantics for a temporal logic programming language.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333399$0F9CDA84-DB7C-42B8-A1E2-6DE2208A5825","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333399$98653C1C-53DD-4C5B-BF2C-6A5679297D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333399$285CDAF3-6C13-4462-9B46-18B55CBA7A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333399$4DCC9E04-EDFC-4BE6-8298-32B5726E2FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333399$2A2E956C-33E6-4F50-B6E1-81E7A5C7391B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333399$9938E727-C3F6-4783-A757-F63C48269CC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2ceebd614490f6bbfca45afeb8b240a1d6159e9","datavalue":{"value":"639125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333399$781B6141-B23D-4145-99B5-0F51864D9D83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f24b5912b73abbba3fb2d55e6a71ed6a772ce21","datavalue":{"value":"time extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333399$A3527F52-AC51-4EA9-9B08-C91A88A6E619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333399$B7451241-5FC5-48C1-8FBF-90184B1C722B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8801108a06bd0c6f8e6ebfaf574f6a3a4560a3c","datavalue":{"value":"modular semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333399$115807DE-7DD8-4A8A-9FBC-80C0E11A2BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d871e5b5013785318fe319c59a108558c6ab4f11","datavalue":{"value":"temporal logic programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333399$939CA689-AF0B-47CA-9DAC-9CBD7110B3C9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b9de049e0779ede1d4a5df8a04a7e663dace2f18","datavalue":{"value":{"entity-type":"item","numeric-id":276550,"id":"Q276550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333399$AED0E12F-0D2C-454B-9866-9E317CCD9D2E","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":"Q1333399$F0AC6A27-6133-4D5B-96D5-F8AF598DE9C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"161c81188dcd2fd1b18f956df590ef058f86413a","datavalue":{"value":{"entity-type":"item","numeric-id":800722,"id":"Q800722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333399$917619FD-86EA-4FAE-8524-2B6F8DAC22A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333399$40C5595A-A49B-4771-B5A5-914BDD2748AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062a9bd4fe13e5ea8018ad451d4c2f0edf9de514","datavalue":{"value":{"entity-type":"item","numeric-id":2265815,"id":"Q2265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333399$E2F42976-4A8F-4156-BD89-2720767950F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9078a468078356fd07f0368352f90217554f2d83","datavalue":{"value":{"entity-type":"item","numeric-id":1058846,"id":"Q1058846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333399$59F32FB0-7982-4D56-9C19-20E7D6683253","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a1413ad0a95d258bbff46a1c96d15a496176361","datavalue":{"value":"https://doi.org/10.1016/s0022-0000(05)80085-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1333399$F7ADA3AA-A4C3-47D1-9756-D20F24990D24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e05185f4623914f71c97c2cdcf7ff459e20c634","datavalue":{"value":"W1964715028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333399$5FBA258C-8012-409B-8152-101E8434BC0E","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":"fbf24dabc88807310e31cbb8883bb84f7465fe49","datavalue":{"value":{"amount":"+0.8193187117576599","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":"Q1333399$14639DBB-475D-433F-A720-4B2B8C8A6BA8","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":"d4b32044f75fb701a9926bed5faedb8f7b70a89f","datavalue":{"value":{"amount":"+0.8047932386398315","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":"Q1333399$A26C75F9-9773-47C9-82E2-07E46521ECD3","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":"da30c10374072c6e914ff8d4ca05326ba4a1bd93","datavalue":{"value":{"amount":"+0.7996484637260437","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":"Q1333399$9760A99A-D71F-4FD1-933B-EA256E5281E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55091a4409bf24b4f09d0dcf3ba0a15296984c39","datavalue":{"value":{"entity-type":"item","numeric-id":3812209,"id":"Q3812209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b263bea92210790fe32131664ad113477eb9ddb6","datavalue":{"value":{"amount":"+0.7724578976631165","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":"Q1333399$F0B79F26-0769-40CC-9ABC-7EC6551F54DC","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":"e44dfdb278966291d7dbce5cbff31b7e858d0ed3","datavalue":{"value":{"amount":"+0.7702863216400146","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":"Q1333399$31E69775-F5A1-47C1-AC01-61290D800DB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1333399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1333399"}}}}}