{"entities":{"Q1344880":{"pageid":1355619,"ns":120,"title":"Item:Q1344880","lastrevid":70203654,"modified":"2026-04-13T13:08:46Z","type":"item","id":"Q1344880","labels":{"en":{"language":"en","value":"The saturated tableaux for linear miniscope Horn-like temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724137"}},"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":"Q1344880$9DCA5A37-1725-476C-9479-F1F9B0CCB306","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fbd3883f7b4ba3c75e4783de547b2d24858f3a2","datavalue":{"value":{"text":"The saturated tableaux for linear miniscope Horn-like temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344880$ADEA4FC7-7895-4229-B360-722CBDDD24E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87ca3003b21b1738b92b78206a0ffb8baf4b2a88","datavalue":{"value":"0814.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344880$CE0A84F3-E284-4F1E-8469-9F6C2F55BADE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd647c8ea2dad3546f86aea008d960c9ef079717","datavalue":{"value":"10.1007/BF00881951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344880$C9796CF5-619B-41AE-A823-AE58189F3F45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7860b5f5f8e3f51d43313692926606ec1d28de","datavalue":{"value":{"entity-type":"item","numeric-id":1344879,"id":"Q1344879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344880$ADF293FF-FC20-4831-9611-89AB0C87F3B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344880$7ECB929E-0D39-4E73-8545-F74E65F635AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8682f10035297e22489d3e495aa858e74b275e9","datavalue":{"value":{"time":"+1995-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344880$02CD4575-8D7B-402D-B80D-8C93311FDD13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344880$E5E419BF-D1EB-4E19-B001-931FDA7A603F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344880$F3F8BA37-0762-4E08-9ECF-B0179819DDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344880$67192639-ED74-4372-8C97-22541503B0CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa5b4d94c969dd6992266182f4749fa15516e420","datavalue":{"value":"724137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344880$EE1164A1-AE71-4A71-9898-47E2FBBFD5E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c5ae0b9d15e3b29aaad4ce23177479cf80315df","datavalue":{"value":"proof theory of linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344880$83839029-1158-46B9-884E-E99A2FC1B83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac188209dcaa28b594baba58dc08f1f2eb8fb7c4","datavalue":{"value":"sequent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344880$EC576725-7F9C-41C0-9FEA-CF072CF0DA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344880$24D2F5BA-AB69-4CD8-8D87-F75B3EBEC8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61646aae39c181a804d97b67e1585d6cb82b95f9","datavalue":{"value":"tableau system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344880$B6CF1059-B84C-490A-A83C-CD1E1CFA5821","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":"Q1344880$AF8EF6FB-73C0-43E2-997A-2A510E83FC94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b330f5cd7a65a8735b5cd88f9d99cd7626efdb5","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344880$E1BE3422-76B0-4CB3-A947-5AB221B31216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344880$776ED497-2E0B-4771-AEF1-2AA01330E147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344880$76C7A612-5584-407E-973B-F1D4F33D0AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4933c393e0df0da8bf72b1cf018c0c8fde2fe994","datavalue":{"value":{"entity-type":"item","numeric-id":3751561,"id":"Q3751561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344880$8C997C4A-89FD-432B-9D4D-4D23D71BBB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e0c6f1c44c0d31cf2a29eb9f5117ac9e36ddcd","datavalue":{"value":{"entity-type":"item","numeric-id":4260367,"id":"Q4260367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344880$ACE3124C-AB02-414A-B1D7-502B0DB7AC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e318768b2e675028aa324fb9bff0b760bb3244e7","datavalue":{"value":{"entity-type":"item","numeric-id":4282615,"id":"Q4282615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344880$D3AEE8F7-5988-4850-B473-D5AF155F2C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a1c4a592ac8674db7efe66e4c1622fce9dc25","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344880$300E9348-3780-4642-89C1-8F9332A2D654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f03c1548cfd1f167c04900a9c91718e8b0cab75","datavalue":{"value":{"entity-type":"item","numeric-id":4342088,"id":"Q4342088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344880$7140861C-C97E-4E3B-B26D-E3E5CC0D18FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344880$462E24EF-0419-46AD-BB4B-CADA2EF4256E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e6e4389eb351114acccb25274f6bf8d570c247","datavalue":{"value":{"entity-type":"item","numeric-id":5668435,"id":"Q5668435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344880$D8D9087F-6ECE-4EE2-9D71-4B3B6D003A21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14ae3c76b6b64d654224b87e9519c7853b32d1d","datavalue":{"value":{"entity-type":"item","numeric-id":4333381,"id":"Q4333381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d418192794f362d37591dca1336272bb2d7300","datavalue":{"value":{"amount":"+0.8913496732711792","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":"Q1344880$721708DA-D77C-4207-BD16-32ABCB813442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4adcb1e52a149519533ba5f028bd31f12d151367","datavalue":{"value":{"entity-type":"item","numeric-id":4841298,"id":"Q4841298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1223d1d73704dd74f71b440ad66aca27512de283","datavalue":{"value":{"amount":"+0.8294014930725098","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":"Q1344880$6920F7F7-58A8-49EC-A8B4-725E901E3428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691e232d64737453bcda8feccf686c56e7a87f1a","datavalue":{"value":{"entity-type":"item","numeric-id":4282615,"id":"Q4282615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74559d580c36266f8312a51ba34b95cd138894f5","datavalue":{"value":{"amount":"+0.8283100724220276","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":"Q1344880$4B61C8EF-BF36-4FCE-88FE-6D545C259209","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":"93765818109274ee91c524bdf1058b8820aaf5a0","datavalue":{"value":{"amount":"+0.795359194278717","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":"Q1344880$1F7A31FA-CF85-4867-B520-BFBC287C3138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a65801f50c4b24a157224086a51dec2c4e40da3b","datavalue":{"value":{"entity-type":"item","numeric-id":1807462,"id":"Q1807462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d3079ff2632195b99a2fc837adf6b4b9eb4cf9","datavalue":{"value":{"amount":"+0.7919062376022339","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":"Q1344880$E0411EBB-3EE1-4ED0-B853-BF42E8750ED1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The saturated tableaux for linear miniscope Horn-like temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_saturated_tableaux_for_linear_miniscope_Horn-like_temporal_logic"}}}}}