{"entities":{"Q3423147":{"pageid":3433850,"ns":120,"title":"Item:Q3423147","lastrevid":50038462,"modified":"2026-01-12T18:34:37Z","type":"item","id":"Q3423147","labels":{"en":{"language":"en","value":"Nonstandard models that are definable in models of Peano Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5129069"}},"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":"Q3423147$DDF6E1CF-8954-4025-A39A-70A888245CB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"606225437da4e011d4929308b0874cbd45da3f66","datavalue":{"value":{"text":"Nonstandard models that are definable in models of Peano Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3423147$83CA46B8-4679-4075-9D6A-87CEFC612040","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7dcfaa554174386fc445251005cba3c11186e906","datavalue":{"value":"1112.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3423147$6A4798D9-905F-46BF-948D-E1B2A73BE720","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67f276609d1b22783c31e8de118a086aea2965b9","datavalue":{"value":{"entity-type":"item","numeric-id":1277149,"id":"Q1277149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3423147$4985362A-2210-490D-8555-4D9BB6C20D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ace7d35c48a276921b263ca7dc19018345e4b50e","datavalue":{"value":{"entity-type":"item","numeric-id":190289,"id":"Q190289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3423147$4D240C0F-D32B-4B0A-B3EB-DB66D2A74FDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3423147$6338002C-B917-4E58-B6E9-1EE670275BA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3423147$7DBF68FA-C88B-4ECE-8613-F396F481E446","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3423147$24632E0A-54B7-46A4-97F2-CC94FD37549C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3423147$D00333AE-E735-47BB-AB4A-06188560ECD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3423147$FD1D0717-D93D-48E0-A962-CD2EFBC65289","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29e0270564835f6742c432f5b27c734e5cd294af","datavalue":{"value":"5129069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3423147$E72202FD-A86D-40E1-B271-EAC22941D756","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db30a59ab186bd1de9bd036d852f96617b0edad","datavalue":{"value":"Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3423147$EA69330C-031C-49D1-994B-FC0DEDE3C5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f547617abdf5a580f4ff124c9d3d969088ba90c","datavalue":{"value":"definable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3423147$45AC8359-135D-40BF-A736-4AD6A688DBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f19cbfd979f077b20d52e4b29476e07fb73906a4","datavalue":{"value":"Tennenbaum's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3423147$838A50D5-847B-45F7-BD78-A8DBCBBC8DCB","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":"Q3423147$F52F5654-0471-4A6C-A16D-E6AD05F031E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e7db6794e20c9e8f548532b1edbcda2acdd9177","datavalue":{"value":"https://doi.org/10.1002/malq.200610020","type":"string"},"datatype":"url"},"type":"statement","id":"Q3423147$C3D929F0-5BE2-4DB5-B84F-A0241A6FD7A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d012ef3ec4d5d3b7c264e1d4afbcce0a5fd67099","datavalue":{"value":"W2051458286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3423147$5CFB0A55-42D0-40BB-9356-84F11D60E11A","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":"Q3423147$A3B19D3B-E3C4-4EDB-B483-D20EDF7EE4D5","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":"Q3423147$E5354186-1524-494C-A9CA-52B8C08A9EFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a02a2e6c7accba8890337efdfe46c0be22560cb1","datavalue":{"value":"10.1002/MALQ.200610020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3423147$3CB207B5-3131-4476-BD4F-30EF9D001141","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9999b8efdd17e6a2b2534a1ec2a360890be82720","datavalue":{"value":{"entity-type":"item","numeric-id":3757918,"id":"Q3757918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298efa25b50873b916b340e5212af70065a32629","datavalue":{"value":{"amount":"+0.8103110194206238","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":"Q3423147$8571F12D-53AD-4678-8778-832F5034906A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c814f88765ff8df49b2d56cf9783e695a79bc28f","datavalue":{"value":{"entity-type":"item","numeric-id":797573,"id":"Q797573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda91adcc963eb3c5085dd9b19cdfa2a2a24a2b1","datavalue":{"value":{"amount":"+0.7664867639541626","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":"Q3423147$16F1E959-EC01-428F-B4CF-55D722C44D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbe9f21f99f3dd8f2eb2740974d670332eb5f06d","datavalue":{"value":{"entity-type":"item","numeric-id":4647109,"id":"Q4647109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1971e3de34c4b8e42adf8e4f322240ac34e3a2","datavalue":{"value":{"amount":"+0.7625510692596436","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":"Q3423147$A5BAC226-F731-4FE3-8DE2-8673E3BF23D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1493c9eea3065d6ef84c2054e6d6ac9128df8caa","datavalue":{"value":{"entity-type":"item","numeric-id":1102945,"id":"Q1102945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33703c81a5dc794c6c0e1499eb37fb7c1dd6cc59","datavalue":{"value":{"amount":"+0.7616896629333496","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":"Q3423147$1A16A4FC-7DC4-4BEC-AA16-BF5DCAD9DE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3859da7c1c15d586f5d84c2297f8a8da241adf93","datavalue":{"value":{"entity-type":"item","numeric-id":1113901,"id":"Q1113901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4648ce443914643731bae2a67abc163b31f69e96","datavalue":{"value":{"amount":"+0.7597333788871765","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":"Q3423147$6C1F9C04-35CD-4FD3-99B6-7CBDB408DE72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3423147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3423147"}}}}}