{"entities":{"Q5357716":{"pageid":7387290,"ns":120,"title":"Item:Q5357716","lastrevid":92191730,"modified":"2026-06-05T01:06:06Z","type":"item","id":"Q5357716","labels":{"en":{"language":"en","value":"A modular approach for B\u00fcchi determinization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774224"}},"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":"Q5357716$9E835F89-1BE1-4D56-869C-EDBE9494367E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1241963c9c5e4df63e5c47d4d674ce849e06d60","datavalue":{"value":"1374.68258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357716$7ADCE5A7-02DE-4BB0-BCFA-6E30CC470C19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ec5145617683a72c465241950a1a3fd51da99b2","datavalue":{"value":{"entity-type":"item","numeric-id":329610,"id":"Q329610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357716$033FC5B5-5738-4FF8-8448-CDD9A370767B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c6f0f051bbed6825e251d255a85e9ed74a3a350","datavalue":{"value":{"entity-type":"item","numeric-id":2848679,"id":"Q2848679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357716$6F6DF246-4912-4860-98E2-C3DB77065917","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5357716$832861D0-4F82-4E2D-8931-0237D6D6D302","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357716$E4925849-2B24-4F9F-982D-CA115C7907B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f969377fde6c3d05b3362b4d6c08a10bb76db453","datavalue":{"value":"6774224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357716$458821E1-227C-412B-9D10-A6E8C4C58C0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357716$C8C3C1A5-1675-429C-9173-506C70F6AE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357716$6C99D508-18E7-440E-A13E-5D8A3F50B640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357716$61163E4E-B7AE-4F8E-8D8C-61BB944DC8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357716$4D752DD8-D587-4420-9CC6-6B7B2D2A3A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357716$28A4528C-7CDD-417E-AE27-7979A6DE8013","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":"Q5357716$3B016A25-8347-4190-B0C5-605009DB2E9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8c86e11382c0a3859d6c9d99484040a2c09eee9","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CONCUR.2015.368","type":"string"},"datatype":"url"},"type":"statement","id":"Q5357716$1FBF54E7-AD4A-439B-B791-9A9BE9582177","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdb64f4a041989c9ff942115fba48e7e6cb1554c","datavalue":{"value":"W2284937833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357716$202A95A9-2609-4737-BCCA-DFF273010DB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bec16d75d9c66d7976385e3452f5aef9ed00f864","datavalue":{"value":{"text":"A Modular Approach for B\u00fcchi Determinization.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5357716$42C08F4D-ECEB-43D1-AC5F-98C94C0ED91E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e09aad6ad7f09e1d38398bc62f2b1fd876e5be3a","datavalue":{"value":"10.4230/LIPICS.CONCUR.2015.368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357716$11AB74E4-1237-4587-AA5A-D2EDFB50B9E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd585b1b2e5df1e5064eeb50b59f17275db54163","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e564052c5af60095c10b47bf5f455c282cb7475b","datavalue":{"value":{"amount":"+0.8083447813987732","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":"Q5357716$4B0C77A5-ADBA-4BFF-BDB1-D6BBF827E317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3017c978ea879f454a8cc8fee6ebb5ca366588c3","datavalue":{"value":{"entity-type":"item","numeric-id":4992510,"id":"Q4992510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0fd0d87026a5b4108ad612ed72886d0982e669a","datavalue":{"value":{"amount":"+0.8075805902481079","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":"Q5357716$A67C751A-5E03-4A3B-B439-8506337F7359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace26560213f4f91c20cc22506856b9aa482da80","datavalue":{"value":{"entity-type":"item","numeric-id":3617728,"id":"Q3617728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d57cea5cf4217007f53c6a6762f7d22264c11b","datavalue":{"value":{"amount":"+0.8046148419380188","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":"Q5357716$1F6CA2DA-BA90-4F6F-8301-869A52038C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bca08890b0b29422a5b045ce9665b73c21a77cc","datavalue":{"value":{"entity-type":"item","numeric-id":897653,"id":"Q897653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591493c39bc4a65f7bbf2f0b44d076e433d4fccb","datavalue":{"value":{"amount":"+0.8003726601600647","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":"Q5357716$89B7AF37-9496-43F9-AB60-FD88EBABCF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942c381afa7b827065ff879595611113ac99cd86","datavalue":{"value":{"entity-type":"item","numeric-id":989532,"id":"Q989532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0707b3a977035f31425028953fa8c0772e89f56","datavalue":{"value":{"amount":"+0.7892577648162842","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":"Q5357716$750C9752-A015-4977-B456-9F5179957655","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A modular approach for B\u00fcchi determinization","badges":[]}}}}}