{"entities":{"Q4943309":{"pageid":6972891,"ns":120,"title":"Item:Q4943309","lastrevid":47459269,"modified":"2026-01-01T19:35:03Z","type":"item","id":"Q4943309","labels":{"en":{"language":"en","value":"Higher-order functional languages and intensional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1416093"}},"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":"Q4943309$005FAB89-B236-405A-A555-81985CD71323","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdb919775c526f61112e0bc7323a9ed89d493522","datavalue":{"value":{"text":"Higher-order functional languages and intensional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4943309$A79DD63E-8B12-440F-A9F6-07938E48E829","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b486ea3a4383434819522ccf77eac43496897fd1","datavalue":{"value":"0945.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943309$0012F713-C858-4111-BACA-10D9F43D31AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3785a0cd415c224ad2e04cdc7401892a6ef5ff5d","datavalue":{"value":"10.1017/S0956796899003445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943309$0CE35ADB-E7F1-429A-B62D-736E29CC730F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943309$27F90697-3BD0-4D71-80C6-2242C3B47297","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a831e2ddd3ec081d65f9d9ba86075a05ae19362","datavalue":{"value":{"time":"+2000-10-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4943309$2FA5E0B5-C3F1-4640-84D6-DF37DA057063","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943309$08E61A1F-6D70-4659-B249-EF18C4787B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943309$1B7F3C70-4C7A-40AC-8E96-88EDD0E964D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f9ae49d5aecf1fb669854c6951a1db8d1ba4005","datavalue":{"value":"1416093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943309$2AB39C78-0211-4547-A4C7-474E125F105F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1491210816a4300945f62f1e5f38ce4affe0d95","datavalue":{"value":"multidimensional intensional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943309$ACDDB87A-F91A-4F15-86F2-0FA1AD436619","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f03ad14f8565d93112bf50bde5012e75c18a3f","datavalue":{"value":{"entity-type":"item","numeric-id":15444,"id":"Q15444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943309$5C81F705-68D5-4C51-84A1-19535DC87500","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":"Q4943309$8F590E72-0F28-423E-B9C5-C1372C5A56D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e119e30d9cdd786165c98e29147591b5b0feab7f","datavalue":{"value":"https://doi.org/10.1017/s0956796899003445","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943309$C60BC5AD-88B8-478F-BE2D-BFDF299949C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f069c594606800f6dbe90f49237909de12db92f","datavalue":{"value":"W3140389550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943309$6D199EAC-B219-4D52-8538-B7A279208F02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a80cfbcfb092e1c48409ae3e33a7805acc025e","datavalue":{"value":{"entity-type":"item","numeric-id":4339019,"id":"Q4339019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf8d1fa531badecceec4b2aef1f53b26a9ab80b","datavalue":{"value":{"amount":"+0.8364359736442566","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":"Q4943309$9A32C2E5-DD11-4FCB-A051-8400D8DD1421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc11f67327686a9fba8db1679156961999e08c9a","datavalue":{"value":{"entity-type":"item","numeric-id":1001354,"id":"Q1001354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278d76ec5dabd8b647e3bc4f135d2e0a061582b3","datavalue":{"value":{"amount":"+0.8126917481422424","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":"Q4943309$1E3CA292-6F6A-42F0-BE74-658A2F7C2E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4c45ec0cb8bfa13179ebd7086fc58dff7f75e1e","datavalue":{"value":{"entity-type":"item","numeric-id":3813272,"id":"Q3813272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95a5bcb38f782dbe8a402fa8888d13b2dd6ae98a","datavalue":{"value":{"amount":"+0.758691132068634","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":"Q4943309$E8ED699C-284F-40C4-AF23-D57AB55D8ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb6480e4f70fbd62b5f0474aaa410ff0944a363c","datavalue":{"value":{"entity-type":"item","numeric-id":1733061,"id":"Q1733061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd14b61e9bad803987004566c271017c95f5f37","datavalue":{"value":{"amount":"+0.7417008876800537","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":"Q4943309$7A4C381F-BA61-4DA1-8F26-9C2751D646B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed9f5864f81045a67a60c410e4e16ddea966d08","datavalue":{"value":{"entity-type":"item","numeric-id":3219096,"id":"Q3219096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4911f2eb397499f44152bd491d5d79c1319ffda","datavalue":{"value":{"amount":"+0.7299179434776306","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":"Q4943309$3990C1FC-F831-47C3-B17A-EF4E66D052CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4943309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4943309"}}}}}