{"entities":{"Q4786272":{"pageid":6815852,"ns":120,"title":"Item:Q4786272","lastrevid":74683170,"modified":"2026-04-14T23:53:46Z","type":"item","id":"Q4786272","labels":{"en":{"language":"en","value":"THE TYPE SET OF A VARIETY IS NOT COMPUTABLE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1845119"}},"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":"Q4786272$4F383D6D-56D0-41AE-85BD-AB7D99524918","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffc0f98f4b093c9b5f97875c4cb2be2907b48a03","datavalue":{"value":{"text":"THE TYPE SET OF A VARIETY IS NOT COMPUTABLE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4786272$85F173C3-8C21-4711-B9F7-683E6A495068","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b5afa278897bb1e578d31e04ebd5ba7e250670a","datavalue":{"value":"1024.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786272$D1D8BCE5-2435-4935-B358-38FA4C497544","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8eda20deb7bf050d7b9b254c95cd86d4c31ba54","datavalue":{"value":"10.1142/S0218196701000504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786272$C8C9E52F-5424-48C1-AA33-3E529B818C37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20017067c31a46e9902d76352f9cf4b16770f2b3","datavalue":{"value":{"entity-type":"item","numeric-id":185681,"id":"Q185681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786272$45269804-77F4-49A4-837D-F814E32A4A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a857e3ec6e3d717bee9ec70a4034c3b127cfb85","datavalue":{"value":{"entity-type":"item","numeric-id":1849729,"id":"Q1849729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786272$E4CE3A7C-5C25-4B4B-A37E-AE55818B0638","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7f4e75461d95037e69d585d3faf5530e0368f039","datavalue":{"value":{"entity-type":"item","numeric-id":2703070,"id":"Q2703070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786272$4E4C7DE6-718A-453F-A277-1EA590F56923","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32daaf1d1d23d14c238646cd1461a574f35b82a","datavalue":{"value":{"time":"+2002-12-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":"Q4786272$F4082073-76EE-48FE-BE7C-DB36ED55FFC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786272$E9B4A21F-C1DF-42B6-BC37-551082A3D53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786272$13DE587A-AE3E-43B2-A674-3903AD1982DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2227d43852f321eb3a00f221069546cc7087efe9","datavalue":{"value":"1845119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786272$D7D348D3-1228-44BA-BF9C-5029DE098614","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5876c0104ab3a3f0a30993b375eb30c8538ed2a","datavalue":{"value":"tame congruence theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4786272$FCFF62B4-7B7C-41B5-A851-39E44FC35EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c27ac345bd203f288abcd7ee1c0461c2be6d70","datavalue":{"value":"type set of a variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4786272$9AA63714-4640-4E81-B2D8-DA93ECACD23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1a2d55f5049718b9979bbf3ee6089a2ecc6233","datavalue":{"value":"undecidable problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4786272$3EA1E836-E911-46DE-BC33-00499646C848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4786272$130F4C66-75B7-4FAE-BFD5-0F85B0897BD6","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":"Q4786272$8EAB5CEE-01E0-4EDD-965B-EF497F7C2D6C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db16aa88a911dfa940d5769247d8777291dfa3ed","datavalue":{"value":{"entity-type":"item","numeric-id":1312169,"id":"Q1312169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786272$438AE7E5-B719-4969-9AED-5C6E949F0590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e36d4d95f4e72898adb98ac7b3be2af6c69c52aa","datavalue":{"value":{"entity-type":"item","numeric-id":1210548,"id":"Q1210548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786272$F6D9269E-A60C-4469-824C-79BD7785C79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a792103bbea0f0e5e4f071c4bf6ffec648cf9ad","datavalue":{"value":{"entity-type":"item","numeric-id":4024641,"id":"Q4024641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786272$D80A0EEC-7195-4D3A-9921-A442D2B43807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e66f6172804d43aff97e2f3fe6555972b612f32","datavalue":{"value":{"entity-type":"item","numeric-id":4335567,"id":"Q4335567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786272$93F2176A-9229-4326-BACB-217EC25A9F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3701f59903dd13535f153cda7d9aa9c8742e0c37","datavalue":{"value":{"entity-type":"item","numeric-id":4882917,"id":"Q4882917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786272$77C4B367-8B26-4895-A807-962C3D7EC512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c755764bf3c2cc56120dfd8ff75320667270af68","datavalue":{"value":{"entity-type":"item","numeric-id":4882918,"id":"Q4882918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786272$712B4997-D314-447E-99B4-8922847085CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4708033ebff960d4013a675d983e5c0cba9b5e92","datavalue":{"value":{"entity-type":"item","numeric-id":1922124,"id":"Q1922124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786272$2DAE8DDB-0DC1-4287-A520-F5B3395D202B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2242ec25497e084af7efac4d84928469e6dcf15d","datavalue":{"value":{"entity-type":"item","numeric-id":4337957,"id":"Q4337957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786272$63C49922-32A1-457F-8757-C44E1A0FB86C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e03817a86047758545a98e54f4e5a3fab0a82437","datavalue":{"value":"https://doi.org/10.1142/s0218196701000504","type":"string"},"datatype":"url"},"type":"statement","id":"Q4786272$3EED722A-ED38-4720-91C5-7FDC03856D15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80475558ffcc2a297eac7a03b428c56bf156e85f","datavalue":{"value":"W2005032685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786272$3680109C-70D0-4950-A47A-491B82CB2EB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d49c16ecee6d588dcb45467131a1d0ce8759ed7","datavalue":{"value":{"entity-type":"item","numeric-id":4882917,"id":"Q4882917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5e41d62a41a79f1ac5f97b90e30c974a308f1a3","datavalue":{"value":{"amount":"+0.7725227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786272$B5525EA1-934F-4CB0-8682-82571ECC929B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e8631bbec366189f24a3e4043251b70ee9bad6","datavalue":{"value":{"entity-type":"item","numeric-id":4024641,"id":"Q4024641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f90784a073bd61b2d326fd3502210d3ab8e1cf8","datavalue":{"value":{"amount":"+0.7632827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786272$EC68DD48-ED4B-4287-8E5E-D20726B9B328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acf0019412994b5fea5ecc444cfd698aae8bc595","datavalue":{"value":{"entity-type":"item","numeric-id":1312169,"id":"Q1312169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2009e62a5c12649dd3bab3265ab741c0184ee08e","datavalue":{"value":{"amount":"+0.75939655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786272$F01A4285-DAC4-4D31-BAFF-05AA9B490D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46d6c929cd286bf3a4f7130c8e0ba79729a87aed","datavalue":{"value":{"entity-type":"item","numeric-id":1175755,"id":"Q1175755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fdf7393a540d769d7307f52be38ecc7eb3ab15a","datavalue":{"value":{"amount":"+0.7395767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786272$68CE2D9F-DCF4-4E21-ADC8-6992F9CDAA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec3db27d365956a549ef0f7a2b8f127fa9e482c4","datavalue":{"value":{"entity-type":"item","numeric-id":3737479,"id":"Q3737479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a88fa7e0f0aa08695437f4c59a9dfbe1048eec53","datavalue":{"value":{"amount":"+0.72957575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786272$B46E64AE-B081-4379-8717-577F28597071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7579756a29f1a88ee754ea4159f99e64d5ef1fb","datavalue":{"value":{"entity-type":"item","numeric-id":2947434,"id":"Q2947434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5471327e0ea4408358a0d404882079288d12a347","datavalue":{"value":{"amount":"+0.7226647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786272$30A42E8F-33B6-4811-988F-BE1C2E97C879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ffd4cc4448718a36e4699e49cbb1db8c76a4f7e","datavalue":{"value":{"entity-type":"item","numeric-id":4355929,"id":"Q4355929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9359f8ef84de50ed166f2ee646ef6e1025c9ffb1","datavalue":{"value":{"amount":"+0.7219044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786272$86713773-A86B-402C-84B9-81EB28D41267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef3e7dae0a87cb21206c0bc6dc684c5781e52a2e","datavalue":{"value":{"entity-type":"item","numeric-id":4355922,"id":"Q4355922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70d324f34582f8903688ffba249f5b3aedaee4d3","datavalue":{"value":{"amount":"+0.71922827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786272$3F3FC6B7-0787-4401-B391-1C466FDB7B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee7916e94a9ff6886cd5d883827bad8d1b3fad5f","datavalue":{"value":{"entity-type":"item","numeric-id":1918965,"id":"Q1918965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"598dce40454f956afa75969c349b251e111e28d8","datavalue":{"value":{"amount":"+0.7172831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786272$6A8D6678-1342-4DF3-8660-4D11156A9CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"731377b50393c85f29ed538fdf1c29545c794a52","datavalue":{"value":{"entity-type":"item","numeric-id":1193496,"id":"Q1193496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"675768986fef0b17811a453771f9d29e4f754d70","datavalue":{"value":{"amount":"+0.71538913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4786272$B17B7152-A5FF-4637-B79D-F2887829D8FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"THE TYPE SET OF A VARIETY IS NOT COMPUTABLE","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/THE_TYPE_SET_OF_A_VARIETY_IS_NOT_COMPUTABLE"}}}}}