{"entities":{"Q3687706":{"pageid":5717612,"ns":120,"title":"Item:Q3687706","lastrevid":50228222,"modified":"2026-01-13T14:17:10Z","type":"item","id":"Q3687706","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3911699"}},"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":"Q3687706$34CC8D63-CF9D-4416-B912-9747CAB99178","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7eae36c892dd456cdad1c87ff04c8a61bff75e2","datavalue":{"value":"0571.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687706$929BD98B-E571-4B2A-9CE9-FB774036EE87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3687706$7990ADA0-BECD-4EBF-BB06-A4017E75C5E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687706$761108D7-CCDE-4A46-A9C4-A4FA7017E228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687706$A227F953-70B0-4722-BB78-1AFADCF51895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687706$EAEA007A-51C0-4997-B533-596A6C212DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687706$6DE10FC3-10F2-4750-A3D2-7AA78AE0F4CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13958d1157c1ed7b9ad98a329d3fbfe2546cb597","datavalue":{"value":"3911699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687706$D092F15D-1314-4E78-9428-C399EFFA1281","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b39bcd33ba55d4227ecae1456f6e1430405ab2d","datavalue":{"value":"programming logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687706$24CD07CA-6B2C-4281-949B-DBCDEB88BF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a5791a243fa321eaf536a6cb964c0463bb6ba9","datavalue":{"value":"higher order predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687706$98C12E05-3854-4943-8C3B-0E50D8635698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"769deb2addcd2fc54220af12dc8707e9597c6c80","datavalue":{"value":"propositions-as-types principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687706$2D37588D-0B47-4A45-8185-20F322BBEB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687706$13094C7B-678B-4906-95FB-8FADCF9269CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4e079e0273e3f43672e874d1a7cad7b0b78c766","datavalue":{"value":"Simple Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687706$D48C7579-844F-4D2C-A2D1-DE4813DC2F30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3687706$4C7E56D8-A340-4F20-BEED-DB77271588E4","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":"Q3687706$4541E47B-3C70-40AF-837F-2DAEE6C1F9F6","rank":"normal"}],"P1643":[{"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":"6875cfc32f51aa40188eddc03e1c4ceef7d694bd","datavalue":{"value":{"amount":"+0.95940846","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":"Q3687706$6AAF0B2C-DD93-454C-9EDF-EDC058E02ABB","rank":"normal"},{"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":"b90352ca95761bcb4b76415d454dbdeb4a9d2da7","datavalue":{"value":{"amount":"+0.946015","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":"Q3687706$84C56A14-4E2F-4953-AF5C-2E461FEDBD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c4d34f5281e7663a424c38d09befd774aa8123","datavalue":{"value":{"entity-type":"item","numeric-id":3221387,"id":"Q3221387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07070556604f906c6334c5f3865ebb673e825fc","datavalue":{"value":{"amount":"+0.94052655","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":"Q3687706$49D9058D-87FC-4291-BE99-CE090317D011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eaddb9f0964e9b2aa4f3d5872382e0cb2f62c76","datavalue":{"value":{"entity-type":"item","numeric-id":5687536,"id":"Q5687536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fec453e7377d79bd9b69cf7e36082cfc5d494f0c","datavalue":{"value":{"amount":"+0.90055597","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":"Q3687706$78121E60-4618-459B-B489-6A3E4058C695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326370fc478b338445057697a5767503eb8c2f5d","datavalue":{"value":{"entity-type":"item","numeric-id":4960411,"id":"Q4960411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441426251a55a186ded956a41d2a7f8320c93897","datavalue":{"value":{"amount":"+0.9004993","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":"Q3687706$AC107E51-96AD-4FB5-86B4-46A7D3849523","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3687706","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3687706"}}}}}