{"entities":{"Q2531614":{"pageid":2542357,"ns":120,"title":"Item:Q2531614","lastrevid":44286453,"modified":"2025-11-21T17:45:41Z","type":"item","id":"Q2531614","labels":{"en":{"language":"en","value":"Reduction of arithmetic to logic based on the theory of types without the axiom of infinity and the typical ambiguity of arithmetical constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3273137"}},"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":"Q2531614$A9865973-63BC-48F0-9CB4-195D6C04B722","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5abbf82d3d308d34a20f446eafbb75c07046f133","datavalue":{"value":{"text":"Reduction of arithmetic to logic based on the theory of types without the axiom of infinity and the typical ambiguity of arithmetical constants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2531614$85E905FC-9401-4A48-94B4-45A638C9F2EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29399ae99e95ccf362289e49dd64698400f057b1","datavalue":{"value":"0171.25501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2531614$D58604DF-274F-4B2A-B57F-1B93B956D008","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61049f71db9d421df26fc7da0a2d5f85d5a44ea4","datavalue":{"value":"10.1007/BF02126760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2531614$9D3F4DD9-BE21-48D3-AF1A-A7F63F90F6BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bcad4622ea20290f07f2853d0688f46198395ac","datavalue":{"value":{"entity-type":"item","numeric-id":767856,"id":"Q767856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2531614$87C2FC47-C5B3-44C8-8952-1FC7CEAA5324","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2531614$53F06D47-7793-43A1-A6FA-A89718DF3991","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"510532e6645dd28b1ac246dd4622d0e1df04736a","datavalue":{"value":{"time":"+1958-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2531614$96643094-550C-469E-9600-4374BCB1F7B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7492de8e700a00c014b147916100a412ff8fa75a","datavalue":{"value":"3273137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2531614$80A4A794-D105-4799-A9CF-3BF166D86FC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db9eec9f8678adc5795d2749c1b35b75bb9eac3","datavalue":{"value":"general logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2531614$900D6CF0-12D6-4E6A-AB75-4395F1FA21C0","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":"Q2531614$95754F4A-16FF-4CC3-941F-5B194B27B38A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4956fa10b83c6df45a611b10953b85f81e54408d","datavalue":{"value":"Q114693660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2531614$6EB02A27-B5B2-4F83-BA7B-8670BE23903B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2531614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2531614"}}}}}