{"entities":{"Q1403202":{"pageid":1413942,"ns":120,"title":"Item:Q1403202","lastrevid":67360332,"modified":"2026-04-12T17:06:23Z","type":"item","id":"Q1403202","labels":{"en":{"language":"en","value":"On the relationship between foundations of programming and mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1973012"}},"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":"Q1403202$1D77F95C-F493-4869-BA60-E342BC8CDEC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a969781bce0e1ab51a4e4158e6a0045ba829fbf","datavalue":{"value":{"text":"On the relationship between foundations of programming and mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1403202$1C58A1E6-19B9-46A2-88D6-5E70DB0AD1F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64efb525dfca6cb09f0fbf98c492d1c7ecbac98e","datavalue":{"value":"1040.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403202$3E2BEA0F-ED10-4758-8EE9-9FFE85A61736","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c629de6528923693450acc0646336ea6b5ae9e7","datavalue":{"value":"10.1023/A:1012746417053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403202$F39CB4B1-94A3-4A74-AE5F-6253DD8A4F1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a436e39da3d6b8ad590c00bb677a6bbdd102b1ab","datavalue":{"value":{"entity-type":"item","numeric-id":174069,"id":"Q174069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403202$33F46935-B970-4150-BD12-5DDE9CA7C928","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1403202$5898D337-5417-474B-A53D-D0E04FCB399C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"433a0b2d5ca848667b737a26efa25021702b8585","datavalue":{"value":{"time":"+2003-09-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":"Q1403202$2CC66E58-096A-4CF0-B351-6926A608FB4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403202$DF22E6DC-CBAB-4608-86A5-FCF9EA979EC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb918942435bcb43978369934d2633bf7276ca8e","datavalue":{"value":"1973012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403202$5998731F-64E3-4FD0-AE89-B540ED8C15B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1403202$D2E355B5-5E58-493E-BE5F-CDCB42513D6B","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":"Q1403202$2AC9CF86-B179-4DE9-9FD2-D18FBCDBBDF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6211c69aec7a132d8f293c0d668f2d980368cb3","datavalue":{"value":"https://doi.org/10.1023/a:1012746417053","type":"string"},"datatype":"url"},"type":"statement","id":"Q1403202$1AD2C3C7-6F55-418C-AE3A-038505631982","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb5a50874a395b28ba95101ed6e5946b8ce464c0","datavalue":{"value":"W1479884901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1403202$F29D2725-A5AB-465E-88B7-F5D9061952DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42224b3bc999fb2f80ef3cdeac254baa7fc85eb0","datavalue":{"value":{"entity-type":"item","numeric-id":3210885,"id":"Q3210885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7797e6b1f7b35ea4f86aeeabeb57e6a0e64731ab","datavalue":{"value":{"amount":"+0.7561154961585999","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":"Q1403202$0EF3AF84-9E77-4B17-A165-896913E41BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c4b0cce3e2196d60d60231c8e3f87c7ff0fd14","datavalue":{"value":{"entity-type":"item","numeric-id":3428749,"id":"Q3428749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0436467bd8ae0a298d9fe589813fa0b10fffb500","datavalue":{"value":{"amount":"+0.7447760105133057","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":"Q1403202$4D374F77-8172-4E97-B2A4-D310788AD002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1dc41e6f20ecccd8590bd05e35fce12348207a8","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6feaf9ed066934fcab56d38654dea3913e061045","datavalue":{"value":{"amount":"+0.7191479802131653","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":"Q1403202$2F6B12F6-25AE-4FD3-8B2B-26F0CFBF67CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af8c9da0b4f1c75f735985d09f670555d18ea24","datavalue":{"value":{"entity-type":"item","numeric-id":3709853,"id":"Q3709853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4abe2b65c6238f8a6e6773e974ba7358d14dc87","datavalue":{"value":{"amount":"+0.7150465250015259","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":"Q1403202$A4FF014A-F5B4-44DD-B45A-6828799F38A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bed3da5e4867cdbed437e20367fc57627dfe652","datavalue":{"value":{"entity-type":"item","numeric-id":3785904,"id":"Q3785904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d63ca240dff59a6651c8ef5ccf976cb87c3e003","datavalue":{"value":{"amount":"+0.7011597156524658","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":"Q1403202$BB404052-B441-400E-B0C3-6DD7C17C8AA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the relationship between foundations of programming and mathematics","badges":[]}}}}}