{"entities":{"Q4295242":{"pageid":6324843,"ns":120,"title":"Item:Q4295242","lastrevid":89319380,"modified":"2026-06-04T16:58:12Z","type":"item","id":"Q4295242","labels":{"en":{"language":"en","value":"THE AMBIGUOUS TYPE THEORY IS HEREDITARILY UNDECIDABLE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 584641"}},"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":"Q4295242$445C6DB7-803F-4F47-AD35-D0D71DCE6E80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3855c19b6ef1635392f32d0b5e4cd911f9ef918","datavalue":{"value":{"text":"THE AMBIGUOUS TYPE THEORY IS HEREDITARILY UNDECIDABLE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4295242$2DEAA4EB-8F98-4467-B93A-F72EB2449385","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"113662412dd9f92030d73f087e0d0429979a66a9","datavalue":{"value":"0793.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295242$818ECD62-E451-487D-A565-C075939F86FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cfb71f034ea0403cf52e1d52d439974034c21f6","datavalue":{"value":{"entity-type":"item","numeric-id":1069921,"id":"Q1069921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4295242$87B195AB-FDAC-47A3-919F-FB4B31781AC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4295242$46C3D9F6-2217-40ED-AD51-AB2480B0348A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61c1795d228ab22211b26a23695343076442e1f3","datavalue":{"value":{"time":"+1994-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4295242$023035EA-5545-4D87-8977-9E916B7D8997","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295242$290F5295-F332-49D0-8C17-5CADFB0E993C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295242$00B75104-6089-435F-B09F-825F4B0E348B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295242$49F9B9E9-F46C-4E4C-B5A2-E52E264BF8B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"097b005fce0084fa0f2b4522655c8a692a3713be","datavalue":{"value":"584641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295242$D7581301-DAEC-47BB-B2C2-8B11A591760F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45b884f6a9660a462be94c1eeec0b6ad3270d953","datavalue":{"value":"recursively undecidable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295242$3EE90CA8-35A1-4FD6-844D-AA81BE4BCB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a621f8c635b797d3c1367b71aa2695aaac1abad5","datavalue":{"value":"ambiguous type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295242$265398A3-4CAE-420D-828A-DA1CF1F900A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d76589d751a314182f4bfee8861f4e2b5bd6cf1f","datavalue":{"value":"hereditarily undecidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295242$AC08F61D-A325-4C79-9831-7E8F4098ED95","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":"Q4295242$D6145717-9B45-4C7A-AE3A-F36A0F406C20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5753b8eec9bbfe1e253fa9506f92ec2757ec5e31","datavalue":{"value":"https://doi.org/10.1002/malq.19920380126","type":"string"},"datatype":"url"},"type":"statement","id":"Q4295242$D42789DC-71FA-450E-977D-7656232A7491","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e747eede4e8c60823250e1fabf20b115ecc83e3f","datavalue":{"value":"W2022841776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295242$130DBE72-2809-4811-B6C1-1A303D87A510","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb6882f1e2e6131220740250a6f0d46693c16dec","datavalue":{"value":"10.1002/MALQ.19920380126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295242$0D3F767A-70D8-4472-B18B-310F894AE478","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2864f526e769696f5d1bdeea21f6747b8432192","datavalue":{"value":{"entity-type":"item","numeric-id":3813789,"id":"Q3813789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e51ed2524ea11b15a371c6d915253b300961fe5","datavalue":{"value":{"amount":"+0.7752012014389038","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":"Q4295242$0DFB5062-D65E-4B60-844C-7B32F01BD7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75da2f6cd90c32ea3c71858957bc11d7bb7437a1","datavalue":{"value":{"entity-type":"item","numeric-id":3778016,"id":"Q3778016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede55a224bb82680201da680a049425a866719ee","datavalue":{"value":{"amount":"+0.7311875820159912","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":"Q4295242$0353BD57-6FDE-45BE-B65E-D2C80D0EC79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc4255f9bff6d9f070b95b463add894038899d61","datavalue":{"value":{"entity-type":"item","numeric-id":3346300,"id":"Q3346300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc8c15d6df72c27e60001ec2d7793eae0100867","datavalue":{"value":{"amount":"+0.7208459377288818","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":"Q4295242$F77608DF-9874-4D74-9CF1-10AFA10A06C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bded737563bb150b9836ecc594479387f60b77f8","datavalue":{"value":{"entity-type":"item","numeric-id":4304781,"id":"Q4304781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b87dff021aefc212aafacef1708b5ca75e8b085","datavalue":{"value":{"amount":"+0.7030100226402283","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":"Q4295242$9EE488AF-853C-4881-A14A-5289DD6F36B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de5fa3d7a7f767301577c0100e87464908293e78","datavalue":{"value":{"entity-type":"item","numeric-id":3676136,"id":"Q3676136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a3cc379c8327d6f4657109aa0f8860846081a47","datavalue":{"value":{"amount":"+0.7008844614028931","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":"Q4295242$FEE10F01-3FF2-4F1E-A8C7-F2E854F057E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"THE AMBIGUOUS TYPE THEORY IS HEREDITARILY UNDECIDABLE","badges":[]}}}}}