{"entities":{"Q3370752":{"pageid":3381456,"ns":120,"title":"Item:Q3370752","lastrevid":49781407,"modified":"2026-01-10T16:42:57Z","type":"item","id":"Q3370752","labels":{"en":{"language":"en","value":"Theories of arithmetics in finite models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5004786"}},"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":"Q3370752$40538471-1114-4FBB-A3BA-41AFE821ACF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"558f91e40a710e25de95ff4e5adf5c3e4580ecdf","datavalue":{"value":{"text":"Theories of arithmetics in finite models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3370752$A3D9CD4F-3585-4461-A92D-4C9A0E7A8FAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16f26a59a8b5f267ab7952179ff5db8cfc4f1650","datavalue":{"value":"1094.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370752$17E18EFD-7C14-4277-9D18-B48CC40AE1A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc857a19d58ce9ccd1384d2bb127538d9046a071","datavalue":{"value":{"entity-type":"item","numeric-id":549715,"id":"Q549715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370752$BC803522-6E85-4A44-B229-97169C290044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2094ea0738e5bf7c114481073bff8eb28b382fdb","datavalue":{"value":{"entity-type":"item","numeric-id":549717,"id":"Q549717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370752$DD30207E-C159-41D5-9106-9A81A4785978","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":"Q3370752$42A2A26A-30B4-4758-B830-90134EAAF7AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7be842e5bc1b54667cb2f669eb29d91c2f271633","datavalue":{"value":{"time":"+2006-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3370752$392CBF50-5E2C-4BE5-A655-169F03CCB25C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3b3a2841c3dff0bcdb878b4ce0f95c6a5697bba","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.2369","type":"string"},"datatype":"url"},"type":"statement","id":"Q3370752$2AF278DA-FBCB-4AD9-A352-C8A1575572F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370752$C6708A38-27EB-4573-B656-09B177232AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370752$0E885C2E-2591-4A17-BFAF-F9BA6C3B3695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370752$AF9BCB10-8708-4A4C-B2C4-96C7B8734E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370752$B7DF7D2F-C480-40D7-94CE-433B9B5D4ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370752$660764D6-0131-40AE-BCB3-912A730B85EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2ac557704882a36bb20065a45cf6300d2fe7a01","datavalue":{"value":"5004786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370752$8F724D8D-95EC-4DE3-8D50-361D2770164F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370752$0B3B82B7-46A0-4078-9891-92D97926DC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370752$545AD732-63C1-44DB-AA4E-B6D03EA14699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370752$F5600860-A56F-42C2-B5CB-46B4C0F144C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f499971506bb7d13eebf3a41582911b6f7a30bdf","datavalue":{"value":"spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370752$CFA6C5CB-CCFD-45AB-BA73-6B6EB449A094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370752$4A8DC4ED-AA5A-4473-A9E9-F32982AE421C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370752$967DCF56-F10A-493E-A093-5C9C7979CBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe082bae520f7d22c77d7b57cd80b23dd83fd41","datavalue":{"value":"sufficiently large models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370752$B2577EFC-454C-49AC-B087-7CD3CF90FBC2","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":"Q3370752$C2100115-2F07-4B6F-AC7D-7A1435D1307E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aacb0693a34a150ec1ca5e47c070842901c12df4","datavalue":{"value":"W1983665017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370752$668F12E7-03AE-4829-ACF7-EB6EE110AEFA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4bb9bed0c5dbf2201e5e2d79ca1409ed6f87356f","datavalue":{"value":"Q115921923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370752$02B2A33C-7C55-40F2-A8BE-E5EBCF27BDDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370752$805047BF-7548-4992-8669-B49F626A4353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370752$94E4C64A-9ACD-4703-AF16-77655400817B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370752$9472AB09-6C14-46A1-B7FA-49C29D36FA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b822af4eafa1a1dde639986420cf2ba390f1907","datavalue":{"value":{"entity-type":"item","numeric-id":1377632,"id":"Q1377632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370752$7F47DC76-95DD-49E3-9359-C82FBC4EB830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5592afdbc278531a8faff3dfe5516c2b3be670a","datavalue":{"value":{"entity-type":"item","numeric-id":2640342,"id":"Q2640342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370752$6FADE3F5-B038-469C-A52B-FDB6EDFD3796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a35dcdb95b5e2dda4db1fbf4844ad918810dfc01","datavalue":{"value":{"entity-type":"item","numeric-id":4938155,"id":"Q4938155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370752$4EB42A29-5544-4C51-8115-6E68CF1AABF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a813a4c20a02b2d85db9b23e1f98b596d1868d1d","datavalue":{"value":{"entity-type":"item","numeric-id":4459597,"id":"Q4459597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370752$2E082649-6795-4B0F-AE1D-E3FE290CAB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c09735a9d4ecf3c15c52f25c89b4e65e7dbd4ef","datavalue":{"value":{"entity-type":"item","numeric-id":2765574,"id":"Q2765574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370752$86A2E3FA-7E6B-4A2F-A1BC-897B7F70432F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8532490d6a36ef2626d3d5500d26d42c60b86a7","datavalue":{"value":{"entity-type":"item","numeric-id":4419268,"id":"Q4419268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370752$F6189E39-3E1B-4E4C-A9CD-A9DFBF96F537","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bced779c527472380fd6823836465bf18ebe4e7","datavalue":{"value":"10.2178/JSL/1107298508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370752$3D1C5AE2-282E-4E62-83B6-A728CF60509E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da6d4d6b1ca0205046a1cdc727739ec19f79e85","datavalue":{"value":{"entity-type":"item","numeric-id":5445166,"id":"Q5445166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1896e8d34cae633f77827cc747862904ad643a","datavalue":{"value":{"amount":"+0.8306556940078735","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":"Q3370752$82C4188C-1DD5-4D45-A779-5B30BC7F0EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660e2f5f132ace575c360c0449ab1f0921c2952c","datavalue":{"value":{"entity-type":"item","numeric-id":549718,"id":"Q549718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59e60516f25bd30a4a62a93c1d5c74041be3de5e","datavalue":{"value":{"amount":"+0.7816858887672424","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":"Q3370752$C8387BA7-5E79-40E9-AC77-06F3F3E1BACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195b790efce20c58647002805506cde5c77f7b45","datavalue":{"value":{"entity-type":"item","numeric-id":4868237,"id":"Q4868237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c63a556d94be832aedd80af0c1f909b41006c7","datavalue":{"value":{"amount":"+0.7625950574874878","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":"Q3370752$D14BCC85-3149-427D-8207-2DD819C7A1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a358c60ea76a859cd4023ce47a6c377074bdbc61","datavalue":{"value":{"entity-type":"item","numeric-id":4459597,"id":"Q4459597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38b220635bff0f7d595fa7f96af30ef1e8ce543f","datavalue":{"value":{"amount":"+0.7540467977523804","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":"Q3370752$AFE005E4-5C2C-44B8-A22C-A0844D72C718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be332ccb7279f865edd7fb7973900fd3c5c3a936","datavalue":{"value":{"entity-type":"item","numeric-id":5394582,"id":"Q5394582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceb5f4e934f5fb268baa67266431012da7cbe676","datavalue":{"value":{"amount":"+0.739398181438446","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":"Q3370752$7DCAD877-2967-43FD-A489-65EEAF8CFEFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3370752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3370752"}}}}}