{"entities":{"Q4948521":{"pageid":6978103,"ns":120,"title":"Item:Q4948521","lastrevid":46906644,"modified":"2025-12-25T20:13:07Z","type":"item","id":"Q4948521","labels":{"en":{"language":"en","value":"On the No-Counterexample Interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1429766"}},"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":"Q4948521$0760741D-D1EB-48BB-919C-D7D51279D306","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"892c5060e93f0fb4cabaef066da95cb668b47e44","datavalue":{"value":{"text":"On the No-Counterexample Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4948521$738DC724-23E5-4050-A529-EADC1263EAD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c81c657f8bb6d8edfd082a3513f3c1b9f1ad9971","datavalue":{"value":"0960.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948521$D8AEC946-A0DB-4B3C-ACCB-BC069D8D8246","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc10cc86c1dfe882f197a58cf3865fe526944d4c","datavalue":{"value":"10.2307/2586791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948521$602F0A3B-57F5-47CF-BC06-F1A5F8FE561B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3757c450e8ea3891f056e58fdb032b2670ff909f","datavalue":{"value":{"entity-type":"item","numeric-id":175049,"id":"Q175049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948521$F19BA633-20E0-4F83-A1F4-EB759CF1C8B1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948521$971406AA-DDB7-4BEF-A012-03D07248776A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fae3664154dc61222a1003dc28228b6754c9eec5","datavalue":{"value":{"time":"+2001-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4948521$8AE45622-1F1A-4E16-9B80-54E508E67291","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948521$BB4736D4-665F-46AE-AE14-FCC81B29390C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948521$8A8EB9DF-6A25-4AA6-973B-7F15CB7465C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948521$9F84E986-C91D-4961-9417-23B2762AA00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948521$13647408-D6D8-4FDB-BF8A-99CF3EC9DA78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cc77c68445d1150a1c9834c34046dcf941c9389","datavalue":{"value":"1429766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948521$7C5ECBFF-7A73-4D1D-A939-75ECAE63E25C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64bd6bd0ed38bd10e747989a06f5dba46eebf2ad","datavalue":{"value":"no-counterexample interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948521$6FB6CCDE-6049-48C4-A1B5-13F1AD112831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a44dca9d57c88f6600a2546a1e9fa1892434ae0b","datavalue":{"value":"G\u00f6del's \\(T\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948521$8816B81E-F0C0-4038-8F4D-FB5FD4CB61E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d1997c26d11ecc220dd31fc4a934865bdf201e","datavalue":{"value":"bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948521$C01E0347-929A-46EE-BD2A-D842A0075991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948521$8D9F3387-FDC0-46F8-8D6F-3627D0C523C1","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":"Q4948521$EA6798A6-8218-4BAF-83DA-89C7C2C46A35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0994a89cbc7d5f872055ffc88ae736bc2c6f549","datavalue":{"value":"https://doi.org/10.2307/2586791","type":"string"},"datatype":"url"},"type":"statement","id":"Q4948521$9B08F94E-C216-4A81-B632-78E59E301EE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27560d44b3a82373f53414c9046ee509c48a3453","datavalue":{"value":"W2078456795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948521$02F0F41A-379C-4547-AF61-2B1CE636B1C6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d22e20326a1a64f3728226c2ff8305b3e824325e","datavalue":{"value":"Q124853394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948521$3D89EB9A-0E3C-48B4-A572-5527D3E5CCDF","rank":"normal"}],"P223":[{"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":"Q4948521$E1C4CAB4-7196-4E0D-9FFC-3F9669BACAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948521$0EA773FA-5141-47CA-BA1E-6AAF560C3200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948521$4D77E748-8752-44B1-8353-D464E4F80D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948521$6E2D286F-2F73-4100-B1CB-951701D3EE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948521$50B3B1FA-FDD9-46DF-AD00-205A282FC267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391494fb166ee662c227e7a07c48725fd20bad41","datavalue":{"value":{"entity-type":"item","numeric-id":2529601,"id":"Q2529601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948521$AFC98899-2A95-4C8A-BA8F-A970B2474D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948521$0986057C-FEFC-45EE-B081-3E11287FAB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966d8fb41a3564f4060a1b833eb768ac2e0597d","datavalue":{"value":{"entity-type":"item","numeric-id":5806808,"id":"Q5806808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948521$5630A83E-CBE5-443F-8145-0E3974E0D9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a4e58c25b3453d9125c4c48d9600b2360c05ce","datavalue":{"value":{"entity-type":"item","numeric-id":5537358,"id":"Q5537358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948521$7F4572CC-794E-4EA2-A7AF-B3C620F533CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19155fbd2aa97d489d2499ac812ae9aeda64cff4","datavalue":{"value":{"entity-type":"item","numeric-id":4699354,"id":"Q4699354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"289cbf7224a6dbf5d03dd19cf0031d3ddee63af0","datavalue":{"value":{"amount":"+0.775253176689148","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":"Q4948521$0996E8BD-4186-457F-A2FE-752829C8B88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f76a4115cd60a2be72db49ad07f3250a45e7287","datavalue":{"value":{"entity-type":"item","numeric-id":4247298,"id":"Q4247298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b8ff736b3d2b8273e84a28eef89cbb96917462","datavalue":{"value":{"amount":"+0.7692374587059021","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":"Q4948521$84ABC0C9-5A20-4E8C-9C0E-40E128D504D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc968fc081bfd42f16362de6125da6f02619ffa6","datavalue":{"value":{"entity-type":"item","numeric-id":930260,"id":"Q930260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb817ff468096c497089168b5bac4822d88fa1c","datavalue":{"value":{"amount":"+0.7543774843215942","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":"Q4948521$7F4CA5B8-0F88-4D32-90A0-96AC005D1886","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4948521","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4948521"}}}}}