{"entities":{"Q3113783":{"pageid":3124499,"ns":120,"title":"Item:Q3113783","lastrevid":51405554,"modified":"2026-01-18T02:47:17Z","type":"item","id":"Q3113783","labels":{"en":{"language":"en","value":"Decidability of the interval temporal logic \\(\\operatorname{AB\\overline{B}}\\) over the natural numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5999730"}},"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":"Q3113783$1D99C795-E497-41EE-9485-7D62295490DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ceb8e8af153b833444411f34ecdb47fdadb414f3","datavalue":{"value":"1230.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113783$7781919A-1095-4E6B-9FF3-E8CE41674B6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113783$1D12BBB5-053E-48C6-88A2-D50C08EE30E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40eed09c4904adadbb81f103a0792acf67a3dd6d","datavalue":{"value":{"entity-type":"item","numeric-id":269343,"id":"Q269343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113783$5CC8D433-5C27-4D8B-8212-4C25A265AF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11543eff57f4852055ea208de3fe86ec3134f6d5","datavalue":{"value":{"entity-type":"item","numeric-id":288803,"id":"Q288803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113783$BC54FB16-A683-487D-9DA3-2B9F6DEC905A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a66c2ec78b04e841b811e5da6e4d441ec826b5a","datavalue":{"value":{"entity-type":"item","numeric-id":266860,"id":"Q266860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113783$05044954-0042-4829-8E00-7740B120EF14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4822a023b88216698bd27975d0e83ceb8910f93d","datavalue":{"value":{"time":"+2012-01-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":"Q3113783$56143783-F684-4B12-9DAF-FAC263FAD231","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd3dfccf8eed1504d9e1e06049151d4cab3d63f7","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_8c01.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3113783$336AFEC2-402C-4473-B310-A9E40A2BF3E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113783$86A48440-AF3D-4DB6-8BDC-2F6BF4797DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113783$C3E0AD6F-3DB1-4E53-A08A-EDD83F9DA5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113783$282B3E66-1DB6-4196-970A-8AEFB2F6BEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113783$940B4321-203A-4557-840F-D80E4857CF68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"967e0d2f08e07568dc25ae96dc09e07adbed6f2a","datavalue":{"value":"5999730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113783$EC342414-0E95-4F28-B6CE-9A620A397F9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"749a916b37df4f158e0dcfd3316e33b1f7ce6f9b","datavalue":{"value":"interval temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113783$F86298A1-405A-485C-850F-16AB5A46A155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6268d2256edda43766edc60382583b5f4e7fd2","datavalue":{"value":"compass structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113783$CB4B7E88-5742-4EA8-AF8F-B7BDA20FEC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113783$7B23D952-CA38-4CD1-8C86-1EB5517D0EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113783$7B1BFD56-AFD6-4983-A931-81D691A74411","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":"Q3113783$C54C4E1A-0F36-4BC1-8D9A-7697D16079CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48dc1547cce9d1032b7e9586d29750d5ba44ad93","datavalue":{"value":"10.4230/LIPICS.STACS.2010.2488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113783$1E9E0E5E-8825-4C22-A070-44221325C65A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df9f889bec4a3b34522d8254516c6fc042ece6db","datavalue":{"value":{"entity-type":"item","numeric-id":2922038,"id":"Q2922038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e69ca26c4983c1c16eaed432d3b40bb703fde54","datavalue":{"value":{"amount":"+0.8675386905670166","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":"Q3113783$E4E32C60-BFFA-470D-AA83-9FA2E701908C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234ff358bb94929222d63c1495e1288f669ba23b","datavalue":{"value":{"entity-type":"item","numeric-id":288804,"id":"Q288804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7cd4823670d5b0742fc7e6c8d8c13a05a613408","datavalue":{"value":{"amount":"+0.862399697303772","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":"Q3113783$32E9AC16-DE94-4659-A926-C0B31D09AECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dc93ca75d1ed5a3990f17269c4c89bdc32b01a5","datavalue":{"value":{"entity-type":"item","numeric-id":5271056,"id":"Q5271056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7fa59bc5e7a5b33dc7060239085ce1cf39e570","datavalue":{"value":{"amount":"+0.8550206422805786","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":"Q3113783$038B50FE-B316-4F7B-8C90-4D9FFB32BAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29224ac7e0a84f89411aa5a59ec4e737a1c0cca2","datavalue":{"value":{"entity-type":"item","numeric-id":2909218,"id":"Q2909218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece667b0e1811a5f5262f402301c99f791726a37","datavalue":{"value":{"amount":"+0.8521597385406494","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":"Q3113783$B6261899-732F-4749-B5D4-D9C9E97C6B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06afb9f32f45ab4f5924fde97e80daf35b55a6d8","datavalue":{"value":{"entity-type":"item","numeric-id":5151001,"id":"Q5151001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4033c2841a2365485cd865c26a1dbe5f158b3a8c","datavalue":{"value":{"amount":"+0.8499288558959961","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":"Q3113783$2C7F521B-E22C-4512-A9DE-4B0B387F0457","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3113783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3113783"}}}}}