{"entities":{"Q4032872":{"pageid":6062606,"ns":120,"title":"Item:Q4032872","lastrevid":55230595,"modified":"2026-02-05T02:33:34Z","type":"item","id":"Q4032872","labels":{"en":{"language":"en","value":"A characterization of ML in many-sorted arithmetic with conditional application"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150238"}},"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":"Q4032872$500FCCD0-6E8C-4501-95A6-29B7E54DDCEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"269912e7dcdaa04a7ce9306ef3fb6d7c23e54a34","datavalue":{"value":{"text":"A characterization of ML in many-sorted arithmetic with conditional application","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032872$F7018D71-10B3-49D2-9FFC-CD788DD07635","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffda1a6db07ecc1ac93235d64c5a223e91b6cbd0","datavalue":{"value":"0767.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032872$DD5D7D9F-D1EF-4C13-A21F-7D74F4D04063","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fe7fc35f828d55284818a6b8452896685c38975","datavalue":{"value":"10.2307/2275440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032872$D87517B2-3D8E-4698-BAE9-D4C92981E87B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fb092187e3da8c6f46cf92de2a3d97b047739b1","datavalue":{"value":{"entity-type":"item","numeric-id":3984423,"id":"Q3984423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032872$FC8538E3-83FD-4DA4-B0C6-2945AF3C80E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032872$DBE01E62-27A4-43F3-981D-66CCFA14F44D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032872$D2D7E2FA-5B22-488C-8AB2-B5B9D541C309","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032872$F7FDD947-AE98-4651-A3F3-CA1D207B999B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032872$6D69F160-E124-438D-9C2A-EAB2F1345D6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbbed7518c155e676bea3736724f4cac052091c2","datavalue":{"value":"150238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032872$6122A170-0D73-4EEF-A122-FA937D936401","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486173fdea484958e371bcc478b16d274811d71a","datavalue":{"value":"intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032872$C309AE57-F796-412B-9172-61DFB22DB901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0211e7aa50a991b0482aa562ee45e9cde215aba3","datavalue":{"value":"many-sorted arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032872$B43798A3-1B8C-40A8-AA40-42B06B21AFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d8b6e266e68f82c7e070504957ec037ed09241","datavalue":{"value":"formulas-as-types correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032872$3C373403-3321-401B-94C2-434C4AE55AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33775f26030d071074f6e677c78b2fdd4159a0c9","datavalue":{"value":"Martin-L\u00f6f's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032872$CF85CB4B-3387-4D7C-8853-07242D707468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a6a7df19e9cf16bf73fa51b452efd488c8eb80","datavalue":{"value":"axiom of conditional choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032872$B3E9C1F0-65F0-486F-AD61-BCFADF8448AB","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":"Q4032872$2C80B0A2-5118-4E14-B378-B898DA83992E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6824ccc92284c171126fd88260878ad5f90f726","datavalue":{"value":"https://doi.org/10.2307/2275440","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032872$6ACFDC9A-A7F8-42AB-84C4-299A63A32227","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b063005526f90e63d00e4314199322d5cb754ef","datavalue":{"value":"W2015291418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032872$5849866D-9FD2-461C-94B6-9E44E587C5A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032872$7D365F05-4578-4C0A-82FE-655DA57FC88F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d44b28afb70ede27cef571006d7b1babc5226cb","datavalue":{"value":{"amount":"+0.7644647359848022","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":"Q4032872$814394AF-76DD-4F95-B4C0-B6D45E249331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aa2501c1573c6700d8d909a4d436e4b43980dda","datavalue":{"value":{"entity-type":"item","numeric-id":792319,"id":"Q792319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81372b6739606e74c9a9f436435c5c1ba82f6439","datavalue":{"value":{"amount":"+0.7579348087310791","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":"Q4032872$915A1A65-DA3C-4257-90DE-83CAF95A9DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e3531ca5baa0e71d970e1f7742f2d4f1bea84d","datavalue":{"value":{"entity-type":"item","numeric-id":2500469,"id":"Q2500469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb010c235c96f0469a81e153e9b0b1fbd24edbf","datavalue":{"value":{"amount":"+0.7354751229286194","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":"Q4032872$EDE47AEF-100B-43CD-9AC9-A92DC12714E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c627492fd500f9c724d36db9e0f420687d667a","datavalue":{"value":{"entity-type":"item","numeric-id":4247302,"id":"Q4247302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b5d364420169bb256df35550f4c17371d7efc8d","datavalue":{"value":{"amount":"+0.7260856628417969","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":"Q4032872$3C16485B-9568-4B5E-9347-5AD5DE43A5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e93f1a193eead903bffcd6270708864c38c07b90","datavalue":{"value":{"entity-type":"item","numeric-id":1344548,"id":"Q1344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b5d364420169bb256df35550f4c17371d7efc8d","datavalue":{"value":{"amount":"+0.7260856628417969","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":"Q4032872$912C574A-C562-4168-AED0-B8ECFC9DA24D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032872"}}}}}