{"entities":{"Q1318723":{"pageid":1329473,"ns":120,"title":"Item:Q1318723","lastrevid":67162482,"modified":"2026-04-12T15:43:03Z","type":"item","id":"Q1318723","labels":{"en":{"language":"en","value":"A denotational semantics and dataflow construction for logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540872"}},"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":"Q1318723$19945F24-95B9-4856-AA3B-5317670453CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"345e4dac93737d2a4586e83a45c36b368b9a2334","datavalue":{"value":{"text":"A denotational semantics and dataflow construction for logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1318723$6C06871E-DF9C-42E1-83B4-2D8EE7FBE1EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a5be6d27494bd2e2e76e12f45aada516bff5f56","datavalue":{"value":"0795.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318723$0A6A8EF0-966D-443A-9215-CCAA29715076","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fee1624d4721cec19e17ce3d9e7c939cdf0a18f2","datavalue":{"value":"10.1016/0304-3975(94)90054-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318723$3176DEB1-0507-44AB-B7FA-D2EFF28F26A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"514c693109916bc609b6d9a8d6e9cb7af13094b6","datavalue":{"value":{"entity-type":"item","numeric-id":920623,"id":"Q920623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318723$DD26D230-7649-45E9-94C7-81AE1D396ABD","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":"Q1318723$3FC71F26-56AF-4282-A0F4-344B3DA0DE28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"054db8f256a961baa5551095cf141804f5047514","datavalue":{"value":{"time":"+1994-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1318723$7A3C4C36-03A7-4E73-B818-B9532875C3B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318723$BE35A042-1E30-47F2-BCA1-203227730CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318723$60952B24-9DE3-4D42-BADC-34E65A3BC479","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b09bc73eabc9d324f89f3a9aa7a3fceaa16d3fc5","datavalue":{"value":"540872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318723$46D5DF3A-37B9-4461-975C-6CDB82C2B72B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318723$52BF8059-FD5E-41DD-B978-67526C0C54B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318723$CA1D1286-56A0-4A30-AC25-05AB2E425FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44cefbf89f5a04149ccb87b348bb122b2cfc3b4b","datavalue":{"value":"dataflow","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318723$5B5A8BA5-CA51-4B5C-9754-0D5114BBFA2B","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":"Q1318723$4E0719A0-033C-4F0E-B5AA-BBE29C22D24A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318723$6D70E7F1-4967-4BEE-8AB5-8DE5D2AE1F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e2a9dc2c85c5f6705ca903610b671264d99738","datavalue":{"value":{"entity-type":"item","numeric-id":4136511,"id":"Q4136511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318723$ADBBFDE5-A815-4A95-BAAB-D47E617C24E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0c296e80c33227ed344639e5abb587f0f010d3","datavalue":{"value":{"entity-type":"item","numeric-id":912643,"id":"Q912643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318723$68714AB4-4E85-40A2-BA4A-381A990CA792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49cb9f6d20ca53837efe49df1b47121b546baae6","datavalue":{"value":{"entity-type":"item","numeric-id":5096771,"id":"Q5096771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318723$DFBA2D1A-DCF9-4E0C-A99F-295428A12ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ba7b68057757d42cfdcb945f7c0c92fd593a89","datavalue":{"value":{"entity-type":"item","numeric-id":1074342,"id":"Q1074342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318723$7579A6BA-5D22-4F97-AEAB-070550F18084","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":"Q1318723$1962F660-2CF8-46E6-B5F1-FBA17C5DA6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1762a562d76972c955934bea72e964211552c618","datavalue":{"value":{"entity-type":"item","numeric-id":3721797,"id":"Q3721797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318723$A292B46D-C612-4036-9514-B9FF2E949ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318723$C6DCA372-DAF5-4FD2-B028-844F03E951AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4c5df0a142e825f10aaf217015567d11fd8a99","datavalue":{"value":{"entity-type":"item","numeric-id":4038706,"id":"Q4038706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318723$E91B4675-9403-4352-B015-36BC473B54D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a9ce9c8c880aefc9d2dc9b570d0d80abecb8f2","datavalue":{"value":{"entity-type":"item","numeric-id":3042377,"id":"Q3042377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318723$A524AC7F-95CB-4585-B687-AA28603AF4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79e84c6aae900a7a7f02b4f12ad5d93cdb75b81","datavalue":{"value":{"entity-type":"item","numeric-id":920624,"id":"Q920624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318723$020FF913-B20E-44F4-B8EC-4116EF5DF03F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e764fd265e64b758350f983ce5a9c7d631b1a56","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90054-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1318723$3D4D0F66-07EA-4147-8F1E-8FED493B9ECA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fbd4ef026a950553ecaf087e31d01145902af88","datavalue":{"value":"W2012685037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318723$65DD830C-82A6-454D-ABD8-FDF10255F519","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd07b60064c7d8c36eed6e8315d4ff44f875106","datavalue":{"value":{"entity-type":"item","numeric-id":4012707,"id":"Q4012707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b56521603e8ced27393666706b8654e310d6610","datavalue":{"value":{"amount":"+0.781028151512146","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":"Q1318723$F83788D3-6695-4AC6-8F98-75CC1DF00DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"584d17113322b4fd20d613addd682b2fc32eaf59","datavalue":{"value":{"entity-type":"item","numeric-id":4036549,"id":"Q4036549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05dec9a221a7a09f502fda4a97d61d83e2ce0bf6","datavalue":{"value":{"amount":"+0.7803216576576233","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":"Q1318723$B764EF81-5929-4AC7-BC13-7DC2A8764C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9182f7bf2ac57e21698bbe82f88190f2ce2cb191","datavalue":{"value":{"entity-type":"item","numeric-id":3769948,"id":"Q3769948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd76e7c2fb473643adde634dbe9ccdfc57392185","datavalue":{"value":{"amount":"+0.7696743607521057","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":"Q1318723$C85BA957-BD10-4075-8049-8AFDB8F66F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba6ee541b7ea9948cf1ec23b2228c2c74a402b4","datavalue":{"value":{"entity-type":"item","numeric-id":1338343,"id":"Q1338343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4490305b6329c8933e35a6eb0ab3c2d73c4e702f","datavalue":{"value":{"amount":"+0.7658570408821106","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":"Q1318723$DBC3D792-008C-4CB1-9CFE-321BFD42C19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40b21bb8c5606398afd4cfbaa07a665aa0e2b382","datavalue":{"value":{"entity-type":"item","numeric-id":4951669,"id":"Q4951669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a2daca77ca762d5123afc4033cab3c04fdc145","datavalue":{"value":{"amount":"+0.7600364685058594","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":"Q1318723$F7957DB4-6742-41A6-9DB2-7A04A3C6A108","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A denotational semantics and dataflow construction for logic programs","badges":[]}}}}}