{"entities":{"Q3984404":{"pageid":6014274,"ns":120,"title":"Item:Q3984404","lastrevid":46225957,"modified":"2025-12-24T08:44:09Z","type":"item","id":"Q3984404","labels":{"en":{"language":"en","value":"An undecidable problem in correspondence theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 26183"}},"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":"Q3984404$CA0B1240-0256-4D6D-9D14-22E7209D735B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c669e480eb7ba1af561a6c20d00fa887c9f32c73","datavalue":{"value":{"text":"An undecidable problem in correspondence theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3984404$F3C118F8-8394-4DC7-B8CA-12AEA451E5B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b7a649ef72b4767ade809998cbaa30826edb623","datavalue":{"value":"0737.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984404$3A3E47E8-94CD-46C6-8ED4-01BA953E94AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47a75491a071858b4ddbead1e81686427423afff","datavalue":{"value":"10.2307/2275473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984404$70340C6D-985A-461F-A79F-DB2F60CDBE4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed889b222252dbfedb15b33d0c3bd360c9dfd495","datavalue":{"value":{"entity-type":"item","numeric-id":1337511,"id":"Q1337511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984404$8BFE66B5-AFC4-4AC1-A8AF-A8480A2D0D6B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984404$EC6303AD-7798-479F-98C0-BF1F48005D9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-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":"Q3984404$E5925CB1-3049-4463-8A31-A7BA49FF9B6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984404$777E479A-EF1E-4108-B7B9-836657948604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984404$F0D8DC91-5AD0-4DAE-A2C6-E72FC5544888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984404$8639AC94-AD18-43B4-A91B-D0A71524E676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984404$4927A239-80C6-4ECB-BFDF-5912602218DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c49342bb1877d2a77dcc59d43ba1d14a83cf97f1","datavalue":{"value":"26183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984404$A5EB516F-95CC-44A7-930B-1FC1FC5B922A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b007f45fca6a7aa86155e6ff7061e00f55543de","datavalue":{"value":"undecidability of first-order definability of propositional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984404$7674AC04-C6E1-4630-A93E-D1E47F8EB030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec28c99ab40ae54ee48eead62831ad9cface0538","datavalue":{"value":"intuitionistic formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984404$92B279A4-EEB6-4DF5-A225-EA70D5E67B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d9187d08cd9a438f729b9dbee6b7d92d3c7e5c","datavalue":{"value":"correspondence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984404$18DAD0F4-3090-4E95-9D4F-2FEB47F0E273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31eae7b4103c2d8f09de63a339b891ce1e0e4e9e","datavalue":{"value":"Minsky machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984404$E3773B8C-70C8-46B3-97C3-E41178158B24","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":"Q3984404$A02E5434-4532-4021-B376-3B45711A8837","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76942c446a05823d7748a7157ad594871d41b7d6","datavalue":{"value":"https://doi.org/10.2307/2275473","type":"string"},"datatype":"url"},"type":"statement","id":"Q3984404$DB02C4D8-1464-49CE-971C-B64CBBA084F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"147bf62fde23bf56916c17476602e01a737c54ca","datavalue":{"value":"W2144185328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984404$E093A589-9F05-4EBB-B544-3F81022DDD62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984404$6BBF2BD9-0D6B-45CA-9CD0-889CCF11697A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984404$E798E46E-D191-400D-8CBB-10608C411A5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1335a39a203d2f829a1556081582ee45991eddfa","datavalue":{"value":{"entity-type":"item","numeric-id":3509049,"id":"Q3509049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535ecc3e8c7492a55793d8c44ee6eb73949f4cad","datavalue":{"value":{"amount":"+0.8709671497344971","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":"Q3984404$BFF6E630-DA99-4022-B6CB-40E628F29408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0452109311234cd29251b5a9b7f9c4980bf493bd","datavalue":{"value":{"entity-type":"item","numeric-id":5436708,"id":"Q5436708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8de3241f988f2a7809bbc39a754635889a834226","datavalue":{"value":{"amount":"+0.8495052456855774","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":"Q3984404$45A36B9B-2F7A-4F26-9073-7504C87562E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f520fc8bc53df5ce4ecd3af41dfec2bcb08404b","datavalue":{"value":{"entity-type":"item","numeric-id":5692444,"id":"Q5692444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c3c353938c1fe96f2e686f263dd1110359c9bc8","datavalue":{"value":{"amount":"+0.7961676716804504","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":"Q3984404$4D4CE276-4761-4C9E-87FD-FF7B36C3B09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00564346ac40c200b8164eb264a1493be2a4a5ce","datavalue":{"value":{"entity-type":"item","numeric-id":2983400,"id":"Q2983400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01390163bf1e0156f05f58614b7f8e11ca19d6f","datavalue":{"value":{"amount":"+0.7689614295959473","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":"Q3984404$DD5BA2E4-45A3-4EC4-B08C-D1E1DE49EC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e74ec88077a1d663811b993747c5ece04eec9e","datavalue":{"value":{"entity-type":"item","numeric-id":2364331,"id":"Q2364331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b4f447b767ca85713ab9f48b8e95c3d296b676c","datavalue":{"value":{"amount":"+0.7669447064399719","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":"Q3984404$CACDF3A9-7359-4006-9030-74C1F459AA8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3984404","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3984404"}}}}}