{"entities":{"Q4703141":{"pageid":6732718,"ns":120,"title":"Item:Q4703141","lastrevid":46871007,"modified":"2025-12-25T18:26:07Z","type":"item","id":"Q4703141","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1377710"}},"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":"Q4703141$07E10C49-6AC0-4709-8D51-EC4F8EA2E905","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"043e0c4bd271aced1b581807d40bc81e0b3ca9ff","datavalue":{"value":"0936.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703141$3BBEC44F-D8B7-4940-949F-0B61476670A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c7bc7c189daf73345f89856903f5ca6df7f2","datavalue":{"value":{"entity-type":"item","numeric-id":235615,"id":"Q235615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4703141$258F988A-BE2D-4E7E-9D7D-C0EC19A220BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da3131908ff1ac1042649152f821cfef80bf5853","datavalue":{"value":{"time":"+1999-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4703141$481D5113-C83B-416C-A61F-015230939A39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703141$35A72AF4-2B20-426C-8D62-99A9953AEC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703141$A67B1A9F-A47F-47D4-B221-69E5B7A154AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703141$4715AE48-C70C-4427-9FCF-6755C49274C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31a1ed5f1d042b0b653e8a90e52dd9f2ff7304ce","datavalue":{"value":"1377710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4703141$2DD730C2-F7DE-4B3D-8A35-1B1FEFEDA1FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0223b061cdf0ad1a736bdd762852460a3afaa078","datavalue":{"value":"classical interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703141$72B2FB1B-7CAE-4F1A-834B-9B15D426EA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229596e4bd0792cf8934836223eeb1432c0a9d68","datavalue":{"value":"Brouwer-Heyting-Kolmogorov interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703141$F408AE94-03A6-491A-B807-583939D2B2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab8cdd61a9c8fbe7b32fd12c06d7ca3bd885963a","datavalue":{"value":"classical theory of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703141$FA388FE3-B977-4F02-BD50-A505F113159E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a9f9933de6a7ce3bb0c747fc7f1a4eec5eb2770","datavalue":{"value":"first-order theory of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703141$B5BE30A9-FA04-4B38-B762-2FFF11AC14EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9b26e3457702832feb2c249bcf2ae732e116d8e","datavalue":{"value":"catch/throw calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4703141$B3A359A5-76A1-4CE1-B3B3-214D51D12D28","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":"Q4703141$8C496664-8AA6-40C4-B74C-E2C23CD9747F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c96dbf27e0a30197955f3c16758ee382c3cd0799","datavalue":{"value":{"entity-type":"item","numeric-id":4370223,"id":"Q4370223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aa636c812e330e1f7f4123536af131002c6e5dd","datavalue":{"value":{"amount":"+0.999456226825714","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":"Q4703141$0C736551-255F-4847-8265-26DF093ACAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc857418e348f60f0cc237b1d60472ce957f6fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4463988,"id":"Q4463988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230f35031d517a0ebeb58ec4bcf3612673a77878","datavalue":{"value":{"amount":"+0.756976842880249","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":"Q4703141$4AFC8731-1EEE-47AD-A0AD-732CA60B146F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eee761d350055cecaf5aeb7ffc1e23fab36fb66","datavalue":{"value":{"entity-type":"item","numeric-id":3637184,"id":"Q3637184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1d6a897da5ec627a07f9dfcba2cd8a775fcdb2d","datavalue":{"value":{"amount":"+0.7132825255393982","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":"Q4703141$D7295541-6C6E-4A70-9DE6-B5A630F80D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14bd06838364e417808839d3cc7ceb7d065837a0","datavalue":{"value":{"entity-type":"item","numeric-id":1762729,"id":"Q1762729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d269a4e69b98746acc64bfe7453eb1efb214225","datavalue":{"value":{"amount":"+0.7115428447723389","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":"Q4703141$106F7AC5-3E8B-4787-9E89-7C478B81F242","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4703141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4703141"}}}}}