{"entities":{"Q1709680":{"pageid":1720421,"ns":120,"title":"Item:Q1709680","lastrevid":57499236,"modified":"2026-03-31T04:30:41Z","type":"item","id":"Q1709680","labels":{"en":{"language":"en","value":"Fixed points of self-embeddings of models of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856631"}},"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":"Q1709680$AC6CFFD9-DCAC-47FA-AB70-53CE77C55817","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d033c1d18bbcae3907f775d1cf4c3f4d5c480fc5","datavalue":{"value":{"text":"Fixed points of self-embeddings of models of arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1709680$8E97DE81-1A7E-46A5-A3E3-CCF355551D7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2257cdba71bfdd158e4bd548541dc0f3328193e8","datavalue":{"value":"1483.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709680$4841918F-3D4F-466A-9998-F9999ECF1944","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6644f3c650ab83dbb3c451943e3ff72bb27b6f29","datavalue":{"value":{"entity-type":"item","numeric-id":1709679,"id":"Q1709679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$53CE8CDC-8B79-4714-B814-29AFEC65DA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d91baa7b851119daffbdb37a964d70bc49dc7e61","datavalue":{"value":{"entity-type":"item","numeric-id":204231,"id":"Q204231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$02E2DE1C-08AE-4F0C-86FD-32C10251DEC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$DCA4B72D-42C8-4AB8-9DAA-8138D83359A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903e104d255c76762b447f9c24b1eed2b1fc2c24","datavalue":{"value":{"time":"+2018-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1709680$B1241B28-198C-4463-89CC-DD2F2AF878EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e5e75fb955af5af79e0dbd914cbd99884e51b98","datavalue":{"value":"https://arxiv.org/abs/1703.02588","type":"string"},"datatype":"url"},"type":"statement","id":"Q1709680$CAB8771F-4FA5-4D44-9BA4-6261211C4464","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709680$448DB8B3-DBBF-4856-976D-5E61CC7F6A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709680$B0681705-2F90-4BDA-87E5-008BAD7EAA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709680$36E88948-9E8A-4ED4-9EBB-4D08CF69A54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709680$B2349FBD-5CF2-4D8A-9D72-59BE20DEDFA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a98d99591791a4b3f81c1c09272987f363c8418c","datavalue":{"value":"6856631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709680$0A78E878-2D9D-40C4-9140-CCD2A13F7BC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709680$09EB5121-D991-4775-AE76-46A521E79503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e04183e937d39c8f73a58e372a7f2c1d080846b","datavalue":{"value":"nonstandard model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709680$3EB1CE29-8629-425A-A995-58E2F0F686C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c618e2ea4d4d1f00b1e05e2a8219e4f127168312","datavalue":{"value":"self-embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709680$B16ADE1A-B72A-4172-A03D-C06538B1BD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709680$42DEF9B5-8276-4DB6-A4CC-337ECBCA4FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08df1be2c80d929a1cbfb5a6cb1cb895f77f17ff","datavalue":{"value":"strong cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709680$12DF27BB-E31F-417E-A5C8-42B19D023820","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":"Q1709680$EECE70B7-57BD-46AD-9C4F-65F38C84F421","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"016a8ab5674c02772eaee2c0a7f21047711cb336","datavalue":{"value":"W2962971708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709680$F29AD676-F7CE-4B03-BCA3-9277BA3EDBB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd0c1529f562117a090953a3135e06f4a872b0f","datavalue":{"value":{"entity-type":"item","numeric-id":4656799,"id":"Q4656799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$82EEEDC5-5267-43C2-BE5C-43CC0A10D889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6e4157373fd58274a40973fa66ad7b141c13cd","datavalue":{"value":{"entity-type":"item","numeric-id":3962995,"id":"Q3962995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$6180EF78-F5F5-4A80-B656-768EAB75ADCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7df236be969c8350307b4f4ec3f3cf940656b33","datavalue":{"value":{"entity-type":"item","numeric-id":3753990,"id":"Q3753990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$5E89213D-FE17-4C2B-B860-B09799B9729C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa1b421ce158e0c80a0fd32fd98a5e50f6a5d609","datavalue":{"value":{"entity-type":"item","numeric-id":5393634,"id":"Q5393634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$6A4BFF9A-EEF4-4212-BF8A-7F3A922E08A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7b8abfbc712d8f958a932b891f007a0aba90c9","datavalue":{"value":{"entity-type":"item","numeric-id":3414770,"id":"Q3414770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$43602826-847B-46ED-80ED-B2F85D109C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3212018b4d2e7287610dffc608589666d837485b","datavalue":{"value":{"entity-type":"item","numeric-id":866555,"id":"Q866555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$553ED8F9-D683-4E2E-B58F-F19452101C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd2589c414072dd68a48c3fb1ba723526c58f47","datavalue":{"value":{"entity-type":"item","numeric-id":5222077,"id":"Q5222077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$5188012B-26E1-4DE7-8E9B-C4DBF8030D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53055883410ea0d3bddd06e6680c324bc0f9331","datavalue":{"value":{"entity-type":"item","numeric-id":2400502,"id":"Q2400502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$7A8221D7-B718-4598-88FC-C46EC0347C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1da2c906127047f6001b9ff5289a7bfc2c3a967","datavalue":{"value":{"entity-type":"item","numeric-id":3215216,"id":"Q3215216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$78C0B530-05C7-4AF0-A7A3-BA2A81894658","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":"Q1709680$15359304-0EF5-47CF-83B3-6E2933C86B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59827ab99dcc695c7f6ade20ac24ac662bb640c4","datavalue":{"value":{"entity-type":"item","numeric-id":3924175,"id":"Q3924175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$894D4E38-C010-406A-B89E-E3CFF90F69E1","rank":"normal"},{"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":"Q1709680$10C2AFDC-EB6D-4161-BFFE-C14153AF46DC","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":"Q1709680$E7C8B8CE-17F6-4645-B36F-7F22BE82D310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815608d91af37dadcdd307ac6ea19901cc19bc54","datavalue":{"value":{"entity-type":"item","numeric-id":1182432,"id":"Q1182432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$24CF36EE-304D-4A3A-91EE-FD8CA626DFBA","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":"Q1709680$FF95E52F-3EE2-456E-89F1-F54A28403867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c901c3c73132acf46de173f473a9d50691c217","datavalue":{"value":{"entity-type":"item","numeric-id":797573,"id":"Q797573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$458D1DFE-7E3D-4542-ABC8-AFBF2506DB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75404b85aec9d3f8d81a90cf7f18337600389e","datavalue":{"value":{"entity-type":"item","numeric-id":3884109,"id":"Q3884109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$26FB5B7F-F3BC-43E5-8829-D098BECE924D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1697775dd3a0ffa029813e5b9745779fe16361a","datavalue":{"value":{"entity-type":"item","numeric-id":3792686,"id":"Q3792686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$14794D6E-0CEF-47BB-A20A-96556EEF3106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$E7608153-5AFB-4EA4-9E04-4A9E9C877156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2107626ee4027f832d969a9a96198fcdf9001fc","datavalue":{"value":{"entity-type":"item","numeric-id":1161743,"id":"Q1161743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$9DD65630-D5C1-4F5D-9B6A-B786458DB783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1cc02264b41f13da9858fdcf78f208463e9ed5c","datavalue":{"value":{"entity-type":"item","numeric-id":3966138,"id":"Q3966138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$0E69A241-6039-4534-AFF7-CB213AB43BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b376d62da623b4844da39dc9f9dd7a1ac0375315","datavalue":{"value":{"entity-type":"item","numeric-id":3968927,"id":"Q3968927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$D4A93E72-46AC-4893-90F8-BE9A4E8B616E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7602444df7615cca65f103f55996e5f1293df10","datavalue":{"value":{"entity-type":"item","numeric-id":3216650,"id":"Q3216650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$C831C355-8CAC-4CC9-BE00-481BA5B4906F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162040415a0005b6cccaf64b77b1c8997346c7d3","datavalue":{"value":{"entity-type":"item","numeric-id":5213556,"id":"Q5213556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709680$FD4F5C06-B810-43F2-A156-F2793B80237B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a04c3869a619d2376d840844c077112f7a238e07","datavalue":{"value":"10.1016/J.APAL.2018.01.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709680$CA05E6F2-DF5F-411F-AB1A-7881BAB9567B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d53218fc51240b1b3244cb0bd795b0e1375e7a","datavalue":{"value":{"entity-type":"item","numeric-id":2204369,"id":"Q2204369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c7ce68498ea1f8e6452e4b707afee402603cff4","datavalue":{"value":{"amount":"+0.827685534954071","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":"Q1709680$A78073FF-0D76-4F7A-819B-964545A9EBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e60ea3801e51b8c4a47b2f3e23ace2f03e89331","datavalue":{"value":{"entity-type":"item","numeric-id":3414770,"id":"Q3414770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee333c4f28f041f61834f509efa4ebba439f79f4","datavalue":{"value":{"amount":"+0.8135069608688354","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":"Q1709680$6188BAEA-AD7C-427C-B7E4-8AB47420198E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c9475dcf7851d8598da0e571e59ddd566b9c8a","datavalue":{"value":{"entity-type":"item","numeric-id":4372852,"id":"Q4372852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f44fe36d1cc67d22d0168bc311d13877e892f58","datavalue":{"value":{"amount":"+0.8051782846450806","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":"Q1709680$F22BD60C-83C0-4F22-B266-3A50968D2C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e38b68c8655e66ebb778e1ad14b6c0c1ac100c97","datavalue":{"value":{"entity-type":"item","numeric-id":5213556,"id":"Q5213556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2532fb6697521fec40b192081ff5223ca82e7a25","datavalue":{"value":{"amount":"+0.7535285353660583","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":"Q1709680$895EA77D-A77A-4269-A200-596B572BA1AC","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":"b4d388052b95df2ea634779eb6e183440c3c24c5","datavalue":{"value":{"amount":"+0.7507885694503784","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":"Q1709680$3C679689-B8E1-4828-80D6-04DCF1836E9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1709680","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1709680"}}}}}