{"entities":{"Q3066785":{"pageid":3077501,"ns":120,"title":"Item:Q3066785","lastrevid":51161504,"modified":"2026-01-17T00:25:21Z","type":"item","id":"Q3066785","labels":{"en":{"language":"en","value":"Unfolding finitist arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5835031"}},"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":"Q3066785$D4D15E87-6ED5-4D77-A243-C63196C826DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc3c271e885fdd75a8e66dc19e59bf4a8e79f611","datavalue":{"value":{"text":"UNFOLDING FINITIST ARITHMETIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066785$370E0D1A-5D76-4126-8BCB-4B922B7226CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f96f911870285ed01c7812a04cc678f49d2318c3","datavalue":{"value":"1232.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066785$B798F5EB-3E46-471B-8570-384A94553D5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7277a47933e43d24f8ad00d891c38257571bed1","datavalue":{"value":"10.1017/S1755020310000183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066785$5F34066C-C687-4AAD-A03C-0697040A300A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066785$7A35EADB-AD87-4443-945F-5B855C6B53A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"703e8b987ff5a02d9a59e4ce9f4b68bdce3e6ac3","datavalue":{"value":{"entity-type":"item","numeric-id":588960,"id":"Q588960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066785$7D7B249B-6DF4-493D-8EF3-D49C9C50C3E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066785$E956ADF1-D7B6-4111-B18B-573208091FD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"116fa09142602a6e0facf41839050cbb16a96129","datavalue":{"value":{"time":"+2011-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066785$3F6C88D8-A898-4B0C-92B8-6C864BC90657","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066785$2AE0FE9B-B815-4B04-A32A-C85038A3052D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6e73130e4b96e627659d643d42271d6587800d0","datavalue":{"value":"5835031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066785$20400F67-368D-4473-BF94-788927E04D13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066785$1C8819AF-9992-40AF-B8C3-BB1D418673C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4e5ae6812c281c5c26c0e6aec1be3964c438d4c","datavalue":{"value":"finitist arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066785$7952FE88-3D30-419F-AB38-9D9A01537932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b0d18202daf525538448ca1262425d196033741","datavalue":{"value":"bar rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3066785$E1567E36-28B7-4A5D-90C0-6EC6CD804B5E","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":"Q3066785$8EB4DDF5-BDEB-4733-BD39-432206E55A84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"850b01f29d8fac6dd0ba94059ecf97677f06259b","datavalue":{"value":{"entity-type":"item","numeric-id":4477873,"id":"Q4477873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066785$53F08622-AF47-4C20-96D4-F7E1698CE04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8ebd0adc06fe7c4575ee72369b3335638736e0","datavalue":{"value":{"entity-type":"item","numeric-id":1577479,"id":"Q1577479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066785$935D30D2-3608-450F-BB7F-EF7923D2D74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e720d961baed2338413c8155ffd213efe72769e5","datavalue":{"value":{"entity-type":"item","numeric-id":1577487,"id":"Q1577487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066785$29B12E75-06B2-4B91-953B-EEE5718C57F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1ed4340d57379e1eb99f55cbbd7ed5e9ca730","datavalue":{"value":{"entity-type":"item","numeric-id":4674792,"id":"Q4674792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066785$7695EB35-2E0B-4E6C-B8CC-F16147964A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def5659e262d9601c2de72c38ef43bc16faa2300","datavalue":{"value":{"entity-type":"item","numeric-id":1131248,"id":"Q1131248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066785$4224C14E-D334-4C28-B11D-2452317E1789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066785$0D86EA1F-8675-4E2E-A8EC-99D6C298D67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76f9a44a41d968d437c996e0e1e0be731222ce0","datavalue":{"value":{"entity-type":"item","numeric-id":2557247,"id":"Q2557247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066785$05B68928-5505-48F9-B879-B9B5350280B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d60303e489b8bc9d376a064df603c63ddce8abd","datavalue":{"value":"https://doi.org/10.1017/s1755020310000183","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066785$286E3219-D513-474F-AAB4-43891C222036","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c44c3647e59c8c1e4ff5f792af21bffd1e5c3704","datavalue":{"value":"W2129350981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066785$C00E6916-84D2-4EA9-AC56-D0083CD63D98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a45e7c3ebe113aa2b3c04cf54809f08aa2fa75","datavalue":{"value":{"entity-type":"item","numeric-id":1577479,"id":"Q1577479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8b78452eb966e7495c657a3c3c427ecfc226a86","datavalue":{"value":{"amount":"+0.910686194896698","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":"Q3066785$ECED0C53-9B18-4D9B-91EA-6FC96C9E6926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df55316f440bcbef4c099c04f6572d7fc4ccd653","datavalue":{"value":{"entity-type":"item","numeric-id":3744153,"id":"Q3744153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001959aa186b54e61becc8d7c09588c5624548c9","datavalue":{"value":{"amount":"+0.9106859564781188","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":"Q3066785$18DFA6D0-EAE1-4805-A858-23E1EF2815ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a4890ef98a8167a359dae35a7bf34984503cec","datavalue":{"value":{"entity-type":"item","numeric-id":5214786,"id":"Q5214786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5d1f34e4d1485e3559700bbccac7273a2635c5e","datavalue":{"value":{"amount":"+0.8625808954238892","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":"Q3066785$8AE0018A-421E-4536-A025-185A29C679B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996434ef1866e7179d67ef8bb4f4eb46b180ea77","datavalue":{"value":{"entity-type":"item","numeric-id":4893132,"id":"Q4893132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673692b36c7a9298835a7f97a199844723dbd2ec","datavalue":{"value":{"amount":"+0.7758635878562927","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":"Q3066785$137106F9-2105-411F-822B-40AC3EFC69B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e2d44cb47803930234188ebe191c0d1f088583","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c879d76f086440ce6b8da9e1e93c8407c8b94456","datavalue":{"value":{"amount":"+0.7246284484863281","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":"Q3066785$5A436FAC-97D3-49D8-8F8C-B21C26BCA661","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3066785","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3066785"}}}}}