{"entities":{"Q5085859":{"pageid":7115435,"ns":120,"title":"Item:Q5085859","lastrevid":100141502,"modified":"2026-06-05T21:29:50Z","type":"item","id":"Q5085859","labels":{"en":{"language":"en","value":"Order types of models of fragments of Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7550753"}},"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":"Q5085859$9348F220-50A5-49A7-A400-7BD1AF436789","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff041f4cc4a40f20af12863d50a00f644afc4c09","datavalue":{"value":{"text":"ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5085859$7DBF9981-F174-4564-9F88-9C4F000AC577","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17e24b59fc656b52a0d9bab8f85145f067c509da","datavalue":{"value":"1504.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5085859$62197E33-92CD-4135-BC63-EA635E87DA15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a4abbaf4ed34fd723725706dd6484bc95542d3e","datavalue":{"value":{"entity-type":"item","numeric-id":2011659,"id":"Q2011659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$6F8873DF-3E34-49BF-8471-59822EEE25C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1294aa2c1b7b8075353a8829fe6eed369d61b4a1","datavalue":{"value":{"entity-type":"item","numeric-id":1806279,"id":"Q1806279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$07F9EF56-53A2-4EE4-ABED-89CF027EEF91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$5A249047-6FC1-40E9-96B3-CCDF59A69FA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faa08a6e70c7dd841bb2fd29d4bbc1d6e2960f95","datavalue":{"value":{"time":"+2022-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5085859$657C0705-2A93-442A-ADD5-716C03BC56E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5085859$D2D39645-DD26-4A17-832B-E0809BF7DCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5085859$98DA99B6-324E-4261-B67A-5C6ECF54E20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5085859$AD361799-5F67-44E8-BDCA-A161AD35521B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5085859$A2CE1AF2-E1C3-4DE9-99F4-2C4B8127B3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ed618702b057009a2070ae378cd09839bebae6c","datavalue":{"value":"08A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5085859$29365929-C1E6-41AA-A645-77087FBADDBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8df4a987592268ec76914e654278d1fc2ca35e9","datavalue":{"value":"7550753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5085859$F8455AE4-8469-49BE-AF33-D674AA48F213","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb8b722b1993c742b4463557a358d36eebd80e7","datavalue":{"value":"non-standard models of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5085859$09086325-8B8C-46C2-B0EC-928A8A41DED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eeba749f6e20983202d62f164b68dc4818645ae","datavalue":{"value":"order types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5085859$7E4D9735-1159-4641-8F44-300D365AC53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbb4fdf3564d3967e40accd881c6e7d517191c06","datavalue":{"value":"arithmetical theories without induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5085859$541733DA-F868-4AFB-98DC-6B24FE70F0F3","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":"Q5085859$35CBCECF-0931-4290-A9EC-5E1295944905","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af3ef0dc7090b9280cac3b000403f4d9cb9d92b0","datavalue":{"value":"https://doi.org/10.1017/bsl.2021.48","type":"string"},"datatype":"url"},"type":"statement","id":"Q5085859$37D9E18D-4427-4282-AD3E-CBCAC21826F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"023fdf61e293d3c1e17c06d1746c51d188683d77","datavalue":{"value":"W4224937162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5085859$975217A7-D593-4397-A6BC-F778CC9AA12F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fcd5d4da45e4816d1b2762d765e55615d96d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1888631,"id":"Q1888631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$ADEAB093-8762-4C2C-9759-BA5530929BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adefd85ca004505b69b13db04384e1a041347eac","datavalue":{"value":{"entity-type":"item","numeric-id":4781773,"id":"Q4781773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$ADD7B351-D3DC-4F7E-9764-B8BF991C4810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34317bcc1b4e31c9ce2e0c4bb91179faddbd8e7f","datavalue":{"value":{"entity-type":"item","numeric-id":2363347,"id":"Q2363347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$BAEEA2D6-487F-4CCC-8D42-5900179B03FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$A83C7D61-C311-4B05-8963-0453042C15BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$1DB3E6B7-3C37-4966-9649-0396B035C344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$3B5B6CA6-7D57-48F0-AF65-4F57AA678855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$F7DE7EA4-191B-4759-9FB0-CBE3B6AE8ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058198c7f6fa77c6413b6c4a2e2ec44292a55fe0","datavalue":{"value":{"entity-type":"item","numeric-id":1325831,"id":"Q1325831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$0DA74BD9-5675-42B4-B29D-1959735B0501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$386A7803-F1AC-4E81-AC71-F6F3F5ADD976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a7aefd4e20d939cadac691d8c9cd4af161b799d","datavalue":{"value":{"entity-type":"item","numeric-id":3173631,"id":"Q3173631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$1B393F33-7B03-4431-B4BD-54242D8798AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c9e7069bd5bddd12844c15b7d134c0e326a682","datavalue":{"value":{"entity-type":"item","numeric-id":5484945,"id":"Q5484945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$13385489-0274-4882-A813-69F23D140230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$6A82F601-8088-4893-8272-A1C428A0E17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc35a28edcdbdfd29b7592513a61a8bb5d3703b","datavalue":{"value":{"entity-type":"item","numeric-id":3962976,"id":"Q3962976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$07618849-2676-4E47-AD63-56A4E055EAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96f6907ac9a37750e8c4c863e4738ac2abe2920e","datavalue":{"value":{"entity-type":"item","numeric-id":5579009,"id":"Q5579009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$97218D1E-F989-456D-983E-7F02707019AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aee1480eaeaf320249e8820f548f5b25dd3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$2039720E-AB01-467B-9D54-9657C0FE786B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$FA370D04-22C5-48C7-8711-4C9F1428894D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$963A03C8-FA76-453B-BA41-A1FD881BDF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6073a46804b1a7ee12154dae42d89367d575a62e","datavalue":{"value":{"entity-type":"item","numeric-id":453194,"id":"Q453194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$755BC815-E466-4555-AD32-6DA163E08A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0376df3f9b072633ed90667970c04b9642439a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1188601,"id":"Q1188601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$61D63925-1F2A-41E0-A634-5407493FD53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"655ed0e1f650ec1d4e7869c655c23e4a4cebc2e0","datavalue":{"value":{"entity-type":"item","numeric-id":3460521,"id":"Q3460521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$09C00C77-DD2A-409A-9329-65FA6F9D9144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d548caf08e0e70d79f048b4cfdf9f5cd423531b","datavalue":{"value":{"entity-type":"item","numeric-id":5340125,"id":"Q5340125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$1B480CE7-870A-4556-BC97-4C775A9C083B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162d693aa76a5750175e9d46ffeb02a8a5b21d2b","datavalue":{"value":{"entity-type":"item","numeric-id":1188945,"id":"Q1188945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$E53D034A-521A-488B-9820-4C643B0B1F69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68138f570ccb61b50b2a2014d5065e4d36331edf","datavalue":{"value":"10.1017/BSL.2021.48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5085859$099F0619-510E-4AC3-90A0-DA2202E87B36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6901480582ac09fff1eeb24411980f06e08e3ef5","datavalue":{"value":{"entity-type":"item","numeric-id":4781773,"id":"Q4781773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36cbe0e665020c3441069313c0277d24d01a154e","datavalue":{"value":{"amount":"+0.8316307663917542","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":"Q5085859$90FD6FF5-3C07-496C-B09E-A4050CDD8243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3d37ed91e1129ed5b6e51d7ac4798c14ef02977","datavalue":{"value":{"entity-type":"item","numeric-id":3218118,"id":"Q3218118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d59f111314999cd5fec9ef78b165b8ed1611283d","datavalue":{"value":{"amount":"+0.8316306471824646","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":"Q5085859$9545D884-8D18-46B4-B1F6-3144E3576AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258b41ad36b0268d19373c85b40f390b63241d8a","datavalue":{"value":{"entity-type":"item","numeric-id":3691674,"id":"Q3691674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20971013205d386e7efc8b54f043ed0e273ac20a","datavalue":{"value":{"amount":"+0.7791508436203003","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":"Q5085859$46D00456-F196-413B-A2A4-07385AAD2153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4b1ff9102ef9fae0c8d54407e997d0ecf2c5e7","datavalue":{"value":{"entity-type":"item","numeric-id":4724621,"id":"Q4724621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a02da8fff5ac0001c1bbdb2d85bb377536a08273","datavalue":{"value":{"amount":"+0.7615358233451843","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":"Q5085859$2DBDA94E-5AD5-4938-8CEA-4C4308FC3534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ce76bcb606d6287bc7a3e94cc170377dd39408","datavalue":{"value":{"entity-type":"item","numeric-id":4680381,"id":"Q4680381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69340d8878c76c79019d2608541fa25d452cea20","datavalue":{"value":{"amount":"+0.740343451499939","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":"Q5085859$6E181DED-BFD9-4A5F-AD64-F5F5EB522091","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5085859$08BC862C-5507-40EB-9576-139A97953F3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Order types of models of fragments of Peano arithmetic","badges":[]}}}}}