{"entities":{"Q3648834":{"pageid":5678740,"ns":120,"title":"Item:Q3648834","lastrevid":50838821,"modified":"2026-01-15T08:57:25Z","type":"item","id":"Q3648834","labels":{"en":{"language":"en","value":"Checking timed B\u00fcchi automata emptiness using LU-abstractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5641084"}},"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":"Q3648834$14613243-0D95-42C5-93C3-819EE023FEE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2b10aedaa5bfca4901b71238f8bdbb3c7bbcafd","datavalue":{"value":{"text":"Checking Timed B\u00fcchi Automata Emptiness Using LU-Abstractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3648834$7CB39BBF-7700-4F5C-9206-862D0F7D5F30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8785f84042ca42f30a9837f06b73f024d72fd406","datavalue":{"value":"1262.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648834$E32AC999-E952-4CA6-9BD6-C8A2C00B55E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7e817d7f0c7f86c09cdb8ca8eeaea86f96a65a2","datavalue":{"value":"10.1007/978-3-642-04368-0_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648834$944B674F-9A9B-4260-B923-CCDFDA0F8504","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1310a7522ae15ea77c4f1edac90b85b7fc7b49a4","datavalue":{"value":{"entity-type":"item","numeric-id":920978,"id":"Q920978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$48D05F39-E4BB-4164-BDF6-528168D7A533","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$3EDB3788-1AB1-49F3-90D7-EAC70C5EC246","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bdd78fc222a44e05f767ee071ed0c7d623c0a6","datavalue":{"value":{"time":"+2009-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3648834$BBA6989A-06DE-4108-8A77-F87ADB8DCC04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648834$838CF62F-D345-4918-B3D7-91FADDC97DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648834$79034611-BEBA-458F-B6E2-015F22D19A66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3768b8a62c4175f7a82e68652a0261c41b18d0b1","datavalue":{"value":"5641084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648834$C9674AA3-2586-497C-A67E-72573173A08E","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":"Q3648834$C3298194-A281-40AA-87E3-BE9096B3923A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"664190c473ea433b1367f0b54313e6a4a96db963","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04368-0_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3648834$CFEF88D0-1845-4D17-9D8F-FB469CCBDB43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"842c3a63508f8bf3f235c0161deb61d0e22d0df7","datavalue":{"value":"W1964976168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648834$5D106F5B-3815-426C-ABA0-0989C76E140A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0677d986de7ae767d3696ee3197efa0dd10513","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$EF3ABE86-AA7E-45D8-93D4-714427801B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f19151d005fd311e34f00ed4e8e1c914d916818","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$3C8782C8-9AC8-45AE-8D52-2EF45B609853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b470165b882e9f40d331f35f6193295ed50bd0","datavalue":{"value":{"entity-type":"item","numeric-id":1399974,"id":"Q1399974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$8DAFFA2F-3825-4088-A110-F47C8F06493A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$0103E121-DFD1-4C21-8E8E-C3FA5FFD1A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$4F5A57F1-9C87-4DDF-9263-310EE639B1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc3f2dcd7c92c408561e9891adfbd1a30938a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5494303,"id":"Q5494303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$9A855DE0-C27D-422E-AE91-7F650E223E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$D411F915-A9BD-4E6E-AE15-43C430FA9D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a83cc9aaa4ed6efdda4673399118f84fcef2cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4417927,"id":"Q4417927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$6245C2BF-8728-4D3E-B966-CEDB208BB048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$AAB0F7D4-DF3B-484A-98DF-646D828EC05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac7ea46ed5829de66002dbc9fdd446ec28b2d53","datavalue":{"value":{"entity-type":"item","numeric-id":1878925,"id":"Q1878925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$9E18CEC6-387B-4C10-957C-6983346C9A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b1ca4463eaad5e2b392062cef8e5e6abde5678","datavalue":{"value":{"entity-type":"item","numeric-id":4493881,"id":"Q4493881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$74AF01A9-4B8D-45AE-B48D-A6D93A56523D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18092ab083062e92326bbeef5a26dc16f6128110","datavalue":{"value":{"entity-type":"item","numeric-id":5394558,"id":"Q5394558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$65CFECCD-DF2F-4839-AEE1-9505BDC76BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfeba6cd86a19e7a860f35108ad7ce4126ba3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4037099,"id":"Q4037099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$E71345B5-F3A7-49BA-873F-38F0BB6A15D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461dd152e8ce718fc1992b5a137007565e43581","datavalue":{"value":{"entity-type":"item","numeric-id":3511242,"id":"Q3511242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$F80FFA4C-0163-4597-9EDE-9DA0A95A07B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$39D88FA6-1C45-4A23-8B81-C5D8D20A08C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61bdb575cdb541a62748f0762a05193c4db58062","datavalue":{"value":{"entity-type":"item","numeric-id":2946573,"id":"Q2946573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$F0D9AC62-ABF8-4FB9-B034-7B42AFF93C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f725e79b52842467d6d333988262c529dff4e35","datavalue":{"value":{"entity-type":"item","numeric-id":816203,"id":"Q816203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648834$16C578D2-6B46-4365-A617-FE187A8D674B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f9a51698bca26977bd269babe21ce9aa5bcd4f","datavalue":{"value":{"entity-type":"item","numeric-id":2946573,"id":"Q2946573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f925c209d563910e4756e83ca39420d90c2b4fd8","datavalue":{"value":{"amount":"+0.8217613697052002","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":"Q3648834$2C7C2C89-0A1E-4EC0-8876-5A3102736375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63ef6f7be68ac4de758d66d78d72afa4547d0fe8","datavalue":{"value":{"entity-type":"item","numeric-id":816203,"id":"Q816203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c37e27408a4501005885da8f7b0166964dda9fc5","datavalue":{"value":{"amount":"+0.8156450986862183","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":"Q3648834$C3B8FFCC-2976-4B70-8A39-31561D7C2411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5077b9bc648990a923abf35a81b8e703f11a735b","datavalue":{"value":{"entity-type":"item","numeric-id":453519,"id":"Q453519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c9d918c04d6a2800bc07d7e3c40478d2430272e","datavalue":{"value":{"amount":"+0.8036606907844543","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":"Q3648834$53DBE246-3292-4D7C-A981-26193854893E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94e226f55426c3b15510e6a78510210b2335c0a2","datavalue":{"value":{"entity-type":"item","numeric-id":4931294,"id":"Q4931294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84610cbb4a705e5bf51c74f128570bb4bb32c04e","datavalue":{"value":{"amount":"+0.7959489822387695","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":"Q3648834$8D2A2B8C-2581-4E31-9EFC-472458442954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274488422d1b7207ff867c50e2a000d964e41bfd","datavalue":{"value":{"entity-type":"item","numeric-id":342707,"id":"Q342707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e38237fbb02917eb09dc42b9c718fd5907c47388","datavalue":{"value":{"amount":"+0.7804856300354004","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":"Q3648834$661D87C7-F80E-4F29-BD8B-87B7EF5C6B52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3648834","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3648834"}}}}}