{"entities":{"Q4586227":{"pageid":6615812,"ns":120,"title":"Item:Q4586227","lastrevid":53200826,"modified":"2026-01-24T11:03:50Z","type":"item","id":"Q4586227","labels":{"en":{"language":"en","value":"Temporal equilibrium logic with past operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6935721"}},"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":"Q4586227$E53903D9-7C24-4686-8500-1DB8833BE012","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bf88c7a0cc0f975f0b76565c4372aeeaa1f7346","datavalue":{"value":{"text":"Temporal Equilibrium Logic with past operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4586227$CC0EA4E8-F545-4AF5-AD88-BA592546A2D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c2d75b3111c28850efbdd49916eb035373bb314","datavalue":{"value":"1398.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586227$186C0C36-5A43-4107-B128-08CFF5E9CD4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7390b6b5caff1ed1dd28227383acda8ec99358c7","datavalue":{"value":"10.1080/11663081.2018.1427987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586227$F9385056-894C-4F60-9360-053A15001B3F","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":"Q4586227$49085545-5E92-495E-AD01-EC7E513E305C","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":"Q4586227$D5EECD31-9700-42C3-B044-A8A027331F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17a879a735f8c4c2dc810ae3411a4de0b38daaa8","datavalue":{"value":{"entity-type":"item","numeric-id":2296758,"id":"Q2296758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$AA633FF1-7FB0-4AAE-9A18-F5149EB3F11F","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":"Q4586227$9EC14A76-B6AB-495B-B0DC-FB51877917D3","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":"Q4586227$E4B00C5A-1D7C-4A99-ACC7-AA09B63B6202","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$129DCFAA-5FC8-45E6-B500-59DE6213DDB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"655dac8f5dda40a8d093e159bbdfdcfade2b2927","datavalue":{"value":{"time":"+2018-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4586227$F0E35D6E-8DCC-4A97-8DC5-FC34A1EA4657","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586227$7BAF7EB5-E294-41C4-AB49-EA703B26125D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586227$AF05D2E4-3AD9-4253-8B65-CA718A9AC489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586227$7084A794-3AD7-40AA-8E93-D559C6C2613E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72e91c9b48f8b9bb994795f2c46d9dbf5e9f24e0","datavalue":{"value":"6935721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586227$9212E90F-1978-4BBD-8E0E-5A51053DD75F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586227$A4B60267-0688-4B16-981A-7508735726DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ad898fce43911ca55eb5ed942bac1dbc1b2a14","datavalue":{"value":"non-monotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586227$15D7FFE8-12BE-4447-A5CC-6BB79A3849F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586227$295BCD22-AF3F-4882-B40F-CD95717DEB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9ac413f5aa94c5b7e7fdc90244795870badd09b","datavalue":{"value":"equilibrium logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586227$903BD43D-E085-465E-85A1-190CA8124148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c14b7368463412560954361c4b324aa366bc4b2","datavalue":{"value":"temporal equilibrium logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586227$CF3B2904-F7B4-4AF2-B527-E81EEE303826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586227$C8BAFA32-948D-4C45-8796-D0D6E7AA0A8D","rank":"normal"}],"P1463":[{"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":"Q4586227$38654382-D335-4E57-A52E-2AB3F8FE5721","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":"Q4586227$1432F70D-9500-45B9-AF06-F862F76F3C56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16fcff6885d82d0c0ae08fc8ea77561b2866f239","datavalue":{"value":"https://doi.org/10.1080/11663081.2018.1427987","type":"string"},"datatype":"url"},"type":"statement","id":"Q4586227$85AE41C2-E429-4243-8B82-09E0521E5521","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1684fc571829a6d1cc751c102b0adb5c508ddfd","datavalue":{"value":"W2792189678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586227$75E82B17-D02D-44CF-9714-718C920BFA68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6f503f40624c3a67fde02595febb3d31b13ecd","datavalue":{"value":{"entity-type":"item","numeric-id":582280,"id":"Q582280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$AD69654F-947B-4D42-8C8A-6B13B920CB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f455707a85c6f0184135457468e3b8314675c8","datavalue":{"value":{"entity-type":"item","numeric-id":4583305,"id":"Q4583305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$8B6258E4-0398-4A7E-992F-BC4E2592678B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8ef4befbfbe322a5d269f41f2c9ffe1aaade11","datavalue":{"value":{"entity-type":"item","numeric-id":3003245,"id":"Q3003245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$8DC8D8E6-7476-40FD-ADFD-1F972F9F7608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf66e0c1b856722e078a5a5e42166fd0ae6762c","datavalue":{"value":{"entity-type":"item","numeric-id":2835864,"id":"Q2835864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$7826B2FB-7D1B-4411-87BF-F1C91C622458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2a47e9fde57bc986d63fc7de2d9ab10a40631f","datavalue":{"value":{"entity-type":"item","numeric-id":2835869,"id":"Q2835869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$99954459-C5CF-4173-B983-1A018B8DFF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b98fbfa44798a865746c6482be1d0fb6d798ba","datavalue":{"value":{"entity-type":"item","numeric-id":3449185,"id":"Q3449185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$993C7E83-872E-4F73-AF03-2A901E9E520F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a85fa77ff7b7aca579fb2664277483f7526fd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3523235,"id":"Q3523235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$9C22349B-3341-41E0-8985-4DDFEB2F4518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b38e00f9ec1f1ad95bd5a593d1dbecc11889a11","datavalue":{"value":{"entity-type":"item","numeric-id":1079962,"id":"Q1079962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$E36A8A9F-36A8-4D96-8556-BC3EC0527DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88596994920e6e5234fba484242cf3c445dbaa24","datavalue":{"value":{"entity-type":"item","numeric-id":3333006,"id":"Q3333006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$9752E062-3016-478D-A2A8-FCE28FD9D04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee19f680d962c1f634bcb5b5a87502da5129db0","datavalue":{"value":{"entity-type":"item","numeric-id":1240729,"id":"Q1240729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$3D6E7966-DF92-4B8F-A9D4-24EEEB663A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcfe641e675f6e9ffbc7108a3cdb6aa9e8af4b57","datavalue":{"value":{"entity-type":"item","numeric-id":3812209,"id":"Q3812209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$781D515E-2AC6-4B7E-85A9-84139674CDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4a4616b2be89bcbc49979f98844477662ff3bc","datavalue":{"value":{"entity-type":"item","numeric-id":3011302,"id":"Q3011302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$A3259450-6723-42DA-A450-BC2F6F59A7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018ca73d26231a1b566af43f5c10bfdf71dc5b13","datavalue":{"value":{"entity-type":"item","numeric-id":3395959,"id":"Q3395959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$8AA23D83-CA60-492B-BD21-EC261B7DFCEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$58C2371A-C5D4-40C2-B367-C1623483A852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28deebb9f03725888e2cb415bbaa29688963935e","datavalue":{"value":{"entity-type":"item","numeric-id":2751358,"id":"Q2751358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$96CB600B-F7AC-4B00-8902-05CB36306A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9622e947104151d696e9c4af121c2448ea8528","datavalue":{"value":{"entity-type":"item","numeric-id":4518440,"id":"Q4518440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$FA14F977-6F08-4CDD-8ED5-59EAAF31E28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43151032accf7b6ce02db5b446eeeab043169fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5504679,"id":"Q5504679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$B6B56AD2-B86D-4467-B2FB-A5CA22DCE58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586227$D517E8DD-65DC-4EA9-BE79-7B904EBA7D0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d76c8543233f5fe0b6b3529cc1cb9880542e0419","datavalue":{"value":{"entity-type":"item","numeric-id":3523235,"id":"Q3523235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c9afb9bae7f7ba32a7988725b26b7f604b3381a","datavalue":{"value":{"amount":"+0.8279615640640259","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":"Q4586227$269FE8A1-1419-467B-B576-2DDA44B570A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a8453f4be4fce686cce848d3f4b1d7015948ae","datavalue":{"value":{"entity-type":"item","numeric-id":4930755,"id":"Q4930755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be45b0bf90a4e534a42c1b8cd98309dff7e3098","datavalue":{"value":{"amount":"+0.8168293833732605","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":"Q4586227$D11F951B-B953-447C-B3B7-AF77E6E287F1","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":"3f84e4d85a6167f4aecb7c7aa37dfbef6e1022ed","datavalue":{"value":{"amount":"+0.797334611415863","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":"Q4586227$C3DF9690-0154-4D73-A808-63A2B212BC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e1e3eb0a20ae2103ffd294c83daa6fcbf25eb3","datavalue":{"value":{"entity-type":"item","numeric-id":4583305,"id":"Q4583305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"370d87545e19a10ebe091fa16da2c97362430eb5","datavalue":{"value":{"amount":"+0.775397777557373","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":"Q4586227$F69EB79E-3358-4A70-8D5A-98C1948C82F2","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":"432f47cbbf35ddab2a8f1252fd6d65d41de6d18c","datavalue":{"value":{"amount":"+0.7716643810272217","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":"Q4586227$5C5E0FA9-FCE0-4342-BB95-91E96462AFD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4586227","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4586227"}}}}}