{"entities":{"Q3224953":{"pageid":3235661,"ns":120,"title":"Item:Q3224953","lastrevid":51433163,"modified":"2026-01-18T05:27:01Z","type":"item","id":"Q3224953","labels":{"en":{"language":"en","value":"Partially ordered two-way B\u00fcchi automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013988"}},"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":"Q3224953$3D8759FC-353F-4A58-BC1E-D780E34033CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a3b6e4cfcc437e25fcb693fd56ab32733d1ff0f","datavalue":{"value":{"text":"PARTIALLY ORDERED TWO-WAY B\u00dcCHI AUTOMATA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3224953$CD39988A-0A9E-4B6A-9770-E585401AF592","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6476bbe188386b68c49c79860078abcc808dccae","datavalue":{"value":"1251.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224953$E4B18869-A12A-4BF9-A74B-50B1F978E9BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e93d6d959845bb4483e0d312a70f9515c6764eab","datavalue":{"value":"10.1142/S0129054111009082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224953$18243F55-56F6-49B3-BD57-9F24ED75B96E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee0de4af1b7c20aa534acd2585628b6cd288f3b0","datavalue":{"value":{"entity-type":"item","numeric-id":263827,"id":"Q263827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224953$6CEDABEC-40FB-49B8-95B4-CE2FFB20193F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2954809ea06b7f78fbff3c169a06bc6c6991bd87","datavalue":{"value":{"entity-type":"item","numeric-id":2411036,"id":"Q2411036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224953$EEB93171-7322-410D-AF09-519384CB732C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224953$13319D76-3F4B-41D3-BCF7-1227BAD4DBD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d208db1103a8eff5ee81c748238cac793871fb","datavalue":{"value":{"time":"+2012-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3224953$6AE643D0-19F3-45CC-B2C5-829C82CC752F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224953$19B0F063-68EF-4453-BF07-CCAE5E805453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224953$C827089C-AD36-4D69-A8E6-D47A4E7EA07A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"718b90c8ecb132352bf64f8dbe9ab10cfea60e55","datavalue":{"value":"6013988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224953$A7FB3A10-9100-4396-A5F7-4466F407F5AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bf40d767c64624931b686e81b905c7b43bef72","datavalue":{"value":"infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224953$11FDBC99-EAEA-43BE-99A8-ECCC07A50366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7693926114ab09e8bdbb6daaed12422366539c9d","datavalue":{"value":"two-way B\u00fcchi automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224953$4FDF5ECF-04A7-4C2F-A349-6042753BAE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224953$6CC660ED-5263-4524-A438-68B3E854ED9F","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":"Q3224953$63D5D65B-1AF2-4E9D-B17E-6EE9F583E22D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f36e99be0ec9dd960fd40b5711e9490c8dd97e","datavalue":{"value":{"entity-type":"item","numeric-id":537914,"id":"Q537914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224953$3040E466-F8E9-406B-BF22-7EC1A8CD1811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e625e590e821d064e4c91e35787497f8cee65352","datavalue":{"value":{"entity-type":"item","numeric-id":1061503,"id":"Q1061503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224953$BB53DD79-AB9C-4E79-BE6B-5CBCE4A0B15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a816d15f1a3851350199122015284909d8230ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1361889,"id":"Q1361889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224953$AC28118A-D3D5-4BFD-A0DB-30A5A5BBFDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224953$5A80A4CE-6948-44AB-8752-B006A02095B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee6d83667516f08e057d913a2b054f4d07e596f","datavalue":{"value":{"entity-type":"item","numeric-id":1173413,"id":"Q1173413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224953$76ECB1F9-8473-4F8B-94A6-12B89EB11AE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c0613ba1ea1a53528e2b9400508f6e377655f56","datavalue":{"value":"https://doi.org/10.1142/s0129054111009082","type":"string"},"datatype":"url"},"type":"statement","id":"Q3224953$C543B112-7061-475B-ABD0-5BE9BF91D681","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf0c36c90ce85568b5a0aec009a6606c6added78","datavalue":{"value":"W2568259530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224953$4F1A7DE9-4425-465D-8514-3DE5FDFC04E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec148b53fa25f2c8742e64d2d168dbd027fec770","datavalue":{"value":{"entity-type":"item","numeric-id":3073637,"id":"Q3073637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e571d4657ef6a5e8c9a82c719db78478f753d54","datavalue":{"value":{"amount":"+0.9563255906105042","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":"Q3224953$9A74D56F-BBCE-47F8-8CCC-8ECF63B78988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331c7180e194f4d6581e0a785a860f4bda702ed7","datavalue":{"value":{"entity-type":"item","numeric-id":4737911,"id":"Q4737911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ba890e66dbcf7b24ad7a6b8d67997234504efe","datavalue":{"value":{"amount":"+0.7758985757827759","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":"Q3224953$1B3664EF-8D77-4445-A4F4-288688A74321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b6b38004bd0139adbc9ab5f6ec93a3df28717fd","datavalue":{"value":{"entity-type":"item","numeric-id":4353626,"id":"Q4353626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1734a61ac7bd4eb42c8770803a29dc715425cb4b","datavalue":{"value":{"amount":"+0.7617673873901367","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":"Q3224953$59103FFD-BE33-44CC-A0A2-71D2E9D8AC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d0c37ecfe13a18c9481a77b07f61350bfb82e17","datavalue":{"value":{"entity-type":"item","numeric-id":2762525,"id":"Q2762525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58df57191a63e514a251888750c8e4e4862ad576","datavalue":{"value":{"amount":"+0.7462687492370605","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":"Q3224953$9A3A9BA2-178F-434C-9C87-0E9610C3C39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f84bcb0d693dbe43654982b091f9e3bab877540c","datavalue":{"value":{"entity-type":"item","numeric-id":975463,"id":"Q975463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4957577b50945197dbd527f12af8fb5b3bcf1a6f","datavalue":{"value":{"amount":"+0.7406425476074219","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":"Q3224953$2BF70EF9-C3E9-4A40-BC77-40A246201175","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3224953","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3224953"}}}}}