{"entities":{"Q5111438":{"pageid":7141012,"ns":120,"title":"Item:Q5111438","lastrevid":100276526,"modified":"2026-06-05T21:45:04Z","type":"item","id":"Q5111438","labels":{"en":{"language":"en","value":"Emptiness of zero automata is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204558"}},"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":"Q5111438$2D624558-1CCD-46A7-B4F8-C2AB1A264110","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13f4f0cc29008d1d5814904aaed028aafa30e707","datavalue":{"value":"1442.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111438$02D41C04-EEE0-49BE-AC72-85D11CFC66D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5b3c3247f723a8dd053286a58f85570c0f08c2","datavalue":{"value":{"entity-type":"item","numeric-id":290907,"id":"Q290907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111438$E564A776-9937-47FC-ADA8-8872577FCF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa56517fb09a9f3548e30af9b0933225274b9538","datavalue":{"value":{"entity-type":"item","numeric-id":259584,"id":"Q259584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111438$96C0681A-04BC-4283-8014-82481ED8C09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f406cdd9c58c8bc4d0426cf18b76c9626a907936","datavalue":{"value":{"entity-type":"item","numeric-id":2399251,"id":"Q2399251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111438$75528773-4108-4CB2-95F7-0F6719CF2087","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111438$C0D21AC4-5090-48F6-B725-3727FDD89E27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb7ca498f353066c9497f22f129345b93d148a90","datavalue":{"value":"https://arxiv.org/abs/1702.06858","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111438$0004F151-B689-42C1-9BC4-F39B2AE6087A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111438$C12BB28A-49EB-4346-8B82-574B8134637A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111438$951EA08A-2A06-418D-922A-EDB6A5F3BC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111438$6A636773-730F-4303-BF8A-C7B74581EC05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d563a98eafd4229b12dfde75d24e7587267f7729","datavalue":{"value":"7204558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111438$E71B6FEF-4A4D-481B-8560-A6BC0D2AC8E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111438$BF74D71A-EA38-4CA5-AC1B-236FAF1A345F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111438$0559824F-36D7-4218-B93D-DEAA38B1B5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111438$DBDA15B0-6C46-4BFA-B291-CD1AB288A5E4","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":"Q5111438$B19F4FDD-D0C5-481D-97FA-D4F20080DA70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"555201ad42dd6e87fae9f8d05e2f5effe9bb41d9","datavalue":{"value":"10.4230/LIPICS.ICALP.2017.106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111438$BFED4879-8F8C-41A7-B5EB-587720271AAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f416d20c69b3f86bf37a507d6f30a51e34052efd","datavalue":{"value":{"entity-type":"item","numeric-id":5216326,"id":"Q5216326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c536b40c630f1dd26927051b8568d810ad5a8d4a","datavalue":{"value":{"amount":"+0.837238609790802","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":"Q5111438$13307E1A-B4B1-4AC6-934A-D0A4CCF960FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cfe58425e01a72946b5980525b1209429d70850","datavalue":{"value":{"entity-type":"item","numeric-id":5009427,"id":"Q5009427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db31f721be0448134e64ae183cb53e657e4d7526","datavalue":{"value":{"amount":"+0.812009334564209","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":"Q5111438$6CA563D1-ECAA-498A-AEF8-036202F1C10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d80945bd7cc9f6d880502bb7fea1b364d2d656de","datavalue":{"value":{"entity-type":"item","numeric-id":2662671,"id":"Q2662671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc942fbe2507220fb3ef7c31fc9881e4714bfe1b","datavalue":{"value":{"amount":"+0.7730339765548706","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":"Q5111438$B4FFE6E6-420B-4DCD-9F41-9394456A2A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d39b75f2b8f92843520046e23b416eeeb1a39e48","datavalue":{"value":{"entity-type":"item","numeric-id":3587465,"id":"Q3587465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f84382a27cf5224f7a407b7e62bb00a55b085b","datavalue":{"value":{"amount":"+0.7563134431838989","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":"Q5111438$424BBA97-1505-434B-900E-1FF151BC03B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b4eb1e785e43e28b4c0b1a6991bd69c9366097","datavalue":{"value":{"entity-type":"item","numeric-id":1333263,"id":"Q1333263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"489e6ac1a40745fc0aa4c4900bbc2b94486c0eae","datavalue":{"value":{"amount":"+0.7539517283439636","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":"Q5111438$0EACE5A7-814A-418D-9DD2-89F57DEDF061","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Emptiness of zero automata is decidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Emptiness_of_zero_automata_is_decidable"}}}}}