{"entities":{"Q558443":{"pageid":560210,"ns":120,"title":"Item:Q558443","lastrevid":62791584,"modified":"2026-04-11T08:28:33Z","type":"item","id":"Q558443","labels":{"en":{"language":"en","value":"A simple proof of Parsons' theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2186752"}},"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":"Q558443$C9199B35-B686-4C1D-97DD-BE0DBFC68231","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7345aa12021aaf51889ccea0a94133be4d36b645","datavalue":{"value":{"text":"A simple proof of Parsons' theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q558443$C69A3665-646C-4379-802C-D1FB4A54EEC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbf8f4fea9fc8388b951f99b98cefb980a387d36","datavalue":{"value":"1095.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558443$98E9A857-48A0-4DA1-9BFA-4C4A4756FB4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241055fcac63c6f72df96341f7230b9bedb68e6a","datavalue":{"value":{"entity-type":"item","numeric-id":558442,"id":"Q558442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$7FD95FA2-5B54-49C5-B9FC-E492080F082F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$53CA565F-4FAC-4E80-A5AE-59F6AB618BFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d534db28ae973e6f24a412d6a3412c3450938e4e","datavalue":{"value":{"time":"+2005-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q558443$A6604502-73E7-4F7C-95A4-E8243979277A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558443$A1CE714F-4679-4E53-B85B-7F1C63385CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558443$8C76910F-C0AA-4244-8148-15D73CAFD9FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33fea97735dba70f1c636505cd8ad1228ade4871","datavalue":{"value":"2186752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558443$C4BA2623-6ECA-484E-9C52-8666428E2FFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3f7f03101279581576b5f35445bcaf375ba8bb","datavalue":{"value":"finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q558443$8CEEB33B-3D7B-428C-9ED1-2B5D135F96F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac29fe212ac0c4f3218093771cefb4e2fa0aea78","datavalue":{"value":"Hilbert's program","type":"string"},"datatype":"string"},"type":"statement","id":"Q558443$03C9F6B3-D537-44C1-8AC9-0F6235D7DE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90ea63d90345c02ab94acb217ffe530386868b8c","datavalue":{"value":"conservativeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q558443$12A62BB3-6222-435A-B494-74B4A774D158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q558443$8CD7D9D8-8336-404F-8A53-498D10B05588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b4e3322cb82908b88ae367670e0d8ee43eef88","datavalue":{"value":"fragment of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q558443$1ADF3411-5A25-4A5B-B6CD-DDEC4690D529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ddc1a7f3009210f03cfcf424475c2eb8590b659","datavalue":{"value":"provably total functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q558443$B540BA5B-9140-468C-BF1C-2E6F05E4FCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q558443$76521E02-6841-4949-A280-EE307FD9E2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b47609299fed974b8e12ada106d10fc5e4de74","datavalue":{"value":"universal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q558443$C48DAA0D-870B-4FDB-B3BC-B2F942FC1C71","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":"Q558443$B8FD6B18-9AE9-4671-96B3-41638729AFDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c0085326888d6bbc782bf08719f34a86d3fcbaf","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1107220675","type":"string"},"datatype":"url"},"type":"statement","id":"Q558443$B1A9F47B-C131-4E66-B010-FF10EEFB0965","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58982fca0c191432f797bf74d870a827a8fa9ac4","datavalue":{"value":"W2008055057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558443$9FDAE42B-7645-42A2-82F0-DCEADD92A578","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fb47999908d254e4121198a94fbfb1e4ccaffed","datavalue":{"value":{"entity-type":"item","numeric-id":1861531,"id":"Q1861531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$9D45D589-1574-4B8A-A9B3-C2B3C32E4ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$5AFB794C-204A-42D0-A311-998F5699AA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"941af0e3a82c992cf2baafbfa07e81476dcf3487","datavalue":{"value":{"entity-type":"item","numeric-id":1896999,"id":"Q1896999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$45D45868-36DD-4EB4-8C07-8B46AB6D0A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c967ae4b0fba59ac6a0c72fafaafab5e42d0c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4215631,"id":"Q4215631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$D5657B83-A9DB-4BB6-B70C-40B0E874841E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d9e7d3405754b1a8a460c7793d9bc06f3ccd2c","datavalue":{"value":{"entity-type":"item","numeric-id":5779181,"id":"Q5779181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$95225879-1ABB-4B5F-A922-D30280655F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1615e06ac3af0fc5c92e7c71d3ef31f893059aa2","datavalue":{"value":{"entity-type":"item","numeric-id":4793426,"id":"Q4793426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$2DE2EBCA-DAAC-4D4A-83A8-5CFAD224C5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec65e395f02d63a980a349374a1113006b8bf6","datavalue":{"value":{"entity-type":"item","numeric-id":3487327,"id":"Q3487327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$22A035BA-D35C-43F6-A40B-E7272EA546B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa54bc7966e1fe58dad514b61954cf9a548b0b98","datavalue":{"value":{"entity-type":"item","numeric-id":5834330,"id":"Q5834330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$A78EC523-1320-477C-902D-192A0C7198AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$25E347EB-5327-4A8F-A061-19DACC46BA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb8cca8c75cf027dbdcd4ce3d55db4b7cc03846","datavalue":{"value":{"entity-type":"item","numeric-id":5585366,"id":"Q5585366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$C160ACF5-C12A-43BA-8068-5AE9C438420A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc655957845557e913551b1da587d1754bae13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4138726,"id":"Q4138726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$CFCD9298-0CB9-4EC1-A2B8-D9474E36083D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946af148f47d52c72c2eb1ea6817d1696cd28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$A2EA61B2-0099-4FDB-9B8D-B8F1BF2C1B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76f9a44a41d968d437c996e0e1e0be731222ce0","datavalue":{"value":{"entity-type":"item","numeric-id":2557247,"id":"Q2557247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$D1CEC556-7133-4EFA-A470-E0D2FAD09A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d356ebfaf5725a6262f13de5d5313f007ee40e","datavalue":{"value":{"entity-type":"item","numeric-id":5600870,"id":"Q5600870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$7C974FB5-9522-4793-89F7-FDA7751D1D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$F87AF7C6-8815-435E-A3A0-FC68A19D2038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$2B6D6EF7-EB88-4227-B787-6C14428ACAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacb5aa102ce6c71274c34a5360472cea903ae3a","datavalue":{"value":{"entity-type":"item","numeric-id":2641297,"id":"Q2641297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$25499DEC-BB0A-4448-8BD9-009B22C82173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"134f2ad3455f970d41791f7dee3c85343a081049","datavalue":{"value":{"entity-type":"item","numeric-id":3799998,"id":"Q3799998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$A5635303-3655-4C4F-A5FE-E158B7E02FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$04D4EFD2-1A16-4B4D-96CD-2FE200BA371F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69094de10a4adace17c337f42fc95786cce9146","datavalue":{"value":{"entity-type":"item","numeric-id":1144008,"id":"Q1144008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$FF286D01-944C-4D2D-AF42-4BC8379C70C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e5eed7a82d23114d821b6ea6497f83358e16f8","datavalue":{"value":{"entity-type":"item","numeric-id":4793041,"id":"Q4793041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$B3769500-E577-45D8-B91E-DC73AC6EF1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$1ECABB96-2D6D-47F8-A5F9-C1E691F5347C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$0A70A39A-8DC4-495A-AF3C-C0C231C86DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558443$66EF0BCB-6F28-478F-905D-B03581F5F96F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5983a9e01ef4d688a65ada312e9a63360f28ff0e","datavalue":{"value":"10.1305/NDJFL/1107220675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558443$DD06A58C-F2C7-4905-8D41-D7215E3DC6AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f675df16b30f44b69fcc690e4cc0799beeaea047","datavalue":{"value":{"entity-type":"item","numeric-id":711565,"id":"Q711565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d078eee99014a3fb047c54fcb353df7dc9cfb970","datavalue":{"value":{"amount":"+0.7979810833930969","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":"Q558443$803C3251-C06E-41CF-977B-E43790637CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"758c0b78f117399875077d5348def1538213d39e","datavalue":{"value":{"entity-type":"item","numeric-id":4032873,"id":"Q4032873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60da8c546cae8481d70dbba0e7c3e1d499bd2f13","datavalue":{"value":{"amount":"+0.794145405292511","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":"Q558443$33370599-54E2-4587-A66E-F8E946580C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a8948e2977355834adc7e0ad2e8103158019f72","datavalue":{"value":{"entity-type":"item","numeric-id":4323042,"id":"Q4323042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35bbb4f682dcafcb4e656db5fbf8c537a52cb925","datavalue":{"value":{"amount":"+0.7628059387207031","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":"Q558443$5AE9AC18-798E-4EE7-B1AB-DD939BCDC992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b62945c6d8a0180fd7ebd6c1dbcd8df77ffce7d","datavalue":{"value":{"entity-type":"item","numeric-id":2453069,"id":"Q2453069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd58f81d2e8fa2697df0015b0141ba44ab6249fb","datavalue":{"value":{"amount":"+0.7602881193161011","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":"Q558443$1AEE0D1A-91BB-4378-BFCA-B7F00741F159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e36f70b84794a2c7ec4c82890ab12cd4eca76e8","datavalue":{"value":{"entity-type":"item","numeric-id":5899843,"id":"Q5899843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d083999e4c44e1a847d82c26433e5195c5f18c","datavalue":{"value":{"amount":"+0.7591426372528076","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":"Q558443$75EA4B4B-CA02-4F74-8185-ACD24502D684","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple proof of Parsons' theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_proof_of_Parsons%27_theorem"}}}}}