{"entities":{"Q2937399":{"pageid":2948119,"ns":120,"title":"Item:Q2937399","lastrevid":85095185,"modified":"2026-06-03T05:51:47Z","type":"item","id":"Q2937399","labels":{"en":{"language":"en","value":"B\u00fcchi automata optimisations formalised in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385126"}},"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":"Q2937399$71642D06-CE20-4839-985C-34BFFF019EF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef69a2741158d2809a481811c553098b0f30416e","datavalue":{"value":{"text":"B\u00fcchi Automata Optimisations Formalised in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2937399$7050532C-1AD6-4311-A10E-7E2A76628B40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43ea05d2dbc9bd817fcebf3853030d87d616c2d1","datavalue":{"value":"1304.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937399$90BFD559-E9AA-40E5-AB35-F043DE9BC364","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4eed3a3432469bf43ab7c15c8e42b5033f25065","datavalue":{"value":"10.1007/978-3-662-45824-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937399$2B1F6D59-BE06-4B19-BE04-06CEED20E410","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"651421f4bd2b227ae515d2bf0659955b98328c48","datavalue":{"value":{"entity-type":"item","numeric-id":2937398,"id":"Q2937398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937399$D3392072-63E1-4963-9EE3-868645E368D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94641c8c41609ae12c24fccaf13910d4ca73205e","datavalue":{"value":{"entity-type":"item","numeric-id":2723917,"id":"Q2723917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937399$D38123B9-0459-4E6B-BC29-054F35021DCF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937399$42632D5B-BE5D-4202-B340-005DE7A38886","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd7ba69d7066824c61c2338d47523cfe00b021ae","datavalue":{"value":{"time":"+2015-01-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":"Q2937399$6E0D27D9-162B-4206-8FA9-E2690029842C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b715bdb3762d1938c2e792f18d38ca1d5486362","datavalue":{"value":"http://oatao.univ-toulouse.fr/18943/1/schimpf_18943.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2937399$F4DC1D51-EB1B-44B1-8990-389595B12947","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937399$A7A90A50-19B1-4279-93D6-AF7F7A024CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937399$CE13D005-BE39-498E-88AC-EF5C29C16C61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b956ede38adcf20f5f665375c58ea9592ed3360a","datavalue":{"value":"6385126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937399$C88EC156-195B-459E-BEDC-965FEBE0577D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937399$CCC9CE1E-A8DA-4525-A12B-5B684A93C09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937399$3169D0DD-EBB8-4458-AB29-376BC70E63AC","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":"Q2937399$88F9612E-7BD2-40B1-8B74-B9D303F4BCE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16109184821aa036e791a7e14e6a15bc31736c1f","datavalue":{"value":"W2211039160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937399$6A9032B9-C936-4D73-9922-13C71937C8CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ca69431b13671a465cdc002511419143ecf1456","datavalue":{"value":{"entity-type":"item","numeric-id":4536600,"id":"Q4536600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2acbc422776b1c4403810cb48252679e44ffbbad","datavalue":{"value":{"amount":"+0.774994432926178","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":"Q2937399$1F13492D-2833-4767-BA0C-FA1CB021D0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aaeff978074e76c40939bbc3830663b4767d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4625701,"id":"Q4625701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a125647d53aadde1d686ac7d79186447d3a7c4","datavalue":{"value":{"amount":"+0.7723520994186401","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":"Q2937399$8CEB84B1-0EF5-4C2B-A315-F7947C6D2F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"509e761dcdde395a89b8aefab333c1d82b96c05f","datavalue":{"value":{"entity-type":"item","numeric-id":2931784,"id":"Q2931784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13ad4bae0e62f8c7b4dc8b6ee7b5f15631256990","datavalue":{"value":{"amount":"+0.7646455764770508","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":"Q2937399$9716979B-CBD1-46F0-BF03-3FD19B864144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ca7daaea0bd7ee92342db015f596d9cb934705","datavalue":{"value":{"entity-type":"item","numeric-id":6487930,"id":"Q6487930"},"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":"Q2937399$8CC1F20F-CBDB-4294-BBE8-0EFB5EE20B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27852a71dcb57134c3358ab1f2ff1fb7ac83fa04","datavalue":{"value":{"entity-type":"item","numeric-id":3183543,"id":"Q3183543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b063ddddc8b830af2a2750aca01025f4dc339bcb","datavalue":{"value":{"amount":"+0.751602053642273","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":"Q2937399$21C0AEED-1517-47DC-8A3C-D8C20E54E795","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"B\u00fcchi automata optimisations formalised in Isabelle/HOL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/B%C3%BCchi_automata_optimisations_formalised_in_Isabelle/HOL"}}}}}