{"entities":{"Q6487930":{"pageid":14066699,"ns":120,"title":"Item:Q6487930","lastrevid":95327375,"modified":"2026-06-05T08:51:45Z","type":"item","id":"Q6487930","labels":{"en":{"language":"en","value":"Formal Verification of Executable Complementation and Equivalence Checking for B\u00fcchi Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7666480"}},"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":"Q6487930$7513AF2B-9D96-46CD-ACF8-1A67D9B2A96B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2080ce8f442fad4aef09cce510485547c86bfb04","datavalue":{"value":{"text":"Formal Verification of Executable Complementation and Equivalence Checking for B\u00fcchi Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487930$0E2E027C-401F-4B1E-A455-BA9E5AEC711F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa60bacc7791422bc78ec2f57836d438fd371407","datavalue":{"value":"1517.68226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487930$0E63B042-2535-4157-99AB-E6DC8C058D15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9af1adb4e950e1457d766da607d0dcc8a90a326","datavalue":{"value":"10.1007/978-3-030-63461-2_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487930$29A7A042-E932-4378-AAC4-6FCB2C471ACB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9208c686420f2aa6176db085d3d2a8eb090b48fb","datavalue":{"value":{"entity-type":"item","numeric-id":682348,"id":"Q682348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487930$CF992778-3080-4D27-B3B7-A3179D36CADD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9db9aab8c47e8de7d6375c30693ffa43d749cd68","datavalue":{"value":{"time":"+2023-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487930$FDE04B55-2180-4B2D-95D2-DB86A6F496CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487930$2A4FCA35-EE7C-46E1-AE6F-8C584C059DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487930$8FE2440F-C216-4023-AAE1-E3A505759543","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd7f47a0712fb75aa782cff63669b7b8d5f53902","datavalue":{"value":"7666480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487930$17967BA8-BB2C-42B2-881D-5917DEF729A5","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":"Q6487930$0182DB2A-D6BD-46E4-ACE1-563F51C3B09E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89f3f4a327a0395ccdbeb41db1d17a0ba224c396","datavalue":{"value":{"entity-type":"item","numeric-id":5390016,"id":"Q5390016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f52dfe7caf5ab71b0cc56d9e86a8d586dc67de2","datavalue":{"value":{"amount":"+0.7966354489326477","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":"Q6487930$68FC4D7A-4D37-4B23-AE6D-EFF462E3D991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce2d5ae8677f8dbaaf06f27ce6827e07f518175","datavalue":{"value":{"entity-type":"item","numeric-id":5394176,"id":"Q5394176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"738d1f1403f45ee9152be4d281054f61c6a272be","datavalue":{"value":{"amount":"+0.7814868688583374","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":"Q6487930$6C413485-A882-4803-8447-06D1160D6D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d4812e74667e830af80515962e56cb62df67645","datavalue":{"value":{"entity-type":"item","numeric-id":5484906,"id":"Q5484906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b3b7fe281383eae69d24d99dfd6c71f889b40e1","datavalue":{"value":{"amount":"+0.7788324356079102","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":"Q6487930$D60AA120-B05B-462F-8580-EE7422151922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"330e625f62b26c8b69560aa1974f69f682f12864","datavalue":{"value":{"entity-type":"item","numeric-id":4913776,"id":"Q4913776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d06846bf9a87a6e8ee268e35d05df22c294dddd","datavalue":{"value":{"amount":"+0.7784414887428284","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":"Q6487930$373B0E97-CEA7-4D12-8E98-11DCA49C3098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"186eb6400f0ada9a5c416e3ac0fa23e3e1269ad7","datavalue":{"value":{"entity-type":"item","numeric-id":2937399,"id":"Q2937399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154cded7ef113e41a751dd322ca6d56d3d20a3cc","datavalue":{"value":{"amount":"+0.7623881101608276","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":"Q6487930$CF6D9132-6AAB-4DA3-A7B0-CD38A50E941F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Verification of Executable Complementation and Equivalence Checking for B\u00fcchi Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Verification_of_Executable_Complementation_and_Equivalence_Checking_for_B%C3%BCchi_Automata"}}}}}