{"entities":{"Q672703":{"pageid":674552,"ns":120,"title":"Item:Q672703","lastrevid":63462951,"modified":"2026-04-11T13:20:11Z","type":"item","id":"Q672703","labels":{"en":{"language":"en","value":"Fully abstract compositional semantics for an algebra of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985144"}},"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":"Q672703$D07B2229-8EF4-4188-9747-E03960F7543C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03e5403f70084f04e3348021ca64957ff9a258d5","datavalue":{"value":{"text":"Fully abstract compositional semantics for an algebra of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672703$DA82C790-C3D1-4B54-8B36-CBD35F78B615","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d9e882a41255f374818e1b9aa6c1ab702d0c04e","datavalue":{"value":"0874.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672703$DBEC2CD0-ECBB-4833-BCD6-81B83EA4EFB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"755a9cdcd05ea79648b2a65bae8aa2ee903da75d","datavalue":{"value":"10.1016/0304-3975(95)00012-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672703$52FB0E4D-82B7-4A61-89D1-87682ACE28ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e105f5452a33d5c31b2de16d56cb54daabe02cb1","datavalue":{"value":{"entity-type":"item","numeric-id":615892,"id":"Q615892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672703$F259C9D0-EF5B-4137-B572-9C357524197E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f86d2ae42b4ac6b7475aa3d6d5d960440f9add9b","datavalue":{"value":{"entity-type":"item","numeric-id":672702,"id":"Q672702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672703$8B81ABAE-56A1-41AB-BC8C-705579C1E9F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672703$4977A916-53F4-4D04-9475-4B3FE4E0C4BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672703$7AA21594-6F89-42AA-BDA3-ECF96C0BBF5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672703$A6C88572-C9DD-4E28-8991-E631C7334C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672703$5558E4ED-C513-46B2-80A6-D6932039EAE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b43904c6d93a45408ca4bdfbc7a222120ae857c1","datavalue":{"value":"985144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672703$595C4451-372B-4D77-A78F-F4F051F954DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ab4f5fcbc1782f878028f67d61289692be18b5e","datavalue":{"value":"program composition operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q672703$A88F8605-E513-4DC5-89FB-DFF8A4E0C8FE","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":"Q672703$753EEBB9-7A4A-4FE6-A6C4-2F95C9FDE8E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672703$EEB159D6-86F4-447C-B0A4-6BD7C077A217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea05446166fe1b070fea7f2a42017bcc4179b3e2","datavalue":{"value":{"entity-type":"item","numeric-id":1308986,"id":"Q1308986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672703$40B6017B-7EB5-4832-9F5A-8BE336FD9F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a26471773da5179b27c72454f978cb82d6c68f","datavalue":{"value":{"entity-type":"item","numeric-id":1205176,"id":"Q1205176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672703$CFCE09BA-230C-4418-A71C-280906A7EED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9492e3acd9ca65173e6d9a4fa2e6def10757a426","datavalue":{"value":{"entity-type":"item","numeric-id":4028774,"id":"Q4028774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672703$FA62B582-D970-45A8-8E6A-5F3DA4D32416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01e8e2dbc9c1918b71036fb0d734eaab6816a1","datavalue":{"value":{"entity-type":"item","numeric-id":913530,"id":"Q913530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672703$F9895C36-5637-453D-8547-3A45E2E5108E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1982f6dcbb904962e6834b62acc101b881811e","datavalue":{"value":{"entity-type":"item","numeric-id":3747701,"id":"Q3747701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672703$ACE050FF-4E29-4F14-BB81-2171C80D0BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"916f90652d55a7043c8bb9e5cf36216cc37b0d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3771609,"id":"Q3771609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672703$765F4F97-6149-4A02-B538-037C3F587E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2b7941e0263f7b7e467836b074360d7c632e24","datavalue":{"value":{"entity-type":"item","numeric-id":799098,"id":"Q799098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672703$4869E575-EBE8-4763-B418-2B99C8A76F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672703$A2E02EFE-18F8-41E8-B67F-7A4B30E14150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b29d3c54af01a349ca489d60d41b153ab03f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3725521,"id":"Q3725521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672703$13453C02-0529-405C-BCE4-806680CEF70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672703$E7A56365-34DF-43DA-B5A5-99A0A83A31D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672703$39D9184B-9105-42E8-89AD-06333206388A","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":"Q672703$CD800038-AD65-4313-A43F-96BBB12E9503","rank":"normal"}],"P1643":[{"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":"275164def053deef9319262f67710cf65a74c149","datavalue":{"value":{"amount":"+0.8530308604240417","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":"Q672703$D94FA605-6106-4F4C-BD12-62DE9DC8592F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19e77784c701cfdf07eb85ea483ab72521d74a6","datavalue":{"value":{"entity-type":"item","numeric-id":5712546,"id":"Q5712546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1268313d5201b881a79fef04997c120c59ac048a","datavalue":{"value":{"amount":"+0.8513500094413757","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":"Q672703$950D9C27-6647-4D7F-8FDC-2845973A25E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751570f5752c2c24c39a8f6620841facdcdf4c90","datavalue":{"value":{"entity-type":"item","numeric-id":5449610,"id":"Q5449610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d58f352b314a6d874ade1fbe6f6baea3e8cce8de","datavalue":{"value":{"amount":"+0.8444591164588928","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":"Q672703$FE472AC2-0B83-4660-9572-DE9C9AC86343","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":"ee6fe71ca7fa78e593d38c3c721805afb220880e","datavalue":{"value":{"amount":"+0.8404576778411865","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":"Q672703$A522203C-93CE-44F5-B367-731D5C369A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00aca7c03c64ed75a1eaf16ca34e9b3b51497b5d","datavalue":{"value":{"entity-type":"item","numeric-id":1314414,"id":"Q1314414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d52635aade74d4b9f67dd93e7cb6803a425bc74","datavalue":{"value":{"amount":"+0.8399243354797363","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":"Q672703$73C7B541-F8E7-4451-9350-084DD6F02BD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fully abstract compositional semantics for an algebra of logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fully_abstract_compositional_semantics_for_an_algebra_of_logic_programs"}}}}}