{"entities":{"Q4913776":{"pageid":6943355,"ns":120,"title":"Item:Q4913776","lastrevid":51687827,"modified":"2026-01-19T11:57:26Z","type":"item","id":"Q4913776","labels":{"en":{"language":"en","value":"Unifying B\u00fcchi complementation constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6152243"}},"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":"Q4913776$938F37F6-988D-4BF9-B019-73B5157F4330","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"362233c077abf7dd6aa2a2ce07fc6743f078f8ae","datavalue":{"value":{"text":"Unifying B\\\"uchi Complementation Constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4913776$343D78DC-F20A-4541-99CA-58E7D1BCEADC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfc076c2afbd9d28246223f5033653e192fe0a6e","datavalue":{"value":"1274.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913776$CB02CB1E-D0F3-4F9E-A939-09089B8E09DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a8b687780e2c0f5efd5df7d3cd26f0bbce61856","datavalue":{"value":"10.2168/LMCS-9(1:13)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913776$830419FC-9DF1-40AB-9C0B-FE85314BF759","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad9b262b0ae8ff0257dddfe1046ace092645311","datavalue":{"value":{"entity-type":"item","numeric-id":897652,"id":"Q897652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913776$A05A9DCB-80DF-4D76-8EC3-BE267CFCB086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913776$9DE5D40B-BA3F-4A60-BCC5-1DB27393392F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26eaa7a3159ba545420366ef8b151ea4c3766e0","datavalue":{"value":{"entity-type":"item","numeric-id":208756,"id":"Q208756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913776$E65B29B2-DDE1-4BB0-A7B4-A3C00BAB0B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913776$7ADEFA73-EE1E-425C-A167-E79E58F1D699","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913776$2D5C6C8B-EB6B-413C-AA13-055A2EB1210B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d05c5960e17df88a20f497dd893bcc369c3eaa","datavalue":{"value":{"time":"+2013-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4913776$14538BC1-B8D3-41FE-B0B8-0287AB29682D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913776$F1EBFE6D-7301-4929-A86E-0E81BB5960D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913776$6EF6BFE6-4D55-4015-A3B1-04A3ECC6CFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913776$EA6C9787-6F88-48BC-AF25-DAD0EF1FEE77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7613042d2f43c469f8ada00c228dbbe97435938b","datavalue":{"value":"6152243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913776$9402EB6F-9E4F-423A-9444-9874F888354C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913776$84CA4E70-2D90-4566-AAC7-9D60D72D1EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd34056fcf8d68ebadadee7520d398e23dd4b28b","datavalue":{"value":"omega automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913776$BB718AB1-4882-4A09-BF0A-49184E21BB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913776$F33B7BBA-3C83-41A9-A45A-BA0BA09DC32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bd2b411df4ec5da5d4932208cc92c897b0a58e1","datavalue":{"value":"complementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913776$2F031883-3FBC-4482-A74C-A5D23FD0A635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913776$D8A72C56-C770-4BBD-ADC6-DC5CA3C952F8","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":"Q4913776$D9478A8C-4B59-4F0B-9EE0-285F61C2F833","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5860a97777e807ba15e0e93df18e5112298dc38e","datavalue":{"value":"https://doi.org/10.2168/lmcs-9(1:13)2013","type":"string"},"datatype":"url"},"type":"statement","id":"Q4913776$D285A4C9-CDC7-4594-83FB-2C7066127E64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9306215e1442a0f43d1972bf79dcb78830985373","datavalue":{"value":"W2763823660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913776$B76588E8-14F1-4807-A619-4D73FA2595EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c462af7950e9305f76e2cbaeb6aa14fd71207076","datavalue":{"value":{"entity-type":"item","numeric-id":2915686,"id":"Q2915686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a274814a64b917d8cf17f4a4063915a4be5dee","datavalue":{"value":{"amount":"+0.9978518486022948","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":"Q4913776$083EEFF5-505A-4716-9F82-57A81572DF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca666617918dd14db8e13b0136f8b475cfa8bc64","datavalue":{"value":{"entity-type":"item","numeric-id":3648701,"id":"Q3648701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2edc2f635b0e4f18c4fae54d2c685f8f8b6fe2f","datavalue":{"value":{"amount":"+0.8562763929367065","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":"Q4913776$A695ACCD-CF35-4824-87D7-FFCEFE4B73C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dfe44b96583ab3cef3d7edad3a7967f34bccc1f","datavalue":{"value":{"entity-type":"item","numeric-id":2938766,"id":"Q2938766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4c115b1d2570ad7389214a596167045f03aab29","datavalue":{"value":{"amount":"+0.8497990965843201","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":"Q4913776$9FA39AFC-49D5-4DD8-91B4-3966CBA75ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f027a9213039aab0327bc7f3b2a330d74d0bbac1","datavalue":{"value":{"entity-type":"item","numeric-id":3073645,"id":"Q3073645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71dddf57001bb9112bf86d281487e86e438a2fb0","datavalue":{"value":{"amount":"+0.8401812314987183","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":"Q4913776$697792E1-C2B8-4E4A-84F5-F5AAB52A0B57","rank":"normal"},{"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":"63e7ca1ba53f9f0be0a5949e91cb359e5ed2e3e6","datavalue":{"value":{"amount":"+0.8234685659408569","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":"Q4913776$360D5625-5F1D-428D-BCDF-CB4695DBE2CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4913776","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4913776"}}}}}