{"entities":{"Q698542":{"pageid":700391,"ns":120,"title":"Item:Q698542","lastrevid":63797868,"modified":"2026-04-11T15:36:53Z","type":"item","id":"Q698542","labels":{"en":{"language":"en","value":"Nonstandard models and Kripke's proof of the G\u00f6del theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1803265"}},"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":"Q698542$BE184AC1-D40B-4921-9380-716698A83B73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23209d648b7b7e8a19dd2248ac707c3b23a58b77","datavalue":{"value":{"text":"Nonstandard models and Kripke's proof of the G\u00f6del theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q698542$D8035C68-4254-4B0B-95FF-18CA053E42F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72282fa5ab540e5804e1dcd87d67eb5cf5f4e4ac","datavalue":{"value":"1005.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698542$6248B0AD-0E1E-476D-A979-1C71C36BD82B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c60914c873a185b0b3fcc0e4dfd113295281cac","datavalue":{"value":{"entity-type":"item","numeric-id":698541,"id":"Q698541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698542$33EA6D4F-9FCB-4C37-BE69-7F5A200C63EF","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":"Q698542$B4276407-B551-4600-AAB5-6F4DC3DF8F80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"207b03f7ffff542271fdb327ec6c973ad031a7d8","datavalue":{"value":{"time":"+2002-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q698542$54182378-5D4E-4636-98E1-F817A88DF8EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698542$4F53A219-862D-4CCF-8971-CF97F220B8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698542$AFBC0917-874B-4095-B5B3-002465562EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698542$7D8605F6-204C-448A-9686-40ADD3F4CB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"009574a0aaaae71df9f86680a254995c981bac3d","datavalue":{"value":"11U09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698542$655D4695-9364-4523-8CA7-2B24EF8364AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0863e8f77401912a1f46a81052ba05901a6c171","datavalue":{"value":"11U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698542$D6ED7926-A035-4F06-ABD2-83E4E4E6B06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698542$E6552DD9-7EEA-4A47-BA51-13A2A9F1923F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698542$C931FB3D-8B3E-449B-9616-33CE4D89D01D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"377a4ceabb6f24dad65738a53dc46206af722aa3","datavalue":{"value":"1803265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698542$3C4BC4A2-687F-4655-94AC-5B1B8360B4B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bec1f1985c68fbb0c4b0ca1513695fff96ec1e5","datavalue":{"value":"G\u00f6del incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q698542$69ABC483-FB99-4A5F-9869-101FA08AF54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d07767f73a9bae129458e9d12a79bb442fa45170","datavalue":{"value":"elementary number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q698542$1279A919-6A8B-4CCC-AF4E-53BDDFE3005B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a9db6b3328d956924ea758fcf2ec1978d64a4d1","datavalue":{"value":"nonnegative integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q698542$A5D58FAB-05BF-447B-BDA4-50FF973E9155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f88999312dae38ce917ef1b11bcca5278488786","datavalue":{"value":"quantificational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q698542$4EEA2612-F2FA-4B2D-BB61-5839DA93976A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881b59035d29df92f521fb7f6c93516b972baeb","datavalue":{"value":"models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q698542$1359FCA7-CEC5-4ADB-AE74-B565E1637A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11bae5b20bd836c1cfcedbce77a2c9381030e51b","datavalue":{"value":"nonstandard models","type":"string"},"datatype":"string"},"type":"statement","id":"Q698542$B899B005-8A5B-4851-A3C3-046C345BEDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e2ab92064595c4bc80edf6ce409f05542fc14b3","datavalue":{"value":"Kripke","type":"string"},"datatype":"string"},"type":"statement","id":"Q698542$C82555D5-AF47-4573-B30E-4B87653A970B","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":"Q698542$9B37391B-DD20-482E-8797-97A9581B64EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2731cfb4fe10adf673c922165a9f6d2586378368","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1027953483","type":"string"},"datatype":"url"},"type":"statement","id":"Q698542$5F883DFD-6788-4B3E-9BD4-E5BA007D8896","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"70e492586670c9e6b7aa921031ec9995c9a85add","datavalue":{"value":"W1975347218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698542$58513C2A-23E1-457E-A222-26B0380BAEB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"912092c083c9ec6ab6737e88a78823f74e977cfb","datavalue":{"value":"10.1305/NDJFL/1027953483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698542$77EC026B-C107-4273-A612-D654FFC1D336","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"805e885cd80372293cb8ec3a96d2cc89a5cb067d","datavalue":{"value":{"entity-type":"item","numeric-id":5518351,"id":"Q5518351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f0895c2eab876e968b5e24c781d8982d44436f","datavalue":{"value":{"amount":"+0.89152205","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":"Q698542$DF9901ED-29F1-4D69-878D-E748B276CF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d4fd67aca13bf9f31762222841fded936ad2fd","datavalue":{"value":{"entity-type":"item","numeric-id":5419879,"id":"Q5419879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"868c1da93e48e95811df1bf11a0d79c582f5fc41","datavalue":{"value":{"amount":"+0.88129","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":"Q698542$94C57197-3FA2-4AD8-A8BE-4FBCE5854CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eebdf485c1ad7f7b30ca2e308c926b46b09ac74","datavalue":{"value":{"entity-type":"item","numeric-id":1893141,"id":"Q1893141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1ee85de54b338bae37514fba2e874c2e414507","datavalue":{"value":{"amount":"+0.88067114","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":"Q698542$5ABC2C6B-E024-403C-A62F-38E85E7103A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c15c66ffe9c99e19fd516c93276ea75968c4f63","datavalue":{"value":{"entity-type":"item","numeric-id":2732301,"id":"Q2732301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda22dd58c533b1f28c52f95af7aa225e33aa278","datavalue":{"value":{"amount":"+0.8768085","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":"Q698542$03EA2F23-1C4A-4456-B770-83C2EDF7E891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd78ae687f11601819ad17e8a5161b086a13f0e","datavalue":{"value":{"entity-type":"item","numeric-id":3714081,"id":"Q3714081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82cac011916d0e5c332de2c656c4aebe18b2922c","datavalue":{"value":{"amount":"+0.87479544","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":"Q698542$C76A1B7C-2736-4E23-83DA-00FD0899F019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"392a94f722c747f94c8b94c80694bdf9e85cce1b","datavalue":{"value":{"entity-type":"item","numeric-id":3423147,"id":"Q3423147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d98b4616961915a7bcb9201748698e77a9c2489","datavalue":{"value":{"amount":"+0.8743623","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":"Q698542$20AC5B88-59EF-493F-8F99-2AE56875EB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f44b64cc4ee7d8edc60c12a7cf8e5d3521e640b8","datavalue":{"value":{"entity-type":"item","numeric-id":2151390,"id":"Q2151390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8b478604af851f1839b62521edd89739a3fbf5","datavalue":{"value":{"amount":"+0.8741209","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":"Q698542$25551BB0-7275-43D1-A30D-FCB22E02CB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08165164e195013bbfd5826e235a12daf82c2c4b","datavalue":{"value":{"entity-type":"item","numeric-id":3003328,"id":"Q3003328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e94d029565f2a62ad6312d3041ba11db6477b7","datavalue":{"value":{"amount":"+0.87056744","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":"Q698542$4A82D5EF-813E-41A5-B210-F497797C0349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d457e7ee95b83a8eae90882e9ec091e36dc8cb29","datavalue":{"value":{"entity-type":"item","numeric-id":3211282,"id":"Q3211282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4510d312b695793a5d86007d847e67091a2d083b","datavalue":{"value":{"amount":"+0.86664164","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":"Q698542$F20AAF18-6E40-4D43-A7FB-FA10EC159F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e0effcd235a1a20b62a8ec86965c481c1e347e","datavalue":{"value":{"entity-type":"item","numeric-id":5939997,"id":"Q5939997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0460d2f0f3bc3f761118f8af0071b9c26f1ef5cf","datavalue":{"value":{"amount":"+0.86654246","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":"Q698542$16F9A1DB-F609-4DCB-AAD1-04F9F310B92A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nonstandard models and Kripke's proof of the G\u00f6del theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nonstandard_models_and_Kripke%27s_proof_of_the_G%C3%B6del_theorem"}}}}}