{"entities":{"Q3449398":{"pageid":5198800,"ns":120,"title":"Item:Q3449398","lastrevid":52385729,"modified":"2026-01-22T12:51:24Z","type":"item","id":"Q3449398","labels":{"en":{"language":"en","value":"The overgeneration argument(s): a succinct refutation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6504452"}},"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":"Q3449398$ACF486AE-44BA-4E76-8EBF-6BD5E6F7BB13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dcc8d18992d2936cb5b40c0185cf5c17bac9b21","datavalue":{"value":{"text":"The overgeneration argument(s): A succinct refutation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3449398$C8E88BFA-444D-4F38-B063-F9AD2442466C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8180e43557662d012f32f1d3ac5bd77b0549306","datavalue":{"value":"1325.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449398$4376D94E-E78E-4F7D-A303-9CDC86F5CDF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"adbeca5c6939aa698fa127a0a071939116a774b1","datavalue":{"value":{"entity-type":"item","numeric-id":929633,"id":"Q929633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449398$4D382F04-4CFD-46CF-9F45-5CE8B068D532","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"749a116f0ea0d0a30b561c5441682cf15d74ed0f","datavalue":{"value":{"entity-type":"item","numeric-id":2614096,"id":"Q2614096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449398$B3615F54-0C2F-4DAE-BBA8-02B814D726A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87b5c622b344036d13fd1ced0604456063cc2441","datavalue":{"value":{"time":"+2015-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3449398$E6FA15B3-1880-49DD-AC18-2E0EBFC91409","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449398$5CF8BDD6-6002-48D6-95B0-C28E84BA7121","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dddc3e9b6abc916e590770eb754147f2134b4421","datavalue":{"value":"6504452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449398$3AA5E33E-897C-495F-A9B2-2B83855A7910","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e94be6814facc8d3d21232f7af9258360e65eee","datavalue":{"value":"overgeneration argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449398$8E461A3F-126F-4610-AC1F-688AD75E69C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449398$05E13BB5-B631-42C4-8F28-D98353C5C9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacb0e4aab3d35beecc1ca5d565cdce29d072a94","datavalue":{"value":"continuum hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449398$F1E82E98-9A99-4F96-8D0C-8C3DF225B684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc32e76d4b1d96b244246ae285778bc90e22da72","datavalue":{"value":"Etchemendy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449398$6776E643-A951-4F38-976F-B26A5029F0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6655799bf8ffc9cc82c7cc88682e4561668ce53f","datavalue":{"value":"model-theoretic conception","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449398$CF99A479-8898-455F-96DB-9DC8C711D97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e22bb7984603b39d066247461741507e1db9830","datavalue":{"value":"logical consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3449398$65C9233B-5585-406D-812A-6A48028C5D1A","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":"Q3449398$E96A1E43-8857-4072-9BDD-0EDB42F5433F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70f6bad7d1c127335a3394216e756dfb1202958d","datavalue":{"value":"https://doi.org/10.1093/analys/ant097","type":"string"},"datatype":"url"},"type":"statement","id":"Q3449398$0EBE7F2E-2219-4924-AAAB-6C5707FE5A0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"beda48ae9a936fdc9fca2d6689495430c067f4da","datavalue":{"value":"W2059252855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449398$92C31E7B-8853-49AB-A34F-38B674919B34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8ba029d53dfee371c6b68aff1f7df1bc663fd0c","datavalue":{"value":"10.1093/ANALYS/ANT097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449398$7269ED06-33E0-40B2-82A1-24956C7B3A47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9808f1434e1e9772330d4667f9d31929de8c56f","datavalue":{"value":{"entity-type":"item","numeric-id":4383771,"id":"Q4383771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775ff6442cc5fc2043b8d69d961ab48d07a69a69","datavalue":{"value":{"amount":"+0.6867272257804871","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":"Q3449398$8E1B4F70-A2E6-47C9-9ACC-891AB5C31E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cfe2216f75a52c2ba470761e983e9e6d552fa36","datavalue":{"value":{"entity-type":"item","numeric-id":2254573,"id":"Q2254573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775ff6442cc5fc2043b8d69d961ab48d07a69a69","datavalue":{"value":{"amount":"+0.6867272257804871","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":"Q3449398$D4D99EED-3BB0-4D4B-9912-DC696FB2285A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d59390d24a4ba2cf88929a4f703d5798fc3d76e2","datavalue":{"value":{"entity-type":"item","numeric-id":5283449,"id":"Q5283449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8ddf00c1bcd6712b5a4fb99b6bb850e14149f23","datavalue":{"value":{"amount":"+0.674781084060669","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":"Q3449398$B5F2EF41-7015-4DC3-B919-4B78988D95EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a2f76c638f53151d1fa65a764016f32cc239d1","datavalue":{"value":{"entity-type":"item","numeric-id":3299536,"id":"Q3299536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf6c8bf405260ea7c1befcba5fef7af9bdde309","datavalue":{"value":{"amount":"+0.660624086856842","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":"Q3449398$3059BA63-1012-4C9A-9013-3E91904D956B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3534cc03631e9fbd67d698a94da403439fb660f2","datavalue":{"value":{"entity-type":"item","numeric-id":4689310,"id":"Q4689310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a6744d285b22c1833959684320e88678593d814","datavalue":{"value":{"amount":"+0.6418148279190063","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":"Q3449398$A00150C4-9A0C-43FB-A2C2-A9BEDAE47E22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3449398","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3449398"}}}}}