{"entities":{"Q4372909":{"pageid":6402508,"ns":120,"title":"Item:Q4372909","lastrevid":58257000,"modified":"2026-04-04T11:08:16Z","type":"item","id":"Q4372909","labels":{"en":{"language":"en","value":"Peano arithmetic may not be interpretable in the monadic theory of linear orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1097737"}},"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":"Q4372909$D2A9133C-2DB4-43C8-AEB1-6FE468305961","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b705718d8e34de1f047b6719213ce468522c2768","datavalue":{"value":{"text":"Peano arithmetic may not be interpretable in the monadic theory of linear orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4372909$C147102F-250A-4B99-81C1-64D62B1CE597","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4383ac58b4d0a480a1434171a5f48f8c61dbb07f","datavalue":{"value":"0888.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372909$E75EA866-9E66-4423-801E-908B9E8D0BE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaec02613bdf80b75784b03ba1c9f08b7b6b52c9","datavalue":{"value":"10.2307/2275575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372909$B27094D3-61A8-46CF-BEAD-6C2D9F69188B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e52b3824d22789596482a2b9058dbe14844e01d","datavalue":{"value":{"entity-type":"item","numeric-id":1190618,"id":"Q1190618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372909$ED578571-41DB-400C-AF7E-F5ACB7DA0A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372909$503FDCE8-10D3-4871-95D1-84751BC908F1","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":"Q4372909$3736B914-CA2A-48D5-86A5-6A5ACEEE28B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"707f4f6bf2442bf320ee965767e7282ab1441346","datavalue":{"value":{"time":"+1998-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4372909$A7EAA01D-5A55-4BEA-9E81-A2968572D9CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea1a1aa7f85fe6fbe6ad8e5aa8ee2c38da05fc0b","datavalue":{"value":"https://arxiv.org/abs/math/9308219","type":"string"},"datatype":"url"},"type":"statement","id":"Q4372909$94105183-7510-49A3-8DD7-3BECEC07B635","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372909$C2C5A086-AE4E-42C9-9640-917A099AF80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372909$EC27D0FF-C456-4420-89C7-23D7490064B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372909$6BBD83AE-289A-4B14-90E5-34948B9EA520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372909$DB5870D9-BB4C-483A-8FB5-1E77318133DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e14febcf9db9332e6c678e604ee2cefd026d19c4","datavalue":{"value":"1097737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372909$CC10C758-9D3A-45CD-AD5E-31805F1B0E3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508d90ed2d0cb5ed3bb66db4c84128c9e2d80423","datavalue":{"value":"interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372909$BE5DB8CC-2621-4684-B436-AC2D48B51B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b315e5744246e180d98e5e127d48ec6165108fa","datavalue":{"value":"monadic theory of linear orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372909$3FFF2419-6B28-4D22-B0F7-A2F8425D7A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372909$4606C548-4D2F-4586-A3C8-D89485DEFA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372909$9A27B326-7D4D-48D9-B95C-AF4D26B3326D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68138c6c4f989c8583da9383e27778d5268533ba","datavalue":{"value":"ZFC","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372909$E780CA27-2AA8-42F2-8649-05D55B7F646B","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":"Q4372909$5D6BAAEA-C0D0-47DB-B5C3-BDD13A7FFFD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4d09647139faa850a9a6a44423dfdf4e00ad3c1","datavalue":{"value":"W2122146934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372909$F7C6B25D-A023-4029-8509-D812939A2B8F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5d69fec77a7144a9c1e86ad4f935d5cced0915e","datavalue":{"value":{"entity-type":"item","numeric-id":3476808,"id":"Q3476808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372909$1F3F9D2E-1F46-4256-AC70-47CCA9FAE15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64040bbac50b384a31548ecb60a990ea2585409","datavalue":{"value":{"entity-type":"item","numeric-id":3663256,"id":"Q3663256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372909$D95468BC-04DE-449E-B3F5-F7263F747FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef19537f6117a60da11938622219bc015c36a55","datavalue":{"value":{"entity-type":"item","numeric-id":1078169,"id":"Q1078169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372909$BE84AC2C-B624-42BB-A558-628337A98981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7a4bea75dde5fc87e575fdfc8567cbc4a9cea5","datavalue":{"value":{"entity-type":"item","numeric-id":3347854,"id":"Q3347854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372909$00DEB32E-01A2-4D99-A562-3FD462004E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372909$AAE3A79F-84FD-4577-BD11-2058CCA8FBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66b09db5c8078eb80a90d017753d8b2354bc8026","datavalue":{"value":{"entity-type":"item","numeric-id":1063588,"id":"Q1063588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372909$84E70D44-9C86-4BCA-94CC-C507CCDDCE7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e2507beceedb53d25eb6edbc9f9714c225b23c","datavalue":{"value":{"entity-type":"item","numeric-id":3476808,"id":"Q3476808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e5e7173591d79483865d4879f1b839d5f2127fc","datavalue":{"value":{"amount":"+0.8126848936080933","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":"Q4372909$0609DE6F-A296-42AA-93D7-BCC1F0E43BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c1137f5d7840113ccd09a15be4ce00740f5af6","datavalue":{"value":{"entity-type":"item","numeric-id":1306794,"id":"Q1306794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d0585512ee95df7ef7a453b8770ca09aabd826","datavalue":{"value":{"amount":"+0.7523921728134155","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":"Q4372909$5D07C744-17FC-4D77-AA5F-ABC58BE7232A","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":"cf460e24eb881f5bf49ed5289bd226c079e76495","datavalue":{"value":{"amount":"+0.7375220060348511","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":"Q4372909$AEFC5404-738D-4334-8196-FB9C2EC9D55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff26d453794330aab2cb8254dd7fff45ac95174","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ade82f641776e18165ac84f4f22ba7d23c26049","datavalue":{"value":{"amount":"+0.7361885905265808","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":"Q4372909$11B8F62F-6E6C-47E0-88A0-D614E1819235","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4372909","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4372909"}}}}}