{"entities":{"Q4522760":{"pageid":6552352,"ns":120,"title":"Item:Q4522760","lastrevid":47554507,"modified":"2026-01-02T01:46:49Z","type":"item","id":"Q4522760","labels":{"en":{"language":"en","value":"Finiteness of the set of automaton Post bases with solvable completeness problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1548576"}},"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":"Q4522760$07FDD267-F3E3-457F-842F-D08FA3D5DD00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3851e3ba46c641e171b69b0e2422d852a87f7fff","datavalue":{"value":{"text":"Finiteness of the set of automaton Post bases with solvable completeness problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4522760$B80EF2EB-D6F2-45E1-95E1-8697BD95DCC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"761485e75ac6a50beebf4536718da046bda57e9d","datavalue":{"value":"0965.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522760$54CF918B-50BD-41A4-991C-90091889A983","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":"Q4522760$71F68B91-1083-417F-A8F4-E0910A3CF9A0","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":"Q4522760$766DDAD9-CA55-4BD7-8766-8922ADFED132","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e90d9727c7c0359738d181e5acebafe0bee7f66f","datavalue":{"value":{"time":"+2001-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4522760$988D58A1-A7D7-4482-83BA-A5FC959D9C0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522760$FCD58047-E579-4479-97A0-B4E660B49A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522760$85AA6C50-BB7F-42BC-BA58-09C5B44D07D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"343931d0181050c1fb679c48dd2f4aac3b40d4d6","datavalue":{"value":"1548576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522760$578CAB0B-1158-4B50-98B2-052FED75C3AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4522760$7EC45686-5478-419F-A1B9-800D9332E415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9260b7459064388dded91bc0a30221300d55b895","datavalue":{"value":"Post class","type":"string"},"datatype":"string"},"type":"statement","id":"Q4522760$88C9561F-8881-4F7E-BF7E-385D2CAB4923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a50b6940123465d277de950b65f20ccde2712c29","datavalue":{"value":"automaton functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4522760$C7CF7A7C-0BA6-46E0-B4FB-A384EE6EB934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7954c32f1ef086036bcef5f545c6ef9175a48574","datavalue":{"value":"completeness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4522760$3C29F122-FAC9-4C26-89FC-810BF5FB5919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc64b3d6f97e4890e1691cc7600f9513aef2456","datavalue":{"value":"\\(A\\)-completeness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4522760$D241C033-7416-490A-9161-DE1A72F26E12","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":"Q4522760$D2C72471-E21C-4BEB-B9C8-2F1E530C10DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccb8169295a8fca4fddf59c517d754a868bad15e","datavalue":{"value":"https://doi.org/10.1515/dma.1998.8.5.475","type":"string"},"datatype":"url"},"type":"statement","id":"Q4522760$4C309739-C6C1-4A95-8520-4183ADD79549","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07239d413e18e6223139036a664e643a54619ed2","datavalue":{"value":"W1983008898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522760$36D71A67-B571-47F7-A109-00BC82FC6145","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6f115449068dc4e6d2a4b2577c149d7e707b2c6","datavalue":{"value":"10.1515/DMA.1998.8.5.475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4522760$FF84AC34-7C07-4A84-863B-28782A493C92","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":"9940be59a4c71b0dc05eb6a25f7208b574702cb8","datavalue":{"value":{"amount":"+0.9199204444885254","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":"Q4522760$4EC22850-DF7E-4B28-9AA5-FE95A639A5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e585dfcf7d2f5e183373787985aa4093c3eb1288","datavalue":{"value":{"entity-type":"item","numeric-id":2319977,"id":"Q2319977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8246014ec2b8e4f9d583b7070e615dd9753e1f4","datavalue":{"value":{"amount":"+0.8798091411590576","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":"Q4522760$75376844-A4A1-4F84-BE72-C70F9060D5BC","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":"8db9134681d46305c8cbf6c4a2150dd97a294832","datavalue":{"value":{"amount":"+0.8769060373306274","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":"Q4522760$4FD9FE00-D1C2-4EAC-B4FF-5D6800EFBF44","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":"e38559c4d5f343da6d61c1c0ceae0285c6425365","datavalue":{"value":{"amount":"+0.8765709400177002","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":"Q4522760$95A283CB-C77E-4E0A-AA68-DA26E456351A","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":"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":"Q4522760$ABF71517-0703-4BF8-94CF-C24C19517796","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4522760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4522760"}}}}}