{"entities":{"Q6154872":{"pageid":13289268,"ns":120,"title":"Item:Q6154872","lastrevid":56692590,"modified":"2026-03-18T21:58:45Z","type":"item","id":"Q6154872","labels":{"en":{"language":"en","value":"Alternating automata modulo first order theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805815"}},"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":"Q6154872$8DD4BAEF-6923-45B3-9612-4587616B3F84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cb0ecdca978db3dfafbbb92be6619f62ba2d26c","datavalue":{"value":{"text":"Alternating automata modulo first order theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154872$16AE930B-D03D-4297-B3D2-F01B7ADEE8D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e632c6a618836abafea296487185217598e6f892","datavalue":{"value":"10.1007/978-3-030-25543-5_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154872$550B966E-B064-4E2A-B6D0-33C200DF8194","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154872$2B8A3CB3-76FE-44E2-9575-2C2D296B32A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9037e6990654a12401bce07064c8f39bbbec7649","datavalue":{"value":{"entity-type":"item","numeric-id":6054210,"id":"Q6054210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154872$876E0734-8846-44B1-A272-039DF4D9D91E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154872$F76B7D8E-3704-434B-BE76-8950465E06F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6154872$1B7D9314-8984-4CC5-9ACC-FC1E2C97F999","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154872$6D606F13-B067-4216-B535-6663A047E91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154872$F93C9B75-635E-4CFC-B474-6A0F22D04A96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1472ac49a9deb3789ba219bace4101eed6ade1b7","datavalue":{"value":"7805815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154872$1ACBBF75-205B-4C5C-A384-1B1AC937FB5C","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":"Q6154872$74A983B0-029A-4377-B9F9-CD94D7F96342","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc092105d94b8572030033b080298718d2b7e85","datavalue":{"value":{"entity-type":"item","numeric-id":2324226,"id":"Q2324226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5739102382deab531cf6e0d3546c07289d6e6abb","datavalue":{"value":{"amount":"+0.8221063017845154","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":"Q6154872$31301541-7A25-4E4A-8B6E-5AA7D8A37A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc0d53ab25b8b020b4441b0455047f29cf44310","datavalue":{"value":{"entity-type":"item","numeric-id":1959653,"id":"Q1959653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08c2fdae069f89047f63caca95cedc3bb8700453","datavalue":{"value":{"amount":"+0.775691568851471","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":"Q6154872$E496A2ED-E543-436D-B61C-128C51D01167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8d890d1f5b1f1f49c7b957ac03411862b636a4","datavalue":{"value":{"entity-type":"item","numeric-id":3637352,"id":"Q3637352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e991d30d58b724377c44119025d09016fc200acf","datavalue":{"value":{"amount":"+0.7754855155944824","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":"Q6154872$3D715240-E6E6-4ED1-943B-CE86AE1403BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1418e696689ff846b3d4464237df88f3ab7d4d","datavalue":{"value":{"entity-type":"item","numeric-id":2946627,"id":"Q2946627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf1ad0e6dd82ed89e4c97b604fce8edd0fc2f47f","datavalue":{"value":{"amount":"+0.7684889435768127","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":"Q6154872$385CF0FA-B6D1-4BE6-9688-B20CBEB45332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4b83a025725df70d00421fd10e6fc3cea39ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5234701,"id":"Q5234701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b39a23aba1ac18ac7dc32bf6e07bc3e543cf177","datavalue":{"value":{"amount":"+0.7513755559921265","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":"Q6154872$C4724335-B9A3-48D9-ACE2-8A7F0C69C2B6","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154872$AADB1C84-68EE-4CDA-9380-9A4166FAA5F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6154872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6154872"}}}}}