{"entities":{"Q2881080":{"pageid":2891800,"ns":120,"title":"Item:Q2881080","lastrevid":83893772,"modified":"2026-05-07T13:33:03Z","type":"item","id":"Q2881080","labels":{"en":{"language":"en","value":"B\u00fcchi complementation and size-change termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021330"}},"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":"Q2881080$88D5F16C-A05C-4D57-AA4B-03D966C9C991","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c631a1ac6ecf6197d7191e16c59b629d579f7b7","datavalue":{"value":"1241.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881080$4424C7B8-6076-4FC0-BD27-9822B17B5202","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64485c93df882c04331c58a916a2b3bef29393de","datavalue":{"value":"10.2168/LMCS-8(1:13)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881080$A50C024B-67B2-43B2-8E03-058DBB281461","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":"Q2881080$EB7C1850-5026-4AC1-90E5-911C267C30E7","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":"Q2881080$CFF3A8CF-2E36-454B-9B90-68C7C1BCF5C3","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":"Q2881080$786174BD-D6FF-461E-BB3F-11CB51F331C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2881080$F67BAEF1-4DD4-4D9F-9B99-F05F5BF62199","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881080$04D8D4A9-2DFA-4A15-B379-E317AC4809FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881080$BA57ED9F-8FEF-40F5-9F14-AA2ED1176FF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81edcf899a8a477dd7354020d6cdb8ab1d2b58da","datavalue":{"value":"6021330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881080$6B42F6AC-0BEE-4E6E-B5A3-F5F5EE553FBF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f99e5f0f2dc95d6f769a0cb6b17704d6c2e1a898","datavalue":{"value":"B\u00fcchi complementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881080$1942AFB7-167F-455C-98FE-D75ECC48D98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881080$0BE14FF2-2207-4F2F-9AE1-7B46076D8786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881080$97AABC79-A67D-4A4E-911C-8A35A9E9E9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881080$86B1C4AC-AD24-4DC6-BAB6-EECD9D4DD8B2","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":"Q2881080$899AF618-1C7C-4A2D-B26E-A360A584D2C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdbf3164c58821327dbbd62ed2c9d1e06804138e","datavalue":{"value":"https://doi.org/10.2168/lmcs-8(1:13)2012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881080$98EFF6E3-A8D1-46CF-808C-9FB60C0EE8F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2ba8aa369d694ce28ac1e65764c4a91c77f2aa4","datavalue":{"value":"W2037801799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881080$92FD9007-1BEF-4E83-B99E-E030232E8ECE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ceb80a80181a4100dc1679d5898a0547b8638a46","datavalue":{"value":{"text":"B\u00fcchi complementation and size-change termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881080$D0D0CAA7-D38A-4399-A620-00552EF45F34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe24e3cc8d481b21d8200f832b9b3447ca0ffa91","datavalue":{"value":{"entity-type":"item","numeric-id":3617751,"id":"Q3617751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"715157b93c5b16377fe8a8dd1e187f0b7ea63607","datavalue":{"value":{"amount":"+0.994060754776001","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":"Q2881080$D5A3F5DE-61B6-4CEC-BF13-FA986A1857BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f7af71a178819ae7d36dd06aefc91832543ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3557078,"id":"Q3557078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"453c109235234126cb8870112010da38c7a2193c","datavalue":{"value":{"amount":"+0.8643096685409546","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":"Q2881080$D3730E3B-086D-4AF1-820A-6D005EFE84D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018ca21a5fe4c10e439969d0df798caf245564d0","datavalue":{"value":{"entity-type":"item","numeric-id":2892768,"id":"Q2892768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6d79d40db161a4bfcce312b22b539216cd22b0d","datavalue":{"value":{"amount":"+0.8265182375907898","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":"Q2881080$EFAC1C8D-47C7-4F48-BFEB-5173F2FECD03","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":"05436333c16f4c2b54800200d41b867d690726e4","datavalue":{"value":{"amount":"+0.8194965720176697","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":"Q2881080$6871BB3C-DC23-4851-8F1A-AED4E628A094","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":"e299274cb9ebbf1f5de3383d2d0041987eb3fbc9","datavalue":{"value":{"amount":"+0.8135265111923218","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":"Q2881080$89A1A2BB-61D9-441C-9BAB-AB160C916095","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"B\u00fcchi complementation and size-change termination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/B%C3%BCchi_complementation_and_size-change_termination"}}}}}