{"entities":{"Q6080283":{"pageid":13214590,"ns":120,"title":"Item:Q6080283","lastrevid":55490188,"modified":"2026-02-17T17:34:15Z","type":"item","id":"Q6080283","labels":{"en":{"language":"en","value":"A One-Pass Tree-Shaped Tableau for Defeasible LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7744959"}},"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":"Q6080283$8EE55869-55D3-4948-AAE1-2D93632B41D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dc7f3bc6da8c307a0406147b6d9a3f9fb0ea2df","datavalue":{"value":{"entity-type":"item","numeric-id":6060105,"id":"Q6060105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6080283$63E5123D-80FB-4844-B3F1-EC4E84FCABA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"542c8b19de27250ae7f403063f9b5a3adc9d9be2","datavalue":{"value":{"entity-type":"item","numeric-id":6060106,"id":"Q6060106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6080283$6443216C-920E-47D7-9B97-BEE6340A1DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39a3b234061e9ad946bff17721002250e5444ea3","datavalue":{"value":{"entity-type":"item","numeric-id":262130,"id":"Q262130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6080283$4C177B25-8BB0-4367-BFC8-7ABE40E9E352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecdaacd6970e3d9780b4251e78dc7b1c7553fe00","datavalue":{"value":{"entity-type":"item","numeric-id":1028965,"id":"Q1028965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6080283$FBD07040-261D-4759-B72A-FA729C3AD9E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e68dcb3ce5566cf2b4bd7c1def923cc7a3f373d5","datavalue":{"value":{"time":"+2023-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6080283$5E7F0136-038D-4838-BA28-ADE2B07FB6C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080283$91766B85-249F-4B3F-A344-F4B2EE25FBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080283$E4CE2A65-68CB-4002-AE83-18DB8057ECDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080283$FD28850A-68F1-4A90-9D65-2D872052BC19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e9f92d25d77d1c45682ea7a750f386ba1942c58","datavalue":{"value":"7744959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080283$82748873-7F00-4825-8671-157222756CAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6080283$7FEDD0B1-DBDE-4EFF-A8C3-CC84717F1F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ad898fce43911ca55eb5ed942bac1dbc1b2a14","datavalue":{"value":"non-monotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6080283$D37A80F7-C003-490A-8F6E-78530CCE2334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d120f16a4a449e17abe99fcf1fc6dfa592e9035c","datavalue":{"value":"tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6080283$08ED5668-AA85-469D-B572-D5B8FFAB35DF","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":"Q6080283$5D5EC753-5D01-4AAC-8A00-1FC707DDB441","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ddab32308edaa8641636428ebc02254e41965e4e","datavalue":{"value":"https://hal.science/hal-03699248","type":"string"},"datatype":"url"},"type":"statement","id":"Q6080283$98C42260-4A7A-4B82-AC6D-77106271FA34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b34bcfa4fc3378d0ac6eb2ce72fc18e1a94ce955","datavalue":{"value":"W3204581979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080283$2B60194A-8EFC-4858-B19A-E59E0214B39B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08d7c21cebe1418407ece868110191e08ce6a7ec","datavalue":{"value":{"text":"A One-Pass Tree-Shaped Tableau for Defeasible LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6080283$1D05CF86-27D6-4D48-B39C-07221C6502BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a90d6f96e2a2482f6710bc4790a94b48d25df188","datavalue":{"value":"10.4230/LIPICS.TIME.2021.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6080283$B575EC1F-667B-4529-B36F-29C702D26F68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c364d83270373820922f3d86ce350b9759fb3882","datavalue":{"value":{"entity-type":"item","numeric-id":4645753,"id":"Q4645753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cfb5573139fba8446d9641ef01b6f9355b45d80","datavalue":{"value":{"amount":"+0.7730327844619751","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":"Q6080283$DDAA798D-1A59-4534-8B0E-B972902F710C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551e5cef9ff9e108aedfd914294e17f3070b1595","datavalue":{"value":{"entity-type":"item","numeric-id":2029608,"id":"Q2029608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d009db0d16615a8890864a600159e253ddcdb719","datavalue":{"value":{"amount":"+0.7458512187004089","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":"Q6080283$25A608FD-3438-410D-A91B-E13D888B6B0E","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":"f23aca0f436e9fc1305d7b621ba530e11ffdbfef","datavalue":{"value":{"amount":"+0.7434848546981812","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":"Q6080283$78937E1F-BA2B-47C5-87CD-0491770D88BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b816f7b60b364962d3514a561cb528f87e7944","datavalue":{"value":{"entity-type":"item","numeric-id":6060107,"id":"Q6060107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1744c3c4b38725f3521441b131cf11308e5104","datavalue":{"value":{"amount":"+0.7376570701599121","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":"Q6080283$E5975E7D-492E-4D43-9F4A-B1084B6C2D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435ec8f8993d65eb6958625c5323356f0b7697e5","datavalue":{"value":{"entity-type":"item","numeric-id":3384889,"id":"Q3384889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb73ff2303f1fa9701b7737ba6d289e979ebe52","datavalue":{"value":{"amount":"+0.7375904321670532","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":"Q6080283$EA8DC9D4-63EE-4856-A9EB-DDCDD7D0A7CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6080283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6080283"}}}}}