{"entities":{"Q4372852":{"pageid":6402451,"ns":120,"title":"Item:Q4372852","lastrevid":46990476,"modified":"2025-12-26T00:22:48Z","type":"item","id":"Q4372852","labels":{"en":{"language":"en","value":"Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1097663"}},"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":"Q4372852$2854228E-015E-4D3F-9988-C14038DB84F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2964dadfeea5530c02f1e034bea07116eacac615","datavalue":{"value":{"text":"Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4372852$4F5A42E7-23DA-4B3A-80FB-E140771B680D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4d502a6938ba5ca7dce096acad46a95e4c12a84","datavalue":{"value":"0894.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372852$BE10E9D7-D64E-4706-B875-2EAB24175CF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b670107d49e5cfb9b0abb2ab2d53889e002f633","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372852$2C2EB2F1-E61A-4515-9DCE-9B9EE72D2E9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"befefdbf4b5e326bd1bedc2a91e9c20f746bff09","datavalue":{"value":{"time":"+1997-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4372852$DB2E06CA-AF1B-43DA-9D99-43A5362B25F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372852$BBC95DA6-3D01-4453-AC94-97961266BC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372852$973BEDFF-2F89-419B-8052-60BFF61B038E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372852$5C33B0D3-849C-4424-B3B1-BCD68B863817","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f98504b43f6612a851e046b4229b8fadbf11e095","datavalue":{"value":"1097663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372852$D92319A0-4325-46EF-A206-3A5415FEC479","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e04183e937d39c8f73a58e372a7f2c1d080846b","datavalue":{"value":"nonstandard model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$B6DB85BD-DB6C-4A8E-BE37-AE23D5020314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22dce1e3a0c8107bcede2b3030c6fea70d80df36","datavalue":{"value":"fixed point set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$2CECD425-219B-4B85-8332-35A0F933D337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ab89ef0afcd2141c7da8aae338608bd16ac9a","datavalue":{"value":"automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$BE2CECFD-7C29-42E9-8C43-27D3603F4E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5307e43959b88c4cccf04b113f239f7ba9d9fc9","datavalue":{"value":"recursively saturated model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$DAB7C173-C201-4B55-834A-BA7C43953574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db30a59ab186bd1de9bd036d852f96617b0edad","datavalue":{"value":"Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$A86C17E5-F954-48C5-BF67-95045EF82935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac30e82f2ec993d2094934d9f393f29e5eef990e","datavalue":{"value":"elementary cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$7A1E7A57-370F-4723-9679-27A711D03216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a36dbdb3051a674eadc531818ec5f92e5d9e0834","datavalue":{"value":"standard system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$C2640D5F-155D-45FE-98DB-7C17DAF087A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aa16816e02d0957379cdcfcf9c1bc94b6099f3e","datavalue":{"value":"fixed submodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$7D914570-B09D-4366-A520-DA0CA0995927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63beefba6f5c4dc194013613ac8f6449cfd54eb7","datavalue":{"value":"minimal types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$A1375BAC-974A-4ACB-9D6E-F34181DA9506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd5b25b3731a18f5c1c940038600f8d41af279c4","datavalue":{"value":"Skolem closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4372852$8B67B484-D17F-4789-91B8-9E4134B777FF","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":"Q4372852$0E16980D-05F7-481C-8805-8DBDE5684653","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45266f6752c8468c526ad42f0a9433244958a183","datavalue":{"value":"https://doi.org/10.1093/jigpal/5.6.787","type":"string"},"datatype":"url"},"type":"statement","id":"Q4372852$F5BF2989-D33B-4B52-AC29-F53DFFDED7BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc131b02ebeefaede617ea2490482351ec67a894","datavalue":{"value":"W1995834205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372852$2D191BB3-7998-4661-B8E1-8CCACCFDDBCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee953901ba300ed04ee9dae8199723e7da67739e","datavalue":{"value":"10.1093/JIGPAL/5.6.787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4372852$F352E49D-1A63-409C-847E-B96867533468","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4372852$027E103F-D1E3-4E9E-ADCF-336027AAEA6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a280b4df9bfb42ae19b5f3aadf559bfd8997d03","datavalue":{"value":{"entity-type":"item","numeric-id":1913628,"id":"Q1913628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f7245683428a32fc7101f1ff7e18bdfaf3c52f","datavalue":{"value":{"amount":"+0.8451106548309326","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":"Q4372852$6A9CF63F-045F-4673-B94E-A7CDBB8ABA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90b179cfedcdda0cab4e1deae590cdc1a23dda9","datavalue":{"value":{"entity-type":"item","numeric-id":4656807,"id":"Q4656807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6ba92b0dfbb7df13f98a56d4ae0a88aa218063","datavalue":{"value":{"amount":"+0.8392279744148254","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":"Q4372852$C9366401-A803-4B5F-BEFC-F371C4292AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f731b0a6d2be2fe8a661b72ec87102218c697f46","datavalue":{"value":{"entity-type":"item","numeric-id":1913626,"id":"Q1913626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad727e125e88d83e160c2d132b27cd8112c47c6c","datavalue":{"value":{"amount":"+0.8349500894546509","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":"Q4372852$64613073-8EF4-433C-8653-63427A4AC5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3158bd79829d64173751f7095fd8605f9f8a70fb","datavalue":{"value":{"entity-type":"item","numeric-id":645748,"id":"Q645748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29dee6219cfcb320113a59e12b8bfe62ade7d866","datavalue":{"value":{"amount":"+0.8334982395172119","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":"Q4372852$09BB7266-4AF8-4A74-9B6C-30FD3FF5E225","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4372852","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4372852"}}}}}