{"entities":{"Q4857009":{"pageid":6886589,"ns":120,"title":"Item:Q4857009","lastrevid":47374249,"modified":"2026-01-01T13:33:45Z","type":"item","id":"Q4857009","labels":{"en":{"language":"en","value":"Undecidability of the completeness and A-completeness problems for some systems of automaton functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 823663"}},"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":"Q4857009$AF43AB98-E6BF-48CB-B9BB-CBD52B3E24A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca66f3a18ac2d41ff440153e6323eb4faf987d49","datavalue":{"value":{"text":"Undecidability of the completeness and A-completeness problems for some systems of automaton functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4857009$3F8777D7-DAC6-4F3F-B4CB-18AF92E16563","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7279d6733d707dda0e769812a09ccd753b966bf7","datavalue":{"value":"0851.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857009$4EE9DD13-FEBC-4BAA-90F5-EBDC933E45AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe16532910ff36f20d23a2aa0591d0963cd60a90","datavalue":{"value":{"entity-type":"item","numeric-id":785977,"id":"Q785977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4857009$B8A316B7-DDAB-435E-9ECD-72C032628D8A","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":"Q4857009$16B9D342-6D90-4238-9A0A-703A416EAAA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"556c75146a38246bf29cd3f9c2668d597d55ab94","datavalue":{"value":{"time":"+1996-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4857009$B09C6066-4F26-445A-BC59-0A18BF4B0CEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857009$CCB1B469-F7D2-4B49-8728-CC817906217A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857009$9C990BD5-AD83-4EB0-AAE4-8296725217CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857009$B190858E-507E-474C-8371-2F1975BD7C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857009$E05AA692-D51E-48F2-AD7E-1E8397E04A1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbb5a4f0fb2c4dff87caf136eaa5afd74aa27b4a","datavalue":{"value":"823663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857009$0A06B6B6-90D3-47BA-8488-9BEED5B4F038","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c1946403e899fe726d547e4441db5de31dae80b","datavalue":{"value":"algorithmic undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857009$75736536-D08B-4023-9F1D-028EEAB4BA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc64b3d6f97e4890e1691cc7600f9513aef2456","datavalue":{"value":"\\(A\\)-completeness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857009$4367EC4A-CF04-4AD3-8D01-5A5D6345A3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584405ef748972534938c33d2ffc7cc8c0f7cede","datavalue":{"value":"automaton function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857009$34106C7F-CCB0-4937-8426-DF12054F6708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7954c32f1ef086036bcef5f545c6ef9175a48574","datavalue":{"value":"completeness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857009$1E1E1EBA-7E6F-4307-A59A-1C0564699377","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":"Q4857009$7F6DF59E-0A4B-4F55-9B70-5D58895C9AA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"494070f1f9155f0474a86985ad7e8319f8478e91","datavalue":{"value":"https://doi.org/10.1515/dma.1995.5.1.31","type":"string"},"datatype":"url"},"type":"statement","id":"Q4857009$8AC1885F-9872-44F8-BD7D-7ED92F77FA3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11a4515a4b80c416a897de10f7e6dca87af85ea4","datavalue":{"value":"W2042385098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857009$9AC0F210-790C-426D-88C8-A96C000BB905","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bde3fe8238acd359f0ed9cd8c669c0833ad90dc1","datavalue":{"value":"10.1515/DMA.1995.5.1.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857009$3EADC89B-9563-4F21-8844-1D0B8C12C465","rank":"normal"}],"P1643":[{"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":"9c56f96d8f2b7e903257a59a482a287a00e021d4","datavalue":{"value":{"amount":"+0.9333804249763488","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":"Q4857009$446D8317-2B41-4188-8769-FB411145C096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f699fce5b24c85b45352d3eb5f5bdb04772726","datavalue":{"value":{"entity-type":"item","numeric-id":3585192,"id":"Q3585192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c56f96d8f2b7e903257a59a482a287a00e021d4","datavalue":{"value":{"amount":"+0.9333804249763488","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":"Q4857009$39E66C16-1A46-4120-B670-261B35064524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4730503fc0141bfe7c20814b1449fa91ea23c8c","datavalue":{"value":{"entity-type":"item","numeric-id":656372,"id":"Q656372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1cad4132c536101313ef31180ed42161a438269","datavalue":{"value":{"amount":"+0.8743458390235901","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":"Q4857009$5038D04B-D975-4EA8-B595-796382AD0E38","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":"c4a2a91664d8a0e2bcf0b7a1fcbb3e3c839521ea","datavalue":{"value":{"amount":"+0.8725976943969727","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":"Q4857009$CF091928-F502-4A04-8936-4553BFA21E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a58571d3a6c6b3807d40fe1db28efb6ccd3ad011","datavalue":{"value":{"entity-type":"item","numeric-id":4272118,"id":"Q4272118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ad5c70c6e11f6b99b1a363750efd64798711dc","datavalue":{"value":{"amount":"+0.8718821406364441","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":"Q4857009$0D84CBD5-CC7D-4473-A52B-725F98D2FEB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4857009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4857009"}}}}}