{"entities":{"Q1623115":{"pageid":1633855,"ns":120,"title":"Item:Q1623115","lastrevid":77916875,"modified":"2026-05-06T10:21:35Z","type":"item","id":"Q1623115","labels":{"en":{"language":"en","value":"LTL semantic tableaux and alternating \\(\\omega\\)-automata via linear factors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6983499"}},"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":"Q1623115$16AC149F-7F6B-44DF-9A2B-D661DEDA87BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"349d0a62e3fcbe138fe20eb048ffb9b41c6e1aef","datavalue":{"value":{"text":"LTL semantic tableaux and alternating \\(\\omega\\)-automata via linear factors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1623115$5C6D20F8-4365-48E2-A64A-CC44B3B158A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28909522f5b5be1bae97af9c764fb5c1939db0e1","datavalue":{"value":"10.1007/978-3-030-02508-3_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623115$56076264-EF17-490D-8C60-50251AD2DE8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"076d15404ba892d1a4e6d8a1fb0f94521495e82f","datavalue":{"value":{"entity-type":"item","numeric-id":1623114,"id":"Q1623114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623115$D709C72D-BB24-4733-9E58-AEC96E438226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a50d913d1128f41e9a61785d41010b4144b0015a","datavalue":{"value":{"entity-type":"item","numeric-id":526443,"id":"Q526443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1623115$5DAD2D37-A172-4256-80F1-521CCF7DD52F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1e747551cea3e18facbfe25be36852721064ef5","datavalue":{"value":{"time":"+2018-11-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":"Q1623115$CFB783AE-14F4-4F0D-8A48-0F249C38E94A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"baf0e3f9f4a34109f99e184d27a309ca3c711339","datavalue":{"value":"https://arxiv.org/abs/1710.06678","type":"string"},"datatype":"url"},"type":"statement","id":"Q1623115$A22BCCE1-F918-4B73-95F0-1375A3C306D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623115$85A3D0A9-AA52-4C99-B0E5-B8CC6FED220E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c773e7454aa3cf5a7e0826c4354dbd5f6d28f151","datavalue":{"value":"6983499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623115$F3EAF8BD-CA9E-476C-B711-AD067AB0D4AB","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":"Q1623115$A3901605-CB7A-4E4E-8066-8B7FA717CCD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9f29b3bc9bda05af97fae96c8a8eb2a33fefd48","datavalue":{"value":"W2962709051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1623115$983BB0B4-E18C-406F-B37B-D62D97749FF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37c3f799908525fe7a2cfa211270bac0f09f086","datavalue":{"value":{"entity-type":"item","numeric-id":4494397,"id":"Q4494397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd8c4263a8d043a11b6a584f00059ca457f9945","datavalue":{"value":{"amount":"+0.7833454012870789","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":"Q1623115$27E475B9-2271-4BA6-99B5-917D5811EEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"693881802b6cc0f44eeff84dce1d07b729da216a","datavalue":{"value":{"entity-type":"item","numeric-id":5458321,"id":"Q5458321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d56c6c32a084dbe415ae4be831a3821438fcb882","datavalue":{"value":{"amount":"+0.7794100642204285","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":"Q1623115$C191FF62-E63A-4FCB-854E-93669941D792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc46a3873de73c896dad3f48b557df241d2d816","datavalue":{"value":{"entity-type":"item","numeric-id":5452723,"id":"Q5452723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2482cc66712247e358de761705555a7d218e99c2","datavalue":{"value":{"amount":"+0.7767136693000793","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":"Q1623115$D7F0EC28-5F00-4588-BE27-34519C16371F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21f713f7cd901baf7e1747fed471f73b13691097","datavalue":{"value":{"entity-type":"item","numeric-id":5897677,"id":"Q5897677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27f2db35cfde9932751be9233118c7f98a855e8","datavalue":{"value":{"amount":"+0.7720393538475037","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":"Q1623115$EC66D15B-82FE-428A-B85D-245993C5F267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a02a26b10b7a15d340c8330c520397781616f59","datavalue":{"value":{"entity-type":"item","numeric-id":860862,"id":"Q860862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844f69d6ed5271db07f5fa2e2c056d9cf9a49ef1","datavalue":{"value":{"amount":"+0.7720392942428589","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":"Q1623115$7610EE84-7B56-4FCE-A35F-5A7CD41B0CF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LTL semantic tableaux and alternating \\(\\omega\\)-automata via linear factors","badges":[]}}}}}