{"entities":{"Q2180503":{"pageid":2191246,"ns":120,"title":"Item:Q2180503","lastrevid":53732342,"modified":"2026-01-25T15:22:58Z","type":"item","id":"Q2180503","labels":{"en":{"language":"en","value":"A SAT-based encoding of the one-pass and tree-shaped tableau system for LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7200658"}},"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":"Q2180503$0D5E4722-123B-4A24-92A3-BD04AAA17F25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71507ed67f2eb1ab6eb0bfc62c45c2531b3773e1","datavalue":{"value":{"text":"A SAT-based encoding of the one-pass and tree-shaped tableau system for LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2180503$FCE39827-716C-4874-8B84-60FA8EB77404","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b689984b65d96a60f63e41b95175a001b89b08c2","datavalue":{"value":"1435.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180503$104A6F33-36C1-447A-A1DE-EF63965066A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05d8e431aefb8ff0d741a94049f1f7f5d683f6a9","datavalue":{"value":"10.1007/978-3-030-29026-9_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180503$671100F8-0472-4339-9C52-1A1FEDF6F874","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93141fe765fd55ff78188fc280f46aafa4aa72f7","datavalue":{"value":{"entity-type":"item","numeric-id":2029606,"id":"Q2029606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180503$9237F338-160A-46A9-AE8A-E9B97BCC4439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3426eb049e14d89befbc43e19e1f24581cade6a4","datavalue":{"value":{"entity-type":"item","numeric-id":2029607,"id":"Q2029607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180503$D3A1814E-4E7D-4E25-9D5F-02AFC33AB4BE","rank":"normal"},{"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":"Q2180503$6CDC1412-A45C-4AFE-AC06-799CFFCF027C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7de1f12a4b81f8e35c9663469c9c0ea0df019fb","datavalue":{"value":{"time":"+2020-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2180503$EB0DF580-6EE5-4A23-AB95-CDE1209565EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d25569086f995aebc07cbb8c041afbfa6014cb75","datavalue":{"value":"http://hdl.handle.net/11390/1167562","type":"string"},"datatype":"url"},"type":"statement","id":"Q2180503$72C046C2-7481-4DE0-9C4F-11042938BC13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180503$7A2037F1-5377-4409-A7EC-09287AFC4074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180503$46DEE1AC-1503-40A7-8CBB-A35D1F617C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180503$18F5FA96-0A2D-4226-B171-23708B7FAFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180503$14DEC18E-9BD6-4437-8352-434503D32226","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4060e46e7f95dffd738ef7b176a0e1e297c46803","datavalue":{"value":"7200658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180503$386D55AB-164B-4CF7-9431-2B10DD6C34BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61646aae39c181a804d97b67e1585d6cb82b95f9","datavalue":{"value":"tableau system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180503$957987E9-CC98-467C-B9D7-3B07FC8F52AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180503$3544D9EF-AF94-42A6-8F69-B238536F4FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180503$72D27809-4F9F-46EE-91F8-B993F9B754E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2180503$D5255125-74BE-4F8E-BD04-B85AFA1087C3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180503$F7164CEB-96D7-4B0C-9E12-04CE0F92C08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4e1fe9e7e19a9673e889bcce0afc1d800822389","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180503$19AB083F-A84D-4469-B16E-3D28A0BBB3A4","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":"Q2180503$A75C03B5-2D69-43DE-8CB3-2F236F7B9781","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6b2f2bc26df31a87c98961afbe0fc4867bc98ce","datavalue":{"value":"W2969232040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180503$D969EB28-462E-4A4A-A577-B16A9C4E1DAD","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":"c85153caec790a04524dc9bb1b6a7598cc371c5a","datavalue":{"value":{"amount":"+0.7898966073989868","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":"Q2180503$C3050D71-0FA8-4819-A67F-E9D0082D37B5","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":"01ac39a3f9a0cec6b00eceeb67a38885d0015d45","datavalue":{"value":{"amount":"+0.7853605151176453","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":"Q2180503$D94E7A14-207A-4603-8170-6FFDD4D91F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d55558c882eb537dea8b4ed637072d46a41d3d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1707341,"id":"Q1707341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1baa3e3db682a71f091a6cbbb1ff0326e870255","datavalue":{"value":{"amount":"+0.7654691934585571","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":"Q2180503$8AE5EEB7-9823-46BF-BA3F-AF1E25C65578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825c9aaa727f79c201debbf710b791dcfdd806b0","datavalue":{"value":{"entity-type":"item","numeric-id":4736997,"id":"Q4736997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ec17465982f4ea9c23ba61508cf78629614462","datavalue":{"value":{"amount":"+0.7618593573570251","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":"Q2180503$31184F5E-44AF-4998-BE8C-2F8D0B1F0972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd3d41e83c5b8c36bb26f88ebcbd122fd1d3af1","datavalue":{"value":{"entity-type":"item","numeric-id":3608783,"id":"Q3608783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411f1d3b7e70955045634c34bff0ea7fcb573dd3","datavalue":{"value":{"amount":"+0.7531460523605347","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":"Q2180503$F62736FD-F3AC-4336-8BA0-EA177E38B0B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2180503","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2180503"}}}}}