{"entities":{"Q5052004":{"pageid":7081581,"ns":120,"title":"Item:Q5052004","lastrevid":91140134,"modified":"2026-06-04T22:21:44Z","type":"item","id":"Q5052004","labels":{"en":{"language":"en","value":"MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7620694"}},"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":"Q5052004$061E0ECE-DC7F-43C7-8A27-4D0DA20BCD76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f29e518cbf622a558798b3568c5df8a8a94602fe","datavalue":{"value":{"text":"MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5052004$4F5A8A9E-8B51-42B1-A717-22483D6EA193","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"796c111fd27e4430cfa0e927bbe0e21aa71a1280","datavalue":{"value":{"entity-type":"item","numeric-id":190297,"id":"Q190297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052004$F31E032B-E584-44CE-B301-D2909392E277","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0574a4bff222e9fd97c080fbc50c618f266d2baa","datavalue":{"value":{"time":"+2022-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5052004$F09BF106-8BF2-46CC-B588-83095DC32FEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2abe5f55a3c337924e91bd1b7cb0e8cfe8b98c7e","datavalue":{"value":"https://arxiv.org/abs/2104.07202","type":"string"},"datatype":"url"},"type":"statement","id":"Q5052004$7F39305A-851A-42F6-912E-5AF32A2C5671","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5052004$B5BE4140-1EFC-4F18-BCB1-61497B853C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5052004$E59C74E3-E62C-43EC-9346-CF6EE38B69C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2a20abcd4361dcc855099567381b0095d217ff1","datavalue":{"value":"7620694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5052004$C91AFDCA-318A-42AD-8032-24640785E8BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5f9848057f674cfae183e8de4c147b96f2b27f","datavalue":{"value":"interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052004$53B22A4A-C558-4233-9E8A-D09E09CEE167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9196f56e5a9eebe23cc0204a565238618a04992b","datavalue":{"value":"full binary trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052004$32DB3BE3-F613-4971-B9C2-C9E75C14EC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"111dfc4059931d82d563af3dc5f9d0640f3c44df","datavalue":{"value":"Robinson arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052004$15DB9B55-4F11-4562-A994-F358DCFEAB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2edad11c5dbba4a3e19d8e8fd1ad6efb51f84bc","datavalue":{"value":"concatenation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052004$75B30843-715C-4D93-8083-4760025942F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f375d9831de7dbe7071a94820ee318a076eb222","datavalue":{"value":"strings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052004$E814CFE6-ACF9-4938-9855-D70548451999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c038b9ef3c0a4de78ed03b364129e19d3617d1c9","datavalue":{"value":"essential undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5052004$28CDA3C0-6935-4712-BCC6-02BE2BB1B223","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":"Q5052004$9D1BA2D8-3676-4854-807B-1E6598850E65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a6192a5a72a0c2eb0de8780d685324f3dbfcc29","datavalue":{"value":"W3156328138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5052004$733BE72A-664F-48C6-9587-4CDDCCF076CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e71a429949ba7359603681ad225340c40fdec3e","datavalue":{"value":{"entity-type":"item","numeric-id":4640303,"id":"Q4640303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052004$C023A06D-BDCF-4A74-A742-11B412E9C5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ad9541b8c8def325415556d8c0221beb64bf01","datavalue":{"value":{"entity-type":"item","numeric-id":5052004,"id":"Q5052004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052004$17A1260D-AA18-40FC-BA90-C71AEF374421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb418be53519f7156cd4cbb0c121065024120bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2870105,"id":"Q2870105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052004$4C0AF530-BED3-419E-B5BE-87EDBA3640F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d030a1f9007d756d27c604a17a6c4fb540e18c4b","datavalue":{"value":{"entity-type":"item","numeric-id":481870,"id":"Q481870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052004$D0E04FE7-8A8C-4859-90C5-26A7EC21DBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"172a3600c19fa5c3ab83ca17ae53f485216b80ad","datavalue":{"value":{"entity-type":"item","numeric-id":2106592,"id":"Q2106592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052004$0D34A0ED-5356-4C44-A706-8AF4C8CDA614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64f0c9b576f1824f2de905ba6f67be3b88864da","datavalue":{"value":{"entity-type":"item","numeric-id":5845416,"id":"Q5845416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052004$E868D835-839B-4AF0-98FE-BA566BD8698C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052004$E5868F8B-D19F-4894-B981-B941337BF2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d5128fb4165811554b88eff7e251961fe23395","datavalue":{"value":{"entity-type":"item","numeric-id":1038605,"id":"Q1038605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052004$66EB85E3-C6E9-46AD-AB32-E0A18DA821D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5123739a569b7c05381093a13294e7a15dab339","datavalue":{"value":{"entity-type":"item","numeric-id":3464615,"id":"Q3464615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5052004$6B6865F5-1B09-4DEF-BDF3-FFE050AC3AF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4076ac5b08a953303a44c9e567cf45b5a6f7adbd","datavalue":{"value":"10.1017/JSL.2022.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5052004$1B40A43F-7800-4BAD-8A7E-77B069C46C6D","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":"Q5052004$D6F20449-1221-41B0-81A7-CCB1E45F342E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4bacb75478883febc28e601f7c8415df2eba9c","datavalue":{"value":{"entity-type":"item","numeric-id":2106592,"id":"Q2106592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30f07afcc72392a93675102aad657ccbd8ab90e7","datavalue":{"value":{"amount":"+0.88480144739151","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":"Q5052004$1E3EBD86-ED41-48B0-AE4A-B4F7EE621119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e3ebab1e1aa0f2faa936c902160c5c2f9c303b","datavalue":{"value":{"entity-type":"item","numeric-id":2085573,"id":"Q2085573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f3646a3da1ebbc61eebd874e2a6e7c6b85db7e3","datavalue":{"value":{"amount":"+0.8092965483665466","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":"Q5052004$F3C49FE1-D86B-4EC6-9EF3-F24FC3529666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a79f7fb2b0ed8435bc3b158066e25a57975a8f3","datavalue":{"value":{"entity-type":"item","numeric-id":4640303,"id":"Q4640303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3789d77867fdc84758d269013be3d304bb47e8","datavalue":{"value":{"amount":"+0.8069719076156616","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":"Q5052004$55652868-EA51-4B58-A905-22AECC1A8087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"339c8d39cb2df812acff2cf3dbed66bc77644454","datavalue":{"value":{"entity-type":"item","numeric-id":6128781,"id":"Q6128781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df6ccb2b4d1386f7f35ef82410d85d4b0c40eaa6","datavalue":{"value":{"amount":"+0.7953596711158752","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":"Q5052004$E70EC553-0990-4D36-A7F5-62D18B231B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e4f814efd3fb101490aeb2c1f19c47bdb4a72ca","datavalue":{"value":{"entity-type":"item","numeric-id":435240,"id":"Q435240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3639868cc2e484d72e2e3edcf41420653254600","datavalue":{"value":{"amount":"+0.7845133543014526","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":"Q5052004$B263B7A8-0A9E-4CEC-B002-586D56357D8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MUTUAL_INTERPRETABILITY_OF_WEAK_ESSENTIALLY_UNDECIDABLE_THEORIES"}}}}}