{"entities":{"Q3414770":{"pageid":3425473,"ns":120,"title":"Item:Q3414770","lastrevid":87097889,"modified":"2026-06-04T10:40:39Z","type":"item","id":"Q3414770","labels":{"en":{"language":"en","value":"Automorphisms of models of bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5115123"}},"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":"Q3414770$B501392B-65A4-458F-8245-21BAAD045D0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41701fbb250344d4031e94e51c6ffdbecba46462","datavalue":{"value":{"text":"Automorphisms of models of bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3414770$56AC9EC7-20C4-4F17-8966-84CDF01E598F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5840671b587262c808b129651c1a9347b503b80","datavalue":{"value":"1115.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3414770$7CB92AB2-1CDB-4102-9A12-211732828490","rank":"normal"}],"P16":[{"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":"Q3414770$94A8E370-F2C3-40A3-9B45-253735CC60D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3414770$6ADA178E-93AD-418E-A60E-CB1DB646BA83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"350f23fc8526c677d5f2cefad55792370ca350fd","datavalue":{"value":{"time":"+2007-01-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":"Q3414770$34C83D90-37C6-4B42-BEEB-DB83EC0A9168","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3414770$3D760A39-04F0-4D6F-BBA3-4981F73E9527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3414770$E4A3B47C-83FB-41A1-A359-7BA462F1C8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3414770$046D9BC6-2E1B-4BBE-80F1-98F01BF3BE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"512f02c3a91060c0a6967ce7e6a4f8fc6304bb6a","datavalue":{"value":"20B27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3414770$ADC1F847-651D-4495-8703-7902A73B6942","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33e37187d6434fec2d03f6a3dcc03bc94a31d719","datavalue":{"value":"5115123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3414770$BA359118-D844-4867-A9B8-FAE66668E59D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3414770$2A299D46-5CE0-4DBD-9002-7696DEB206F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3414770$69129A54-5003-4DBF-A48F-AFDFC8720B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ec59c5b1bb9e4cd77cc696b9efa6551305dac4","datavalue":{"value":"recursive saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3414770$C07A54D0-FF7C-4BE4-BA70-27BA0B603188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ab89ef0afcd2141c7da8aae338608bd16ac9a","datavalue":{"value":"automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3414770$88F2740B-EE0E-4200-A481-5018B7B6B0A0","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":"Q3414770$3C2DDEAE-6657-472A-BBF1-ED2300FDB68D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b216082b2628a420b82737bcc7530142a069459","datavalue":{"value":"https://doi.org/10.4064/fm192-1-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3414770$ED2F006D-AF51-4060-8B1F-1528BF6DF8A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcaf477efc6966380bdbd410fbd23bca9c11dff3","datavalue":{"value":"W2117334030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3414770$430D69EB-BB80-4A6A-8927-A38EC3FAA57B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4807c0d3afcb61b505ccec600a8dd162791160ec","datavalue":{"value":"10.4064/FM192-1-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3414770$5989AF7A-1C33-4BF1-B6C7-067CC72CEF17","rank":"normal"}],"P1643":[{"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":"5337007763eb36f9765bff3ac31010ca9511a552","datavalue":{"value":{"amount":"+0.8151866793632507","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":"Q3414770$07D0C233-C71E-4714-906A-701224671790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1201bfdb71a2957dfbd7c7ac627aaf013a3ae75","datavalue":{"value":{"entity-type":"item","numeric-id":1709680,"id":"Q1709680"},"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":"Q3414770$BBE568EB-CAC6-4B0A-9244-4763BFB29B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21408a5a7c03aed5f3f75cf5d2882ebd15aedf17","datavalue":{"value":{"entity-type":"item","numeric-id":5393634,"id":"Q5393634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb65eb07503fb2e5109dc60161a1456577889866","datavalue":{"value":{"amount":"+0.8001523613929749","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":"Q3414770$CEEFEA95-4037-4D9E-BC6D-ADB4072A5818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3c4832e856c227f333ad523f45e7888d08c4e7","datavalue":{"value":{"entity-type":"item","numeric-id":684228,"id":"Q684228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"420a1e811d60445252cd4cc20db7d595478a3f71","datavalue":{"value":{"amount":"+0.7977257370948792","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":"Q3414770$C2554B2A-21BE-4CB6-88E6-BB467648FD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714e8d6d6af0411f8f489b31d23b30683ca1188c","datavalue":{"value":{"entity-type":"item","numeric-id":3701406,"id":"Q3701406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95b972e586f3c5eb47dce05e5eaf375062e7ceaf","datavalue":{"value":{"amount":"+0.7949601411819458","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":"Q3414770$CEECC03B-3A62-469F-985A-B722BB46A152","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automorphisms of models of bounded arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automorphisms_of_models_of_bounded_arithmetic"}}}}}