{"entities":{"Q4764614":{"pageid":6794194,"ns":120,"title":"Item:Q4764614","lastrevid":82621337,"modified":"2026-05-06T21:20:59Z","type":"item","id":"Q4764614","labels":{"en":{"language":"en","value":"A domain-theoretic approach to functional and logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 751118"}},"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":"Q4764614$92EF44AC-E024-40BF-A36A-3883153E66B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61b0f83e2b6e6e4d29581f84db86301c2f5ca676","datavalue":{"value":{"text":"A domain-theoretic approach to functional and logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4764614$F35B46BE-C5AF-49CF-8EF7-0D9A75DECA37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"074c035b927b89f5deff2227c979e8c4d68b4be0","datavalue":{"value":"0817.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764614$B1E92451-37CD-4B10-8912-1D341897AF36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"127b50065716bed296354c18c36b2662887c6412","datavalue":{"value":"10.1017/S095679680000040X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764614$599790A9-A861-444E-863B-FBA9FAA0E426","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3682e5c6a5f3b2e375167373bcf1d8214d33214","datavalue":{"value":{"entity-type":"item","numeric-id":4764613,"id":"Q4764613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764614$2954DA2C-C00F-42E1-814D-66CE9FA15A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41a56534dd23780900fa1075d2898141d6886e7a","datavalue":{"value":{"entity-type":"item","numeric-id":169895,"id":"Q169895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764614$8D6E436E-BC3D-4336-A15A-53FDAA3B66B3","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":"Q4764614$30EB21AF-AFA4-4298-8006-B796F7FE9678","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7004dab7195f76b52ad610efbf3c1d77a19afe78","datavalue":{"value":{"time":"+1995-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4764614$EA79364E-80A0-4BCF-BB72-DF295FDF5468","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764614$15F87CE9-5FC1-470B-8752-98E31C37BAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764614$3364D93F-549C-4CB7-BCC8-3D47B0C6C7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764614$BB3AECFF-C17A-4456-9B5C-94E3CC67A8FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fb7a46cfee6fd259d701e91027ab1894a4302bd","datavalue":{"value":"751118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764614$FAAF37A4-C804-40F5-A99B-00EF165C23DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44fd930476b90729c3eb418031858ac6a215b05f","datavalue":{"value":"logic programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764614$57F2AFE8-2E13-455F-8A91-A293E33ABEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764614$2FA41D44-C2F7-400E-A056-5158698D4CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8b28db2930d38aaba9bb5e7892e3cb5085714e","datavalue":{"value":"set abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764614$D698AC03-4EB6-46EC-8125-E5153BBE92F2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764614$3522E6B3-C933-4D13-84C1-26660AE5793D","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":"Q4764614$BF8411F8-B9C9-48F7-9B88-589A24DD5734","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764614$540068E8-0B7D-4221-A718-811A2011F645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764614$51442E44-A8B5-4663-8751-2C57411595A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764614$894F2026-2774-48D0-BFEF-30D0524E2C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc952c4dd8b2618cd6914cf7fc4aa87c79fa4aa","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764614$0D8DD93A-CC71-4EE8-9E43-25291D11EEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764614$A6C1FE8B-0A55-4291-9152-787FF818AB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4f5c649d6997030aa2756de294a13f22a936e3","datavalue":{"value":{"entity-type":"item","numeric-id":3735058,"id":"Q3735058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764614$EA6F9674-76D2-4A81-9FB2-B5E7B76C775D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0b4f7ff3b427d85f5b1839dad4d5d85eb01769a","datavalue":{"value":{"entity-type":"item","numeric-id":3936221,"id":"Q3936221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764614$4FF9A7AF-3BA1-457A-B7EF-C56D61AEFCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764614$B430E0EB-15B4-4089-B901-927256BDA0DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e63c8dd3505d3b4763cd057cdffd0fea0e080c71","datavalue":{"value":"https://doi.org/10.1017/s095679680000040x","type":"string"},"datatype":"url"},"type":"statement","id":"Q4764614$3F61A588-3AAB-4C97-848C-31EFF9F24C70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"111cc74369d8c4a8560122963d1af03561b5d202","datavalue":{"value":"W2008159174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764614$C2530936-C4F7-4868-8B28-7B5CC5EF7D67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6435aa5bcaddac50de157598e4e8650bc89251d9","datavalue":{"value":{"entity-type":"item","numeric-id":5688913,"id":"Q5688913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2f85d0b03222d21098a65a887b87accfca41df","datavalue":{"value":{"amount":"+0.7896100878715515","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":"Q4764614$0C391662-163C-435A-9129-6186F85B59BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903bcee0b22629fffddc28b33ee6ebcfd661dd36","datavalue":{"value":{"entity-type":"item","numeric-id":3498436,"id":"Q3498436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a289cfe75783028684dc6c9e954396fc5dc216","datavalue":{"value":{"amount":"+0.7887756824493408","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":"Q4764614$D19E4131-C81C-47A3-A8EF-78C2647B4878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12632cfab228270d97fb94fd5e39565560f67e60","datavalue":{"value":{"entity-type":"item","numeric-id":3780494,"id":"Q3780494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8fb1b17aa66fb270661da3a5fd25e298bff2fa0","datavalue":{"value":{"amount":"+0.7836250066757202","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":"Q4764614$E2753E6E-1771-4382-837F-E0C46CB48D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d01455848708a281133daf319d529abcc7265d9f","datavalue":{"value":{"entity-type":"item","numeric-id":3122663,"id":"Q3122663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4bb41b987fb315134ab33a770fb4f0697af1374","datavalue":{"value":{"amount":"+0.7758679986000061","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":"Q4764614$BC300FA2-0CA6-4E42-8A0F-BD95487DE5C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A domain-theoretic approach to functional and logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_domain-theoretic_approach_to_functional_and_logic_programming"}}}}}