{"entities":{"Q453519":{"pageid":455286,"ns":120,"title":"Item:Q453519","lastrevid":56980395,"modified":"2026-03-25T11:16:38Z","type":"item","id":"Q453519","labels":{"en":{"language":"en","value":"Efficient emptiness check for timed B\u00fcchi automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087627"}},"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":"Q453519$99471EAC-D336-49D6-B954-22ECA31F6DBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80abd579400e5312b4b130a9f30b3839849b1d44","datavalue":{"value":{"text":"Efficient emptiness check for timed B\u00fcchi automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453519$461B3438-03A0-4C88-8B45-94BF258B4609","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07a04934958378e734568247c64f15a8dd40fe6b","datavalue":{"value":"1247.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453519$E3B1D8A6-8EB4-4619-98DE-1C1A059C7B1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"457067989db508107c0918b11040f2ba084ea5ea","datavalue":{"value":{"entity-type":"item","numeric-id":209126,"id":"Q209126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453519$2BE63677-9FC4-46F8-B2D1-85F98C84F45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37c384cd2d1fbc04d369354d34025bdfed89883e","datavalue":{"value":{"entity-type":"item","numeric-id":342705,"id":"Q342705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453519$321AED77-590C-476F-8219-ADD038B14580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453519$E6E6D8E4-3E70-4E64-85CC-14917124A062","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453519$65C50663-FFE7-41E2-A0CD-48F5BD768C8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fc6cf2e793ffe0cfa0f8a10182fc08299b3419d","datavalue":{"value":{"time":"+2012-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q453519$CE128212-420C-4903-8155-1EFC682EBB23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aed3f9b9d229db7d88149dc88d76acb5e578507b","datavalue":{"value":"https://arxiv.org/abs/1104.1540","type":"string"},"datatype":"url"},"type":"statement","id":"Q453519$6E293CF1-B6D3-4EE6-9660-D3D9AE5CA030","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453519$4A5CC8D4-221F-4303-9393-901EA737AF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453519$42F9954D-3EBE-40E1-83A7-E2281E34D34C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a076bf9f45eb61590d0f02948c373102b7be75b6","datavalue":{"value":"6087627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453519$271EE89F-0073-40CE-85A9-9A95759BBB9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q453519$786FCB2D-E175-4FEE-A947-AB2C61EA6293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f79539379614a7e086337c244e0830f4a8a528e2","datavalue":{"value":"B\u00fcchi accepting conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q453519$383E6490-7D2C-4D44-B094-973CD8FC2F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91431abae5fd087011d5575adb4551faeca7a4f5","datavalue":{"value":"non-Zenoness","type":"string"},"datatype":"string"},"type":"statement","id":"Q453519$0E61A732-2C66-431A-A197-B084BC4CC193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86a71cebf780983c7bbd3cc1a0e788e55dfea3b7","datavalue":{"value":"on-the-fly algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q453519$22D1A4A3-4690-4ED7-B9C1-587A22684838","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453519$C4353474-122D-4256-BFBE-F5D44735ADFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453519$2B06F431-0D90-43BA-9AEE-CE8DDE39371A","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":"Q453519$CDD09D2E-3316-454B-AB96-9E8F0E33647A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c0b510196b74495038095301c54b6fd1185cc4c","datavalue":{"value":"W1863919967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453519$9A1BB2C5-A54E-4C02-8721-AAB5F676FA0A","rank":"normal"}],"P223":[{"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":"Q453519$13634B9C-A40B-4BF1-9C0D-89845BFC5124","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":"Q453519$80173BE3-2301-4E32-98B7-CB68F8FB0639","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":"Q453519$C0535743-3EB4-4099-977F-B0D8A038B81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c11b7fbda938c615dfad23359f26f27592ad4f","datavalue":{"value":{"entity-type":"item","numeric-id":855006,"id":"Q855006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453519$79B6881F-5519-4F80-9242-D61C99C49B2D","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":"Q453519$AC3020B4-3607-446E-BA9E-474647048FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff295137b07adfff7025f8212d0a3f11a128cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3510844,"id":"Q3510844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453519$4C3E3408-68A0-4A0B-A0D2-EEAEE3A0977D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53c2b506ff19fd7a0ecb11234a49b764fe14e5df","datavalue":{"value":{"entity-type":"item","numeric-id":4931294,"id":"Q4931294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453519$BDEC41DD-074E-4C7A-8AB4-CF5354D24401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6453308aa4dbb745e262a44dd9b19c8e7cd9e0a4","datavalue":{"value":{"entity-type":"item","numeric-id":3090824,"id":"Q3090824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453519$149759C1-F846-4EFB-8DF4-FB742E6CD2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d29c51a0e7698d5c431a6acfb9a15f6606a13782","datavalue":{"value":{"entity-type":"item","numeric-id":3648834,"id":"Q3648834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453519$8BADB1B5-54EE-4885-A1BD-2AC8B7C103CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c2fc52e5b12c8e00ff0f0fcc73378436c283b","datavalue":{"value":{"entity-type":"item","numeric-id":5703757,"id":"Q5703757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453519$291ECB9C-BB7E-49CB-8B73-CC5F744F78EC","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":"Q453519$CE90DD4F-BDC2-412C-AD94-10EB9A822825","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":"Q453519$5E0FA64F-4B99-483E-B7E5-282D4E69D44E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"449a53a46f94c50fed06cfca918a82edad84881f","datavalue":{"value":"10.1007/S10703-011-0133-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453519$F0B5D631-8E02-4D32-BFBA-BD83D30D1367","rank":"normal"}],"P1643":[{"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":"9207aa6ac46d06b1d7470c1a87489fd6b067908a","datavalue":{"value":{"amount":"+0.965402364730835","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":"Q453519$46495647-15CD-4E2A-A650-7D588AD9998E","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":"a5431124bf619ebd1978222ac1aebc9bf3d9cb87","datavalue":{"value":{"amount":"+0.8610125184059143","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":"Q453519$62649AC7-AA1A-4543-8B58-84FCBC92D9BE","rank":"normal"},{"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":"6c1e9291a42812960396d8439bf064fb9d634c9a","datavalue":{"value":{"amount":"+0.8224843144416809","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":"Q453519$45170D34-6773-4C0D-97CA-EB1EE55F581E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee467313bba4394c23e5839d71f61e97f075ca12","datavalue":{"value":{"entity-type":"item","numeric-id":3648834,"id":"Q3648834"},"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":"Q453519$A23F5B33-7FCC-417E-BCBC-1E10BCAA5273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee8e4e22b403f90fa551d0019acc3f7ef7fdf74d","datavalue":{"value":{"entity-type":"item","numeric-id":5394558,"id":"Q5394558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54177fb85886592db2a3ca574edb8fac09dc52c","datavalue":{"value":{"amount":"+0.7656336426734924","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":"Q453519$BB056ED5-E19B-4940-B8ED-E31B7215A536","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:453519","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:453519"}}}}}