{"entities":{"Q816203":{"pageid":818051,"ns":120,"title":"Item:Q816203","lastrevid":64551459,"modified":"2026-04-11T20:39:32Z","type":"item","id":"Q816203","labels":{"en":{"language":"en","value":"Checking timed B\u00fcchi automata emptiness efficiently"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5007756"}},"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":"Q816203$3AB6F11F-EDDA-470F-BF5E-4066E39846A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f28e466917da00fa1eeb1d75407713978c7bee6e","datavalue":{"value":{"text":"Checking timed B\u00fcchi automata emptiness efficiently","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q816203$1001E9EF-8FB7-4728-89F8-C7CFE2539081","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b320df6ad4bc68bed4610d3321d121f2aca57c7","datavalue":{"value":"1085.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816203$BADE8C0D-1A4E-4951-9C05-78D8DDEFD959","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bf4ee0b9bc858ae7a0b4fa5b4ccb84cb74f589d","datavalue":{"value":{"entity-type":"item","numeric-id":169910,"id":"Q169910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816203$A74B701C-0788-4EC0-810C-C143B1E82A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb56f0c75c4cf32c2f76e3e49feb34da9c9e05a2","datavalue":{"value":{"entity-type":"item","numeric-id":169911,"id":"Q169911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816203$20330D5F-C773-44DF-9419-1A4DAA95B581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816203$393BA973-0A45-4E89-8A28-1937BD070EED","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":"Q816203$F6CEE607-5BFF-4584-957B-3E38C594D395","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5a46ca8715888f9181d63a117c8c9aa412098d3","datavalue":{"value":{"time":"+2006-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q816203$6649C30A-B982-49C9-BB2A-6818B429551C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816203$CACB9BA4-D422-456E-BC38-D6A63E75BB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816203$21A936F5-ABA1-4F77-9622-B6580660C88E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffd86bb6ce72ee9b6746d4cfafe42a3defd0303b","datavalue":{"value":"5007756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816203$07F0CEA2-B313-405A-83FD-33614664AF6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q816203$AB2D7541-20F2-4598-B8C9-FD5E01C48CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b821c62a5b1211c5584b9b4fdeb081533e7cc29","datavalue":{"value":"symbolic model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q816203$BE16E65F-1046-4697-AEE8-A664DF920206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85ab4a0962672ec037d9b9a36950051568788b22","datavalue":{"value":"on-the-fly verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q816203$5E83BA05-3F3B-41DF-B581-5678F039783F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f91056c7d1db794c614d225cbe58b629d13418b","datavalue":{"value":"verification tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q816203$9C7C5AA7-F7A9-42AB-BF02-E4C3AA16B333","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"18bc15ad2bf77a1c3c55b200786be5ae7bd10705","datavalue":{"value":{"entity-type":"item","numeric-id":14128,"id":"Q14128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816203$FA8CA511-B1C4-432D-879A-1EDC6C3F7093","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":"Q816203$B6A347E2-99B2-4335-BB27-ABB2490E74F3","rank":"normal"},{"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":"Q816203$4A530197-37E5-4A76-9328-DBF66CE4FB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e4671e4cb1fd66747f3274867a94f211f7c97b3c","datavalue":{"value":{"entity-type":"item","numeric-id":21763,"id":"Q21763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816203$A54F8EED-6849-424D-8F39-B9B53A6D58EB","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":"Q816203$6D4A9E00-6E8A-4DB9-954D-5AF4DA39DA50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e34e862cfd55db4db0db761414d59830659d6e9","datavalue":{"value":"https://doi.org/10.1007/s10703-005-1632-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q816203$D29C6E0F-3891-4795-A877-A496360D0B81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee22255bb7c03e3eda510bb16710cc3df7f153d3","datavalue":{"value":"W2133057837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816203$E59F66E8-F985-4FCA-9F6A-07EF6F946D27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816203$C805229B-8B08-4756-A442-53EAE5CB3683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816203$5CA1F5B9-0577-4E91-9BF0-56A238536C06","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":"Q816203$08FD2B9D-2119-4284-840B-5D5BFCCADA02","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":"Q816203$EE35E8DF-DE03-4AA6-8A7A-FA09B68EE21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c70c0dabdb0103585d533726a79f7830f625e5e","datavalue":{"value":{"entity-type":"item","numeric-id":685111,"id":"Q685111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816203$956056BC-E871-472A-A769-9D8CA1DFC2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816203$2D82624B-D6EF-4594-80BC-30599DFEBE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816203$CCDFBE6D-165A-4BC8-A628-B2A1464474D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394d3beb4a9fece0dbe9b5435363e4067e55d788","datavalue":{"value":{"entity-type":"item","numeric-id":1892893,"id":"Q1892893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816203$96FE95EB-3A0E-43E3-B912-134915E56898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816203$618685CD-4C97-42BC-BAD5-57F4C48952BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816203$79972BCF-764A-4C29-A704-4FABD33010BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816203$40CFA5C9-6A98-45FA-89CB-902EA7BB6E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25392032623d37211bcc57bb8a7cf33442d63121","datavalue":{"value":{"entity-type":"item","numeric-id":4439565,"id":"Q4439565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816203$58138D44-9F61-4A02-A093-25A86E277397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57bef9dcf8610ea862985a8d05b601f1f871bc","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816203$1939A572-4061-4B33-AD11-8EC430D1DD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816203$22FC02B9-BAFE-420D-927E-83826960B99B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9aae42879e37a89840c6be2d4e2426d48e7d1877","datavalue":{"value":"10.1007/S10703-005-1632-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816203$F9E3F6B4-DB17-49A1-BA92-AF1DA55AE14D","rank":"normal"}],"P1643":[{"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":"10f0c65a1b310b86f9760a48f965df6b9a9d8bff","datavalue":{"value":{"amount":"+0.9873734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q816203$C9505F1A-1BBC-4D1C-B265-FC959275D1CD","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":"a4d263cd0df31e37bdd767db44784cfb3abb1b5b","datavalue":{"value":{"amount":"+0.97025234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q816203$0D643F36-0A96-4AA0-9779-3949F140BDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1212cde907da89035d6456c7dc28d6a2a881f4e5","datavalue":{"value":{"entity-type":"item","numeric-id":1996011,"id":"Q1996011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b7ed1e201be22df345ceb58d6454719e712f892","datavalue":{"value":{"amount":"+0.9464693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q816203$F19D5B0F-9C28-4B7A-A1AB-F5E4DCAD5C59","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":"769634aec74a8cc2e48e8ae3709d7551bd7b195e","datavalue":{"value":{"amount":"+0.943038","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q816203$19877BF7-7190-427E-BE3E-0C51C617957A","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":"f18afd7099388f969ef0bfcf82f2748477c89dd8","datavalue":{"value":{"amount":"+0.93917024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q816203$EB425D30-BFB2-4B13-844C-C5DC6C568F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa6e05bdbaddde00cfd98b5e2e7a17813330fa8","datavalue":{"value":{"entity-type":"item","numeric-id":2917302,"id":"Q2917302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa1b4b4821fea3708313c464a0ab5c6baf904ba","datavalue":{"value":{"amount":"+0.91387945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q816203$3723F08B-BB2E-41A4-B361-1EDE10AD6045","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":"8b19c8cd01cc1201fbf0f85610c62f25d27c4910","datavalue":{"value":{"amount":"+0.9091227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q816203$891D74F0-22A1-4728-93B1-FD1E36F25898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f2996a5c5ea635ebfebe68ef369e8e7f8bea99","datavalue":{"value":{"entity-type":"item","numeric-id":4551132,"id":"Q4551132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc51e25de85665a80686680fe60d1b352c246a0","datavalue":{"value":{"amount":"+0.8873107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q816203$772792B0-FABD-416F-BB7E-E468A015501C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking timed B\u00fcchi automata emptiness efficiently","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Checking_timed_B%C3%BCchi_automata_emptiness_efficiently"}}}}}