{"entities":{"Q2982016":{"pageid":2992741,"ns":120,"title":"Item:Q2982016","lastrevid":52799411,"modified":"2026-01-23T13:01:41Z","type":"item","id":"Q2982016","labels":{"en":{"language":"en","value":"Datafun: a functional Datalog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713906"}},"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":"Q2982016$7A3C1220-9865-4303-9B0B-F77F8A9D10CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07dcee7d12483ae10348d8c00c1aaf2ee962bd4c","datavalue":{"value":{"text":"Datafun: a functional Datalog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2982016$1C87AACA-2659-49F5-9C01-03B220289AEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bed8ba14fb44eb36ef9a7b766bd5acf2dbdc58e","datavalue":{"value":"1360.68312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982016$2FC29999-FAEA-4F25-8FE0-6F5C25CA8B03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"889b6bcef796b1c75fef56cdd03de56cae666d5e","datavalue":{"value":"10.1145/2951913.2951948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982016$49D85EB6-9304-428A-8A6A-0B104749669A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8807c834f783b698e717d173582d2cce1e76097","datavalue":{"value":{"entity-type":"item","numeric-id":2982015,"id":"Q2982015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982016$AA3D5446-69A1-4EEB-A044-5E0ACFAE847E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c80825289a5e0e61699d027c0caa56c8052edcd8","datavalue":{"value":{"entity-type":"item","numeric-id":2819784,"id":"Q2819784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982016$0EC96364-D0EA-46C2-AF4B-B02FDFAE56BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"423c52aacdf5e1820397bb95b30ee85c088ba9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981996,"id":"Q2981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982016$0F661689-3BDE-42E7-870D-42DD9558AFF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2982016$3BAD6897-6F3A-4A42-B4C6-0E0C3DEF347E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d7f15ba87f65e949c239a8b5f63eb3230636c11","datavalue":{"value":"https://www.repository.cam.ac.uk/handle/1810/267161","type":"string"},"datatype":"url"},"type":"statement","id":"Q2982016$63F00604-7367-484D-80F8-5DFBF13D8CC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982016$E0AC408F-9E7B-4CFE-AF6C-D53C3B8DC1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982016$2922DBE8-3D7D-489A-A607-7F3B3F5F7E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982016$8F45981A-8FFC-42EE-ACE0-1ADC77EB7A15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c220bf653e7267a4df8332e0066fc067afd075fb","datavalue":{"value":"6713906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982016$51424560-302D-4EC2-AAF6-3ACCFCEE5C2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982016$387081D5-AC50-4641-A664-9FB9C41E3EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982016$4D04DC1D-BEA5-477D-8249-10964DEE30D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4e10d7d7a7684a734cb095050fcdd6d5421b9a3","datavalue":{"value":"adjoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982016$531FD292-D648-4323-B098-2C47F728BD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982016$2CA532E5-880C-437D-9071-5562ED2C3533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea481ac2a707a0dc73d563ecec76d3e7a185fb49","datavalue":{"value":"domain-specific languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982016$B1DB2604-BC2B-41D7-8F1F-3D9343CAF131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982016$60DCCCF3-2CD5-4AF4-A473-E56378431252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982016$1E0A5097-396D-4E10-95C0-2D05BAC0A90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982016$3BCF6F33-D959-4D96-BA1B-09A638841504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2982016$30F5C1E0-A0B9-4589-B146-51916D9FBA4F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"128951d7ba750c6d2d01713b558d7312d78648c8","datavalue":{"value":{"entity-type":"item","numeric-id":31845,"id":"Q31845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982016$5EFE3662-45B4-4ED1-BE47-B79E293B86F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"688eba81cb056dd5bd9a14f97160caacc67f3346","datavalue":{"value":{"entity-type":"item","numeric-id":18616,"id":"Q18616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982016$8C743113-D0F7-45A4-A2DC-E1C1A610CA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2982016$050DB5CE-834A-4D74-9642-05DBA31C45AC","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":"Q2982016$7186668F-4A0C-476B-949F-E4315C3C61AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b632aec877ff94fb3f851e686e05492780d1f4c1","datavalue":{"value":"W2517279098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2982016$F222F02E-0BA2-4547-A597-6AAD9E42CD24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2108c9728678c996de8ce9db0c3fddbad25eb48a","datavalue":{"value":{"entity-type":"item","numeric-id":1862647,"id":"Q1862647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5c2a93a0e57c5f23f5f1ef1e586ba98353b0fd","datavalue":{"value":{"amount":"+0.7933381199836731","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":"Q2982016$0BF8B903-D92B-4437-824B-39CD2DD4829F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d578ff68eb19c12537c1a901197922360974c7d7","datavalue":{"value":{"entity-type":"item","numeric-id":2872498,"id":"Q2872498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5c2a93a0e57c5f23f5f1ef1e586ba98353b0fd","datavalue":{"value":{"amount":"+0.7933381199836731","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":"Q2982016$36BA2590-22D9-4BD1-BC9C-B0921A384882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650d2d8adf575bb76b9df09fa253b58a066e6dd0","datavalue":{"value":{"entity-type":"item","numeric-id":1817097,"id":"Q1817097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b1ce86a4106d849cb4cf4b8fbc6a4de002a29f","datavalue":{"value":{"amount":"+0.7905049920082092","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":"Q2982016$707BE9E3-F221-40AB-81B7-B796F79934BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d613c7dc855dc51f6e8b76bc70dccea281725459","datavalue":{"value":{"entity-type":"item","numeric-id":3453389,"id":"Q3453389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f5bf576ffd2b54e6080778bdab6ed7e82ac0584","datavalue":{"value":{"amount":"+0.7905048727989197","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":"Q2982016$B0EE10DB-75F3-4987-9842-087D64E33366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adfa0e40f8c1116d155106c1b6b53b31391cc41","datavalue":{"value":{"entity-type":"item","numeric-id":1176285,"id":"Q1176285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7787b6525c43b29dfb0e544c8235ae7b6b020e2","datavalue":{"value":{"amount":"+0.7631041407585144","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":"Q2982016$F7DBEAA6-628F-466A-B25F-5445A0EEA189","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2982016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2982016"}}}}}