{"entities":{"Q4635843":{"pageid":6665424,"ns":120,"title":"Item:Q4635843","lastrevid":58308447,"modified":"2026-04-04T16:07:20Z","type":"item","id":"Q4635843","labels":{"en":{"language":"en","value":"On the complexity of temporal equilibrium logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863426"}},"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":"Q4635843$A9FEA33C-098F-431E-AE82-2E5B42E0AF80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"260f125ea6cad82bca800110a592edd59bf7e539","datavalue":{"value":{"text":"On the Complexity of Temporal Equilibrium Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635843$E3B8965E-DD20-4542-980E-7EB3A999FC4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"713b46eb688c3739cc0b74b426124cae5af7e441","datavalue":{"value":"1394.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635843$D3D60C0A-4C17-449C-ABD8-B902F3316AA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e0cbb400d9ef1f9a9b4b71309a3f653c36238fa","datavalue":{"value":"10.1109/LICS.2015.65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635843$5A9DA99E-2FAA-4343-ABF5-3A935B40B70D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83d65420a138b2c4ae4851502a73366edaf00743","datavalue":{"value":{"entity-type":"item","numeric-id":4635786,"id":"Q4635786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635843$0A6505D3-54C6-4825-8F79-E7FBEC131CFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635843$255CE9CA-50EF-4796-92F3-B2AC7BD3FCC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cc075a7f3276c956cdf2932c9bda58788b540cd","datavalue":{"value":"https://arxiv.org/abs/1503.00043","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635843$11E3F675-9721-4118-988C-60A3781AB7B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635843$0C3858E5-8EA6-4C3F-B007-3BBF5D6D201F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635843$B1CB6CBB-CC40-470E-B76C-E06EE9B841B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635843$4D93772B-2084-4F84-9BFD-C55B61D6BFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635843$52D8F465-AE1E-4027-AD78-866283763D84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac750313f3d617e56d4fc81ffb2aa49392122227","datavalue":{"value":"6863426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635843$6031DE0B-C8FC-4553-9418-7DD46BA69FBD","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":"Q4635843$77974870-3132-4E01-92C8-56A2E5B808C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75f567ec5f009832c3146092259e4ee9bb082a53","datavalue":{"value":"W2104206655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635843$1ECDB4B0-0875-43F0-B051-8694DFAF2208","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e3e2b544f245cd4feeb5475a69805108103d0b0b","datavalue":{"value":"Q130860109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635843$92AA2ECF-989A-48B8-BBD7-53FAA52FDCB3","rank":"normal"}],"P1643":[{"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":"dffd5c7d5119c7bdd814589891d6c0e65513f1e9","datavalue":{"value":{"amount":"+0.8844359517097473","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":"Q4635843$CC253743-C8FC-4D0F-80A1-1D7E10BA41E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd0d290a57cda8257a97835ab03f105a9c6e495","datavalue":{"value":{"entity-type":"item","numeric-id":4909313,"id":"Q4909313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e88421a4a68aabbcaae7fba0f07a3e414f75f670","datavalue":{"value":{"amount":"+0.872022271156311","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":"Q4635843$4FBE64A8-A724-4C07-8794-148BF3705A5C","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":"e7deb3ce2b76e0605d988a67f7d1a65b0bb803c7","datavalue":{"value":{"amount":"+0.8483858108520508","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":"Q4635843$65EA21AD-4F90-4DB4-BC05-23A205F18982","rank":"normal"},{"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":"de9cf0dd45bf4313d42b679cff99d09c49be417a","datavalue":{"value":{"amount":"+0.8294075131416321","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":"Q4635843$D6BF630A-C28B-4C2B-B1E0-1636F2F9413E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bfde2afdc386cbaddf3e231825e1abc0bee5914","datavalue":{"value":{"entity-type":"item","numeric-id":4593006,"id":"Q4593006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da5c251d8ccad03e3d2e89512fc1e0287298b36","datavalue":{"value":{"amount":"+0.8139198422431946","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":"Q4635843$4356BF22-4790-4AA9-8C5C-E1B9044F40EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635843","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635843"}}}}}