{"entities":{"Q3966138":{"pageid":5996043,"ns":120,"title":"Item:Q3966138","lastrevid":55124779,"modified":"2026-02-03T21:56:07Z","type":"item","id":"Q3966138","labels":{"en":{"language":"en","value":"Recursively saturated nonstandard models of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3788620"}},"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":"Q3966138$3139D7E6-FA5F-4D71-BE84-7D0B24A5E22C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01aa6016608328e3e5044b2d96405155e35d12f7","datavalue":{"value":{"text":"Recursively saturated nonstandard models of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3966138$CB23D181-EBB9-4EA8-9801-AD057AAB638C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2e3c417c434f38141105787d6032e37ddc0e076","datavalue":{"value":"0501.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3966138$3687C761-5372-49A3-A324-F2501F608031","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa4aa4adcdf31eb2b76a34d9f5618c5e07584021","datavalue":{"value":"10.2307/2273620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3966138$0ED82E6D-D5FC-4250-9F71-ACF5D5898F49","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":"Q3966138$B21A1854-3261-4D5D-B8FD-39A3E36D512A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3966138$C83A3227-A93A-472A-9B59-D3E534EF85EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3966138$66624FBD-3BBD-4912-B12F-6B1626FAE4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3966138$5621A626-CE5E-45E5-970A-61B2A3B6214A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a36da4d12669ce538fcff22bcc873194325018ef","datavalue":{"value":"3788620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3966138$8294119D-812F-48B5-8B94-A7B013FD7266","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff5e44a2971d1f076dfa525f7de8954efc2ca81","datavalue":{"value":"countable nonstandard models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3966138$10654E1B-AE7D-4391-B425-3DA2E07FEB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3966138$46395AB6-D2B6-40BD-BB14-9F95DBDA44AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e0c17ba347707d56b4c47a350a1d0ed2bc4e7c","datavalue":{"value":"real types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3966138$A0119CE7-3DBD-4CDF-8C60-6911B190B2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6d28ecd65fc26284f1f89993a80c34e65410024","datavalue":{"value":"embeddability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3966138$9719F4F5-E5D6-4A6C-8540-AC96915E7376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b139f7228e51306717a3522bed5c3c725026e9","datavalue":{"value":"uniqueness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3966138$617E4B8C-443F-442D-95F0-36F18C1E972E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e73a2f146136b5248618c92e0def0f01e98ed72","datavalue":{"value":"embedding theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3966138$79C9328B-EC70-44D4-9F1E-AD1C78635430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d75109db94197a2c7d4644515f497e9b7eec79","datavalue":{"value":"expandability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3966138$0FC6F96E-05D6-491E-893E-CAF55F51AC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98ee602cbfc83d3d2024e37d5de54ae30ad13245","datavalue":{"value":"elementary extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3966138$1CF2F7A8-A28F-4186-ABA9-7458D651AD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905a83377aaf78994c170349e02819cfbfafce9f","datavalue":{"value":"Barwise-Schlipf theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3966138$F6871E52-2D51-484E-AC8D-F005D5E812DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1640d4ec09873de532c2c67264ca19482668072","datavalue":{"value":"conservativity results","type":"string"},"datatype":"string"},"type":"statement","id":"Q3966138$953068FB-08B3-40D7-8072-487956CD5941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99dc3128aba2028ad47c2e472a9d703dae96e4a","datavalue":{"value":"short model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3966138$10C6066C-9678-4FA9-832A-3B3E2AA5DDFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"381d66ce0d865d18f3a56597ab9de985aaa93f52","datavalue":{"value":{"entity-type":"item","numeric-id":1259544,"id":"Q1259544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3966138$282DB052-72CE-4BAC-BEE9-19E43D8A9B6F","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":"Q3966138$C9B4D45C-9BC6-4D09-9518-49C9448BA26D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d5961b810a345fe7bb8f76854c0217c434fafd6","datavalue":{"value":"https://doi.org/10.2307/2273620","type":"string"},"datatype":"url"},"type":"statement","id":"Q3966138$4EC449C1-6B0B-4774-91FE-FBD3B5A43F12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2dc51bd01d560a265103f49b2519d0889758170","datavalue":{"value":"W2069613809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3966138$59D99392-9996-4E3E-967B-FDAA7CD0A947","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cff6738b4c8771d60041156fca572890e0a017c","datavalue":{"value":{"entity-type":"item","numeric-id":4081241,"id":"Q4081241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3966138$370B8E61-3A9B-4FF5-A156-9AC1770B8F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4323f719ce556aa0fffe2f662ce5bbcc2b42b051","datavalue":{"value":{"entity-type":"item","numeric-id":4194958,"id":"Q4194958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3966138$C6EE7131-D46D-4BC7-920B-44EE8C953EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d14bf0199b2642fbefb540809bbf36e18447f27","datavalue":{"value":{"entity-type":"item","numeric-id":2560128,"id":"Q2560128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3966138$3FBC268A-A3BE-471E-8478-9AEF36B72692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe86ef0923819a89ae51112b08ce173082dc0fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4163512,"id":"Q4163512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3966138$8BFC92B9-9071-46B9-8EED-C250B52F0DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0cd38118bdce69e8fc9ce1cbdca8b566ca1e13c","datavalue":{"value":{"entity-type":"item","numeric-id":1217679,"id":"Q1217679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3966138$2E65ACDB-FE9D-4AEE-B689-4B4A7D987C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bea5958067233cb49214be88492ad906155d1e","datavalue":{"value":{"entity-type":"item","numeric-id":4152535,"id":"Q4152535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3966138$0EE7F8C6-E823-46C9-80AE-995FB878E017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a1313ed254efcde5f707e2ac2d8b471e576f7f","datavalue":{"value":{"entity-type":"item","numeric-id":5551148,"id":"Q5551148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3966138$79133F8C-4593-48F7-AF08-17063E1D0C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352a2a41026a9aea11c54f3081aa8074c4dc9983","datavalue":{"value":{"entity-type":"item","numeric-id":4154547,"id":"Q4154547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3966138$67F3AD9D-064F-4517-BE0B-B44070803EB3","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":"Q3966138$882307B6-56AE-4F34-82CC-AE3105D09894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fbcdc6827af9f8d7894a008a301c07e31df53b6","datavalue":{"value":{"entity-type":"item","numeric-id":5732652,"id":"Q5732652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3966138$EDC5DC8B-2EF7-4D8D-855C-7FA1C8B11105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543e3b1cf9e16558864d3c1880d1f186ed5dbb7b","datavalue":{"value":{"entity-type":"item","numeric-id":1236115,"id":"Q1236115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3966138$398D7065-3847-4BF9-B42D-B720FB5FF259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45279a81234b37ea8bba5ac5b0ac963d5ad80439","datavalue":{"value":{"entity-type":"item","numeric-id":5819443,"id":"Q5819443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3966138$65F6EDDE-20DA-414A-B7FC-9C00D756F524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3c32a4fb9a3f04d796d08c0ab22ff4b2032544","datavalue":{"value":{"entity-type":"item","numeric-id":4096940,"id":"Q4096940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3966138$B53CB396-CA0D-4DEB-AF7A-FDFAAAD9A1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff45213e7705dbf9044ed2762732fabe6973416","datavalue":{"value":{"entity-type":"item","numeric-id":1236108,"id":"Q1236108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3966138$ADDE3561-8E99-4B10-A6C4-20AD126F1376","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3966138","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3966138"}}}}}