{"entities":{"Q1772785":{"pageid":1783527,"ns":120,"title":"Item:Q1772785","lastrevid":68920548,"modified":"2026-04-13T03:07:13Z","type":"item","id":"Q1772785","labels":{"en":{"language":"en","value":"Automated search for G\u00f6del's proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2160252"}},"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":"Q1772785$837319E0-A550-440B-B748-86FE94916688","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"857ffd5308a03bee278e86ead9b5709176a5ef5d","datavalue":{"value":{"text":"Automated search for G\u00f6del's proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1772785$D8755DD7-1BE1-4007-95EE-73CA6EE7A1D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"846c565481993a00e2214d44b06498b197fdac48","datavalue":{"value":"1064.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772785$C345DC13-1A08-4E4C-83F5-06B528324392","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baf65bf84a9471e07b9412f58991eb0597943057","datavalue":{"value":{"entity-type":"item","numeric-id":762483,"id":"Q762483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772785$87942682-F2E4-47F5-BFCE-B4715D4BCD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43a52b2beb2df8287bee704bcdc4750b92e9c6a","datavalue":{"value":{"entity-type":"item","numeric-id":1772784,"id":"Q1772784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772785$B464049D-0D8B-4D56-8A44-A0F6FF8CFD52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772785$6630F7BC-7A29-4531-8FD8-B5C2BA00D00A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7ac129396c8451784f7291bf0c9d0937a6cf439","datavalue":{"value":{"time":"+2005-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1772785$E8420AF1-5CEE-4CE6-B324-415D7274ACB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772785$47BDDF2F-80CC-4DA8-82EC-29E6B8374EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772785$FDF3F99C-4283-49DE-8FDD-EED98C293B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772785$BF0DED13-0852-4F3A-B53E-CB0E0A3886D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1591489fa42d9f6b9e2c9960fa11eb11373f1619","datavalue":{"value":"2160252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772785$C1D889F0-C634-4E59-88A0-360114B73062","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e96e221f5cd984387b986033905c6cae7c7cb1f2","datavalue":{"value":"proof search procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772785$5336E0C9-780B-4CD2-8A9C-602F1B4F341A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a966af23592156087b1c150d4af3a65966a84a54","datavalue":{"value":"G\u00f6del's incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772785$BDC70AC8-BBC3-41E3-8072-82E440A06CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ffcc3545bd7b0f94969c35c641231860a38c51","datavalue":{"value":"heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772785$4F1A478A-D0BE-4B9F-BF64-CB4CE76FF676","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":"Q1772785$B0D68275-27EE-497A-80B7-58F97C64FC00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74e9aa58967e7968cbbf8d79bb805e7faabba996","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.10.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q1772785$BE3EDF44-A374-478B-B1E1-9E49A7E6BB1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acb1e8b3fb0b504581b5cab5fd25da005d5eb01d","datavalue":{"value":"W4205398787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772785$A0D05049-829C-44EA-9A43-F8484D51FC2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c81f7b48f172981b9a8872a545e56b8f04e1dfc8","datavalue":{"value":{"entity-type":"item","numeric-id":5894725,"id":"Q5894725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772785$D1EF1941-C37D-4D3C-A748-64E9943B4E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772785$E267D6DA-F0F6-414E-BEF6-45F63C924396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a42635e354ed5a90dff7abb6b01b6c7ff160dc","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772785$F04E1FF4-D302-4D1C-A29B-722075619F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821e3dd05d0443a56f3b6ab108f431e592ffad4d","datavalue":{"value":{"entity-type":"item","numeric-id":1373302,"id":"Q1373302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772785$0E42204C-B3B9-4CAD-A3E3-A8029CFE1C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772785$7E213534-7ACB-4CEA-982F-289B3CE444AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b37b51d088d2c45ed7c84e6aa3125a73b3fc8a69","datavalue":{"value":{"entity-type":"item","numeric-id":3663255,"id":"Q3663255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772785$82D3A491-56FD-42BC-A734-5E885A67B546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa24246dd0ab6de4ff2c189e14cec1fa9bc86d1","datavalue":{"value":{"entity-type":"item","numeric-id":4698612,"id":"Q4698612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772785$90FD3091-5A4E-4D34-A564-3123A4705273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f660261386a269c5c6d007e1774c790f4ddf72ec","datavalue":{"value":{"entity-type":"item","numeric-id":5815602,"id":"Q5815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772785$C0F3A4C2-DFEC-4D0B-B2CC-A9D84082A5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772785$6CBFF22B-3894-4D5B-B1EF-D547DAF95CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10090462c85cbbe7d5d33edaaeddcc1bdf0b3aa","datavalue":{"value":{"entity-type":"item","numeric-id":1110495,"id":"Q1110495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772785$BD498386-D366-40E2-AC4A-3FD50DCD6534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847e3dcf8d17a4bf2ebc16dc465d8fb6ca2c9cf1","datavalue":{"value":{"entity-type":"item","numeric-id":4032144,"id":"Q4032144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772785$C9CF16C9-3EF2-4D0B-8B5E-D144382B071D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f1a85252a4c0a5bb2b7a3eae3c76b6088496bd","datavalue":{"value":{"entity-type":"item","numeric-id":4296962,"id":"Q4296962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772785$6A8773F5-9934-4561-BCA2-31F28E1FDEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f74df4601303f9c84fd6fe78b2928f4cb27f544","datavalue":{"value":{"entity-type":"item","numeric-id":1577339,"id":"Q1577339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772785$5DC72A34-8FAF-491B-90AC-67AC61C0EBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc5bc94b1e23a5cf2156ab50f5121b1ef748895","datavalue":{"value":{"entity-type":"item","numeric-id":5717439,"id":"Q5717439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772785$7438DBA9-09A7-4030-84D9-835148E1E6AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abbe9f3541030ba694588c79ba0f94457398a627","datavalue":{"value":"10.1016/J.APAL.2004.10.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772785$C0C6C70B-9896-4DE3-9157-20333C5B29B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ea492ad089cebf714da2333d8f038a608cc26e","datavalue":{"value":{"entity-type":"item","numeric-id":3654817,"id":"Q3654817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772785$A7B20F99-6355-463A-896D-60D8B9FE351A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61a1fcb87b25a45cb977364794737a271e69d38","datavalue":{"value":{"entity-type":"item","numeric-id":5894725,"id":"Q5894725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e2cfba1439f0b2bd4a925a24755d93d2bf1a43","datavalue":{"value":{"amount":"+0.90785015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772785$F54DCE64-7A46-41CC-AC66-B219AD8CDE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e03c0799c06483a4ed26a0db5e891d777d2b8b0","datavalue":{"value":{"entity-type":"item","numeric-id":1110495,"id":"Q1110495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646f4ae3247e180cb6342aad0c3655119a59c5bc","datavalue":{"value":{"amount":"+0.89316297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772785$B6D3A04A-5E9B-4219-BBFE-E3D1521F4FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bedcca7522067bd4c9657d84c45f2b6bd8d3026","datavalue":{"value":{"entity-type":"item","numeric-id":1272613,"id":"Q1272613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d773a4e75fa3b6812c5b10a1d03980cd33d37c1f","datavalue":{"value":{"amount":"+0.88174886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772785$123975CC-602B-406C-B7EE-929033469278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d210128989aa66208f26e43c05800df489f4976","datavalue":{"value":{"entity-type":"item","numeric-id":5351954,"id":"Q5351954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbba9b3b0e01015d80662e6dbf8cd7616bc1ffd0","datavalue":{"value":{"amount":"+0.88144946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772785$A94084C5-602D-423A-8355-9FF7A2DA61CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e4caa40d6b432c9706cadaa3edf2f4852844fd","datavalue":{"value":{"entity-type":"item","numeric-id":4691737,"id":"Q4691737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64802871e0d400427c66d1d042c6e84e8b3140b","datavalue":{"value":{"amount":"+0.87985945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772785$83078117-A70A-475D-B0DE-2D0883B0B29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec7d7cb813add0eb3aa92120426ec356baf6a2f4","datavalue":{"value":{"entity-type":"item","numeric-id":5282959,"id":"Q5282959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"633d6b8c36a806b6f94346be89ff71eb394f3dea","datavalue":{"value":{"amount":"+0.87781096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772785$51EB17A4-88A5-44EC-9BF8-1AA00AA77E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89bb4a13862f5344d2b357b7108ff7220ee876a2","datavalue":{"value":{"entity-type":"item","numeric-id":2069871,"id":"Q2069871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0849265b581f0715c8221fe393baf9b65d60345","datavalue":{"value":{"amount":"+0.8550924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772785$4204B16B-AE3B-4FA6-8B85-005680ED1EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bd013265e1ebd93dc9c0a780dddba39d4e93d94","datavalue":{"value":{"entity-type":"item","numeric-id":1187858,"id":"Q1187858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3caf7cac78c9e81ff13f769e846f086355614f0","datavalue":{"value":{"amount":"+0.8541188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772785$664A7FB1-0612-4104-8B7B-82C811E67089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7bdb8bd55bdeddb7b2aca0d1ffe3ace97771ed","datavalue":{"value":{"entity-type":"item","numeric-id":5443571,"id":"Q5443571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"111df35b8d5ee2f2ede78de1a826a9668303b5b1","datavalue":{"value":{"amount":"+0.8531726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1772785$A743C402-C7D6-474F-9E29-2D40278FE11F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated search for G\u00f6del's proofs","badges":[]}}}}}