{"entities":{"Q2701983":{"pageid":2712728,"ns":120,"title":"Item:Q2701983","lastrevid":82774748,"modified":"2026-05-06T21:54:58Z","type":"item","id":"Q2701983","labels":{"en":{"language":"en","value":"Labelled tableaux for propositional linear time logic over finite frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1574461"}},"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":"Q2701983$1B822799-C8CE-4E57-9F42-6EE3D4042C93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64d2379155894576bef80a8723fc2a015bcd98d1","datavalue":{"value":"0966.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701983$42B4A977-3F18-4296-90E5-D77B2A0CB7AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2286efb444136e1100eb0b2f7ac6cc03053147b","datavalue":{"value":{"entity-type":"item","numeric-id":229750,"id":"Q229750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701983$442D2F83-FBE3-45CA-A0C4-F4A6988AE65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e85c5db1a6961ef0897daa8abccf0b647303a8","datavalue":{"value":{"entity-type":"item","numeric-id":229749,"id":"Q229749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701983$1632AE24-CE72-4098-9621-E453C91D0044","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"763e2fac54cd7102c0b681a36ae0f081948e4e0f","datavalue":{"value":{"time":"+2001-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2701983$D2D5830A-02C7-40FD-B45E-7A1077B629EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701983$5D29E05F-5BFD-422D-BC40-CD47F5848752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701983$FD6A53BB-14A4-4EEB-9370-267FC99B1B16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3d34be519cab5f4fa2bc2786ed623cc5822a8da","datavalue":{"value":"1574461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701983$D6AD6828-5814-4B10-B085-56D9D29B34C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb14b4f49329143421a6af43211c537fff48d31","datavalue":{"value":"proof-system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701983$FE83807D-22DC-490B-99FB-E73744DF8D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54001240fc98abf798acde544e551bae93fe7d21","datavalue":{"value":"propositional linear time temporal logic over finite temporal frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701983$76B8466E-05EE-4C21-A882-BC9964D3F5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a555f4bd59b54b834193cf5281641c5391f332","datavalue":{"value":"temporal constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701983$BAC290C4-235E-4850-AEB4-438152CA111A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701983$07586488-2BFA-4D16-8286-FBD3C37B28EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83798e1bbc00101714db436c991cc16b2064467d","datavalue":{"value":"finite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701983$75B7F17E-9DA2-40DA-8879-BB95F403DB1B","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":"Q2701983$0F32FF20-D7AB-4552-98E7-1ABC28D51B00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90e8ee284b36e229bc41ec4918beb2b8e74895ff","datavalue":{"value":{"text":"Labelled tableaux for propositional linear time logic over finite frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2701983$A50D7A88-F74A-4FB2-B6DC-00F5D7C716E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9df7499817978c9c41a287e68810e53cff96ae","datavalue":{"value":{"entity-type":"item","numeric-id":4938418,"id":"Q4938418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9211ba0ec4a0e1fabce47f5beda442a1fc3932","datavalue":{"value":{"amount":"+0.8441848754882812","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":"Q2701983$F65930B1-0780-4CBD-9538-50AC4663FDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edfbe8f0d4fd63e5633ad6a16667ed8b9308be29","datavalue":{"value":{"entity-type":"item","numeric-id":4632314,"id":"Q4632314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9211ba0ec4a0e1fabce47f5beda442a1fc3932","datavalue":{"value":{"amount":"+0.8441848754882812","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":"Q2701983$0A6C4153-2E4E-41D7-9F79-C273209D6A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a0795bb52320f85a84aab63968a83468978487","datavalue":{"value":{"entity-type":"item","numeric-id":5015285,"id":"Q5015285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166c7dc486f2060d0e80f0092ed7896c6838769e","datavalue":{"value":{"amount":"+0.813558042049408","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":"Q2701983$72E9FFC6-A835-4C02-9E3C-4D7D71A2BFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0d18ca4bc6d73bda00df43dcef4646f3293fac","datavalue":{"value":{"entity-type":"item","numeric-id":2871849,"id":"Q2871849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84425a1c956511ef563ba36b7aff5ac21f4b369f","datavalue":{"value":{"amount":"+0.7968115210533142","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":"Q2701983$EF5FCEFC-F772-4028-A5ED-3E2EA9F44AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0db8b94d3fac2c623215c6f16e8407da8ef6320","datavalue":{"value":{"entity-type":"item","numeric-id":3838808,"id":"Q3838808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be816cf5bf6f8fa44b519f89e6f2b99ce09c33e","datavalue":{"value":{"amount":"+0.7917309403419495","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":"Q2701983$1E4B4705-7C7A-416D-98E6-F0481FDC0D71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Labelled tableaux for propositional linear time logic over finite frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Labelled_tableaux_for_propositional_linear_time_logic_over_finite_frames"}}}}}