{"entities":{"Q3317080":{"pageid":3327788,"ns":120,"title":"Item:Q3317080","lastrevid":48684241,"modified":"2026-01-05T14:47:54Z","type":"item","id":"Q3317080","labels":{"en":{"language":"en","value":"The G\u00f6del class with identity is unsolvable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3847359"}},"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":"Q3317080$76675440-156F-4920-9F23-7ACE5587DBEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b161bcf7af747a15dc9e0ac258a2a7f350bf2ae1","datavalue":{"value":{"text":"The G\u00f6del class with identity is unsolvable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3317080$147D34A6-2BAA-4AD1-8672-3AFD3CCB8C5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c102ccdc8db656b512707e320698ad56859b285","datavalue":{"value":"0534.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317080$17192526-C1C4-4E32-BFE7-2E2A9DB482B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3b4176f7f61c9802a20e5a8f0b13a90fa8f035a","datavalue":{"value":"10.1090/S0273-0979-1984-15207-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317080$0A0EBEA6-4F2D-4ED1-8576-DC47EE33943A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ed2e50fab8aad72cbb7a906da42ba85b1de079d","datavalue":{"value":{"entity-type":"item","numeric-id":559421,"id":"Q559421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3317080$0C08013A-271A-4E0A-9A8D-4E098E7C9D7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3317080$DD27786A-E37C-4042-8296-BBB03855A1B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317080$2E2A2F7B-EF8C-49B2-8DBD-D8A8D3E8249B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317080$67322BFF-5613-4DA7-A4D2-596ADBD8CEA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5a011031137a51f5c37eb9e0adce4ee73a3fe2e","datavalue":{"value":"3847359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317080$2877B347-F427-446A-B579-D390CF7B5148","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7932e0f0018cca5bef93fcb6b2cd00adfe91839","datavalue":{"value":"infinity axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317080$8C883A98-794C-42F4-8173-1C7B8D429947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8216954f133dd1d7aa81e6e9f4bf6ff9027eb1ad","datavalue":{"value":"G\u00f6del Class with Identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317080$2F2C203D-5757-4726-BBEF-34F0A44C3FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bd3e6f17339f09383a35d75d3c22547d7227a31","datavalue":{"value":"closed prenex first-order formulas of pure quantification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3317080$B432FA0E-6260-43FA-A485-218E47CCD245","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"29270671fb04202123037943e115305c6c5c0f41","datavalue":{"value":"Q59405635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3317080$9E7546EC-8ECD-4510-AD63-83B02F80F112","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2be7191792d3fcf5ca2d73613bdb46e7ef7e0200","datavalue":{"value":{"entity-type":"item","numeric-id":1150585,"id":"Q1150585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3317080$81C438D6-BF89-4CFB-95D0-912BDBE0A29E","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":"Q3317080$35B67B31-3E1B-4B03-8399-06EA21EF5C46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9035a3503d06ad7946ad5c060940ce1e7b476e","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3317080$F3EBB5C2-3BD5-4D23-92FC-58308F0F0D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2d3e80b41f170ac4196b6987278b1835728d7f","datavalue":{"value":{"entity-type":"item","numeric-id":4755550,"id":"Q4755550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3317080$DD389FAB-E75F-42A1-A8CB-AF2A8DC2440F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda2db14c950cfacb2d9bab387b35d1aadfc67b0","datavalue":{"value":{"entity-type":"item","numeric-id":3284606,"id":"Q3284606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3317080$C68C0C0A-01A0-4A72-9B5F-9F530C54CC57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d2bc8ff4d5ad1335bdadf2b6dc1edc0c77722d","datavalue":{"value":{"entity-type":"item","numeric-id":3695253,"id":"Q3695253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ab24451f9aea5dab6c16bce4655df28905f829","datavalue":{"value":{"amount":"+0.9203141927719116","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":"Q3317080$49191822-00B8-4174-8C0B-7D250A5DC32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7907815828d949290e26107a4a2dc56e575261e","datavalue":{"value":{"entity-type":"item","numeric-id":3695254,"id":"Q3695254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"592724d3333d802cb894cb23f7bca5d8f2d41b1b","datavalue":{"value":{"amount":"+0.7989857196807861","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":"Q3317080$155A7420-947F-4412-9FD0-147CC37DA616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f93297906719edaa04f6637b0f638656d6adbe9","datavalue":{"value":{"entity-type":"item","numeric-id":3240233,"id":"Q3240233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda3624cee0fc8107b34944962f56263a2cf3511","datavalue":{"value":{"amount":"+0.7438563704490662","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":"Q3317080$4209013D-99D1-475A-9C84-2A51C7EA4546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6896738453fc6e2b9159920afb9ffdfe4e13b7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef416ef2c3838d671a5b96a250bb8e901334921b","datavalue":{"value":{"amount":"+0.7264432907104492","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":"Q3317080$71B9E9D6-0238-4BE9-AA80-204201C402C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0de98b3b81a887308d990bc8764cad13ad6527e","datavalue":{"value":{"entity-type":"item","numeric-id":1780896,"id":"Q1780896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc12bcc79bae77dadcaa5626da04e7cdfda202a5","datavalue":{"value":{"amount":"+0.7176074385643005","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":"Q3317080$D81ACDAE-0DEB-42B2-895C-454A835ED0B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3317080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3317080"}}}}}