{"entities":{"Q3585192":{"pageid":5615096,"ns":120,"title":"Item:Q3585192","lastrevid":51060503,"modified":"2026-01-16T10:58:55Z","type":"item","id":"Q3585192","labels":{"en":{"language":"en","value":"On the classification of Post automaton bases by the decidability of the \\(A\\)-completeness property for definite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773264"}},"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":"Q3585192$AADB41E4-E6C2-4973-98CC-9F48D3F9D3B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1188b0f8de268801f588908cda013f291d28ddbc","datavalue":{"value":{"text":"On the classification of Post automaton bases by the decidability of the A-completeness property for definite automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3585192$ADBC1356-088F-44ED-8E84-F73FB36C975A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6f3423d3d6fc0385e5d656d837a0557fc249376","datavalue":{"value":"1221.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585192$5BA5C314-8818-47E0-BC11-5A5D4D36F902","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77ce256528b634f7d6ecaf58de67e3fa10c0f533","datavalue":{"value":"10.1515/DMA.2010.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585192$9D499DF5-59D1-4A3A-933B-25AD4CBFDFA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"351693e9525940268c4116160b96b589f752def1","datavalue":{"value":{"entity-type":"item","numeric-id":522227,"id":"Q522227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585192$96DD53AA-10A4-41AB-971B-9255C921476D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d82c5188b0ddafa3f3991a7a06ab8754aab0c2b","datavalue":{"value":{"entity-type":"item","numeric-id":314121,"id":"Q314121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585192$5EC2D219-DD97-4EB7-B4EB-0832DB375293","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6dbecd33995f2d948db2c506d7c0f2fb946d5112","datavalue":{"value":{"time":"+2010-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3585192$8F120585-4371-44E4-AFFB-8DEE3D5897A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585192$0220308F-BB6B-42E6-87F2-E791DE5CBA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585192$BFA14F46-ADC4-4EE8-9471-0015EDA6EC53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a8eacd93ddb6f555c698506ac923d1711a7a0b3","datavalue":{"value":"5773264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585192$1C8E1145-EE39-4093-91FC-72AB888DE97E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19e419a080e1b91a0e2f0b7dc77128409d04d46d","datavalue":{"value":"definite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585192$F91D9CAF-AE64-4C59-8633-4C97E4BCAFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585192$F7F82F6E-3451-4589-A8C1-025D70689D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc64b3d6f97e4890e1691cc7600f9513aef2456","datavalue":{"value":"\\(A\\)-completeness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585192$55E3D413-106F-4FA1-9F9B-622E2DE49BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585192$6C3ACCEE-8266-4615-B488-074C3FAFC035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585192$A762776D-5910-40D7-B96F-06CA9B82B541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585192$0A3C3DAC-7F64-40C7-93D8-049EDA7B0E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e29315207484f65769b8ef161f70ce30911e214","datavalue":{"value":"Post productions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585192$05521503-EC67-4ED9-8DFA-BB6D1FB97BC9","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":"Q3585192$5107B039-C630-4584-ABAD-CD4C3619273C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97f2e507a11a8fe0a58ed411cb73d337f68688f4","datavalue":{"value":"https://doi.org/10.1515/dma.2010.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q3585192$299DAD23-65AA-4737-836C-09F552FE1D59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f126210c51c9139eecde3326fb586b6649b8c3ab","datavalue":{"value":"W1994076373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585192$BEF27E9C-55C5-4257-848C-98BCF6A2E487","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2505c3fd5c2bec5df5910d5b200a6c9841192c1","datavalue":{"value":{"entity-type":"item","numeric-id":1594479,"id":"Q1594479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ace6356b53590bdf7c62eeefd1f470b9062a98","datavalue":{"value":{"amount":"+0.9456353187561036","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":"Q3585192$B9369087-45FD-40D0-9CBB-3297BD99C4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0160316944928299895cddc3e8ac0901b0e807","datavalue":{"value":{"entity-type":"item","numeric-id":2453381,"id":"Q2453381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a4347c63e45cca6832b61478a04269a1f54062","datavalue":{"value":{"amount":"+0.874991238117218","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":"Q3585192$5E8E6FFC-DF29-4A8B-8680-F8CEFCF97A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b588895540497841a335038af24827454a187e42","datavalue":{"value":{"entity-type":"item","numeric-id":4522760,"id":"Q4522760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daececf5f4bd359c16485b3bf985e0ed23283868","datavalue":{"value":{"amount":"+0.8738283514976501","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":"Q3585192$3E4040AD-9F94-4F0C-920A-2F4BC879E9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ecd38b4738a65781eb49d32c3b30a767564241","datavalue":{"value":{"entity-type":"item","numeric-id":3125966,"id":"Q3125966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7958adffeef28c00a2a1f75eaf137cfc672193f8","datavalue":{"value":{"amount":"+0.8687635660171509","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":"Q3585192$0548FCEC-2EF5-49D4-9CCA-5B8E593645C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"661b735b3443bce71ec01341ac3366b6025bc775","datavalue":{"value":{"entity-type":"item","numeric-id":4522746,"id":"Q4522746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7958adffeef28c00a2a1f75eaf137cfc672193f8","datavalue":{"value":{"amount":"+0.8687635660171509","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":"Q3585192$746B6D77-4A59-41D4-ADB4-7ED5A2C84CD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3585192","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3585192"}}}}}