{"entities":{"Q4700444":{"pageid":6730021,"ns":120,"title":"Item:Q4700444","lastrevid":89972915,"modified":"2026-06-04T18:45:36Z","type":"item","id":"Q4700444","labels":{"en":{"language":"en","value":"An algebraic framework for the definition of compositional semantics of normal logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1356512"}},"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":"Q4700444$1A047898-8E9C-449A-A9AE-25F26956DB2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15be80667d392fe689cc6a8aa9c4d228739759ab","datavalue":{"value":{"text":"An algebraic framework for the definition of compositional semantics of normal logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4700444$AF4EE505-ABAB-4BCA-8BBF-20735A71681A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79a258b7ba148e8f9958da6fc448a6d765111012","datavalue":{"value":"0933.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700444$DBFC6F85-E2BA-4630-9486-E75E86BB1020","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10c94890b09e8c3796914c8e3781bb4d9cbb8684","datavalue":{"value":"10.1016/S0743-1066(98)10039-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700444$7EEF92A3-883B-41EE-B542-5CA2692BEF01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1fc9c84eb3207ee438d2d5ce3c97d92242bb030","datavalue":{"value":{"entity-type":"item","numeric-id":352972,"id":"Q352972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700444$6E4BDA2E-5620-4AF8-A2C4-178856120C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"874a476e6716f6cd8f170e2420dcab2786650206","datavalue":{"value":{"entity-type":"item","numeric-id":347378,"id":"Q347378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700444$713E3D58-EBFC-4E80-A3EC-9482F895F900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acb520baf4553e5f2bda3f04d79076458155f33c","datavalue":{"value":{"entity-type":"item","numeric-id":444363,"id":"Q444363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700444$15477ADD-9B18-47C0-BF15-17E454DEE663","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4700444$C1AA9EDA-F7CA-4A0E-9131-3BC55435531B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9ff749b3707f7cb215f4483c5a296daee21d1bc","datavalue":{"value":{"time":"+1999-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4700444$19067CA6-1CD3-496D-8310-69DE819319A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700444$14818F93-77BA-4172-A41B-65386445CD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700444$91153821-9856-4A78-9F32-BEC04A783482","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae1ba55abb2a1a16a746441afad90d700de6050b","datavalue":{"value":"1356512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700444$11634E18-113A-4E99-A7DA-1DFCC652691E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90cee9fd01e4d52e97dfa03cc5edc822f7d84920","datavalue":{"value":"normal logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700444$4928F467-5223-4D81-B38A-5E6336B31FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4700444$828055E7-D0B5-4898-B996-F832DBD51508","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":"Q4700444$E3415242-DA10-4486-BC3A-92B9603781DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d40bee8a204d40a2e277170714bfa1cc9036f172","datavalue":{"value":"https://doi.org/10.1016/s0743-1066(98)10039-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4700444$4893FCE3-AF32-4240-B589-DC4FF00C77E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffeecebed66713dd5cc0c53af960fed2f7ae5510","datavalue":{"value":"W1990195251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4700444$516F2EA6-2D1A-4C97-A3C5-FDF2D3ED4870","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddaca5a3cff7c8241a58c411d2cfb2fe8104bef","datavalue":{"value":{"entity-type":"item","numeric-id":1274967,"id":"Q1274967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3301f1a1997818700c954dd622eec14dfcc1ed7","datavalue":{"value":{"amount":"+0.8513181209564209","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":"Q4700444$1EA49B8C-8684-454A-932E-8072AF7B85AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5205b198ceec958417b1610078225fc6f88e85bc","datavalue":{"value":{"entity-type":"item","numeric-id":5096873,"id":"Q5096873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd401a3d7b923f2e24a5e21f1dce739c7745b6c","datavalue":{"value":{"amount":"+0.8364729285240173","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":"Q4700444$1080A3A7-EE6D-4958-83FB-8ECC70821D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539af1f29a63fd967a7fa7e490d1c41cccd980f9","datavalue":{"value":{"entity-type":"item","numeric-id":672703,"id":"Q672703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e48f8ba6293e8300592870108fb427af2074097b","datavalue":{"value":{"amount":"+0.8224546313285828","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":"Q4700444$23E79DBB-A429-4150-811C-71C3AE0EF94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"235f58e65e65b3490f2b324acc2b516f396278e5","datavalue":{"value":{"entity-type":"item","numeric-id":1391732,"id":"Q1391732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd77fdb54fa70fe19e1d44ba20658d94633d9fcf","datavalue":{"value":{"amount":"+0.8218971490859985","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":"Q4700444$41BD664B-0066-472E-9EC2-2BB255697B45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algebraic framework for the definition of compositional semantics of normal logic programs","badges":[]}}}}}