{"entities":{"Q4215635":{"pageid":6245236,"ns":120,"title":"Item:Q4215635","lastrevid":41786600,"modified":"2025-05-08T08:01:01Z","type":"item","id":"Q4215635","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1215498"}},"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":"Q4215635$1172C0AF-D8D3-4F50-9F7C-14BBA1315D88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2438d3e85d5d77efa3ef33eb584a7db7ddab3c24","datavalue":{"value":"0911.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215635$1F4C3959-3034-4AB3-9FDF-688CFA5CB59B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd7bcd31c089eea43fd8677a5426b0c7b8e7e1a7","datavalue":{"value":{"entity-type":"item","numeric-id":792318,"id":"Q792318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4215635$2D7CC3EA-95AF-408B-81CF-F00343123BBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922497d4a58e2f99e676638a2c08358f6cab3ae5","datavalue":{"value":{"time":"+1999-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4215635$02D2EB08-0950-4BD8-877B-809B19F28A02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215635$CAEDC321-49AE-486F-A6EE-56E74BE3808D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215635$824BA9D4-850A-4E25-891F-7237918857F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215635$94065929-064C-4F11-8249-191704D1B4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215635$0183AB99-420E-4FFC-9585-2874A0DE5214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215635$455CBEEE-4D29-4B2B-9ED2-7F42E329D304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215635$2824CF80-5C21-4E1A-AFDE-5267A5E5E962","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebe11e0dfd1b70feb301ebae4dd004bead3128cb","datavalue":{"value":"1215498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215635$B6C245CC-D04E-47F0-9C41-33EE30C73FC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3102f4c12b5f51fd58e4f3324f426aac8a49e397","datavalue":{"value":"realizability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215635$61B598CB-1714-4B0C-8355-9DB6C5AE00CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bb162c196a3357547697a42a48b523e2788d32f","datavalue":{"value":"constructive semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215635$E7CD3B6E-B7B3-4B3C-80BE-51DDC2FCFD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880189f3ab141434ac60dc229df6c4a00e086156","datavalue":{"value":"intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215635$B77D464C-EAF6-4424-9465-CA4391491112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e94e0ad1449079b371d2e6cdcbf98e66a20a0a7","datavalue":{"value":"intuitionistic higher order systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215635$F2EE34DB-C4A5-44FC-8EC3-1352A56F2285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d6d4da2955676805f9d9c6fe22162726d1976fe","datavalue":{"value":"numerical realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215635$E5E9CE6A-92D0-44D1-8C45-6A199BEE893D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e951512a0dc01984832295ab8143e85176e54509","datavalue":{"value":"abstract realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215635$E92A69DF-73A1-4D68-8CCE-6286E9541493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215635$1E380924-C626-4857-A351-E49188F253BC","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":"Q4215635$F8DB1D55-FEF7-47AC-A614-B03747542F56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e34037fdd3c5d6dfeb99f38ebca57316e55290b0","datavalue":{"value":{"entity-type":"item","numeric-id":3149963,"id":"Q3149963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9e3ecf9fc2d0c7a09209afd34a2642d69b7fb9","datavalue":{"value":{"amount":"+0.89111793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4215635$E706D18C-BAD3-497F-AE7C-784F1506EA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7510187e227362d379ef28e8f04e715169204d7d","datavalue":{"value":{"entity-type":"item","numeric-id":1356980,"id":"Q1356980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"978f4d0858223b2ea6fd7b3c2a6902cc13238bf5","datavalue":{"value":{"amount":"+0.86756104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4215635$6B49CFA6-9002-444D-BBB0-EC2C45E5C06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2d42bddd0ffc17e2ad9de0323b313432510088","datavalue":{"value":{"entity-type":"item","numeric-id":4783307,"id":"Q4783307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac4a2ca3f6b6ff50d4c5296d226fca3057c26270","datavalue":{"value":{"amount":"+0.8673211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4215635$C36A7D66-098E-42E8-85BE-0D2A2B01AE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be31b9c83c4d6c72735a5ad2e12e922282ccd603","datavalue":{"value":{"entity-type":"item","numeric-id":5448764,"id":"Q5448764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90bb3f38d9b0b86b80005fb32e9c95192c5b315b","datavalue":{"value":{"amount":"+0.8616374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4215635$E4E29E60-B848-4CB3-AB2B-2CF8F8D293A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78956c5cbf9ebd0577c07c207ef0f4fc086b02b","datavalue":{"value":{"entity-type":"item","numeric-id":3222024,"id":"Q3222024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bea4a747da7d35a8bbfe10232f52de13fce967e3","datavalue":{"value":{"amount":"+0.8594979","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4215635$32522C2E-A121-4E2A-B04D-C0D28374CE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a12170b2b9d1b219005e9cfee46be8ece69e939","datavalue":{"value":{"entity-type":"item","numeric-id":1362589,"id":"Q1362589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bc5c9254b0a0646753466df08d586740471c3a8","datavalue":{"value":{"amount":"+0.8593757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4215635$C29CCC35-7D93-4513-86D5-7ACA5EFB1BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7695f850c17527d5357a889666bca786d2e596d7","datavalue":{"value":{"entity-type":"item","numeric-id":2752053,"id":"Q2752053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da58678ff99aa829a13ec313698a01ef4d4f0f65","datavalue":{"value":{"amount":"+0.8575754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4215635$2989874E-8B46-40EB-8692-A2CAE4450FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8876f2d0908464e41d15af95996f4b2eca34ddad","datavalue":{"value":{"entity-type":"item","numeric-id":3608428,"id":"Q3608428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e86684d4b55bf864723d85bd2d735c6b89024b","datavalue":{"value":{"amount":"+0.8573097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4215635$CB44816B-F296-431B-9D40-A64FCD520EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a69a855436570f8e5759a1a9b92de40acc94f0d","datavalue":{"value":{"entity-type":"item","numeric-id":3483284,"id":"Q3483284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b7e9ef6431c50721db85725b1eed52a251b408","datavalue":{"value":{"amount":"+0.8441993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4215635$0881888C-2414-4789-954D-E3113ACDB841","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4215635","badges":[]}}}}}