{"entities":{"Q1819930":{"pageid":1830672,"ns":120,"title":"Item:Q1819930","lastrevid":69402306,"modified":"2026-04-13T06:45:50Z","type":"item","id":"Q1819930","labels":{"en":{"language":"en","value":"Compiling OR-parallelism into AND-parallelism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995040"}},"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":"Q1819930$0BC0CC01-00C0-40E0-BC54-E8B898512C5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faf9b642ccb1cec0b3091ab7c48aeaef43506048","datavalue":{"value":{"text":"Compiling OR-parallelism into AND-parallelism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1819930$572D9F1D-D96E-4470-8719-5908527621D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3229a675d460216556bb7d0afd0385c8096fd90a","datavalue":{"value":"0614.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819930$ADADA442-2030-4EFE-998F-96B2EFACFD24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3e0a5105eb47de3fb660bda9a3f01ec90088425","datavalue":{"value":"10.1007/BF03037457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819930$E9633EEE-44B5-44B5-A7F3-39ED7FBAEFED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819930$8ED1A5FA-8623-4E85-80B0-E2D923078734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdad2aaffd22bc224d58c1785de205bb2c128d89","datavalue":{"value":{"entity-type":"item","numeric-id":933427,"id":"Q933427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819930$DAD1E901-3DA4-4F36-9C21-2D997DE5F976","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819930$5072A39A-C757-4A78-9CDD-61FB61D1C281","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1819930$5EC745B5-F292-4318-BFFC-3837D7988124","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"29375e18b37119744aedccfae0fba2b9fcd7cbdc","datavalue":{"value":"This paper suggests a general method for compiling OR-parallelism into AND-parallelism. An interpreter for an AND/OR-parallel language written in the AND-parallel subset of the language induces a source-to-source transformation from the full language into the AND-parallel subset. This transformation can be identified and implemented as a special purpose compiler or applied using a general purpose partial evaluator.    The method is demonstrated to compile a variant of Concurrent Prolog into an AND-parallel subset of the language called Flat Concurrent Prolog (FCP). It is also shown applicable to the compilation of OR-parallel Prolog to FCP. The transformation identified is simple and efficient. The performance of the method is discussed in the context of programming examples. These compare well with conventionally compiled Prolog programs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819930$1EE558EA-E438-4436-90B3-74869CA1C846","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819930$D2103FC4-0E3F-405C-A9FF-E37A98EC34B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eade4ddaa5d1b5b78362149c396b25d6980223ae","datavalue":{"value":"3995040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819930$CBD6FF76-21B6-4DEF-BEBF-6E5E8C37262F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc31ada3e3f12a74e618e5c1565ffae33b3f6f70","datavalue":{"value":"partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819930$44E4DC27-05F6-4830-8F4B-6F440FC5596D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819930$B1137A6D-B559-466E-ADCD-E431033AA000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa60117a6ac298362120852e5abb50766f19b7e1","datavalue":{"value":"Concurrent Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819930$4D41EB66-432A-4B46-B235-8A858DCD31E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7ef9e594966237295f24e48f165d2080108277","datavalue":{"value":"Flat Concurrent Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819930$7A76C612-C2DB-444C-8BE9-B52E236F0AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a16ae7a785b59fe8d64915f954128ae0cf64bcbf","datavalue":{"value":"examples","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819930$C12BD52E-7E82-40AB-B28F-BF933B7D7E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd5f68c909b32d15246ca3700d59872a7aa7bdc","datavalue":{"value":"Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819930$7E597FF1-29FC-4CA4-B2C0-C0FEB3FCFCB2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cb180c22f3bced7fedc55462354c0f7fabfc168","datavalue":{"value":{"entity-type":"item","numeric-id":35531,"id":"Q35531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819930$D4DB8240-B8D6-4890-BDD8-51E3DE1BC873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2d4f23832fcdf646910846c50514931a5f75084f","datavalue":{"value":{"entity-type":"item","numeric-id":35532,"id":"Q35532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819930$FD9F4809-064C-4671-9856-03078FEB46F6","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":"Q1819930$40E54416-2B2E-4576-81A9-01F93E5000A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d54d03d44a544a3c811b233b3629d1a95e74c1c","datavalue":{"value":{"entity-type":"item","numeric-id":3721786,"id":"Q3721786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819930$5347D8EF-1BAE-45EC-892D-0ACF6ACA8AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8969d1ded4c03b36f52a3cda33f6a1241f3e9bf","datavalue":{"value":{"entity-type":"item","numeric-id":3727368,"id":"Q3727368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819930$5EF79238-8BB1-4827-A8D8-ED977188435F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db40e76eab959d3520b34febdb0b879cf52ca9c0","datavalue":{"value":{"entity-type":"item","numeric-id":1819924,"id":"Q1819924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819930$F9B0DFAD-040D-48CA-9A32-C31BDF9FE211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845390547f203d7137747e8b8658031e392e1c03","datavalue":{"value":{"entity-type":"item","numeric-id":5463960,"id":"Q5463960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819930$A471C590-4310-415E-A1C0-24E67CFFD07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"305395d767f4a640605eaff754e44126df02a18c","datavalue":{"value":{"entity-type":"item","numeric-id":3742690,"id":"Q3742690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819930$2980CE73-C733-4E9C-8BA6-19FFF4CDDFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d292125d4bb61c4f70427dd0476cc2e72e9bb11e","datavalue":{"value":{"entity-type":"item","numeric-id":3994465,"id":"Q3994465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819930$7B5D58D0-0AD6-4F6D-85C0-BC8271E496E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b9fffd41f297940138856a8f5cd1d2601382d14","datavalue":{"value":"https://doi.org/10.1007/bf03037457","type":"string"},"datatype":"url"},"type":"statement","id":"Q1819930$8E19E804-EA70-4863-8A00-C9AA6A6D65F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ece7dbb574a24d2507511efbc3ff351249022ac2","datavalue":{"value":"W2013234715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819930$EA3C70F0-1C74-49B1-80AA-11A4CD32B927","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd42fefd98e1221fa7b12598dd98cb9e1de368b","datavalue":{"value":{"entity-type":"item","numeric-id":3727368,"id":"Q3727368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9183de27bdc6ea375416c56510060080a8c03b07","datavalue":{"value":{"amount":"+1.0000003576278689","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":"Q1819930$09A63727-15D6-470F-B7DC-FC3982A98D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a476bdfe7e762624dfc738fcd194e251d888823","datavalue":{"value":{"entity-type":"item","numeric-id":4734753,"id":"Q4734753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9b4f83020f32d8a250b0e660572b7c9cee78b6","datavalue":{"value":{"amount":"+0.8028591871261597","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":"Q1819930$F335F536-7841-4913-A6D9-AFE2C2A5FF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de0b5ba38c4cfa3bfcdb30dfa07034ffb2c44f6","datavalue":{"value":{"entity-type":"item","numeric-id":914360,"id":"Q914360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c95afb5bad4b75e9f61dbe7991b5c63b097700c","datavalue":{"value":{"amount":"+0.7900359630584717","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":"Q1819930$EF59D168-A785-4047-A0B6-61A93AE75208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a1e7c386f18a8d566b800807f34bda77d9d354","datavalue":{"value":{"entity-type":"item","numeric-id":4723279,"id":"Q4723279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bcfa3818eaff6a94f282c41e7b0c2f8bce8193b","datavalue":{"value":{"amount":"+0.787868857383728","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":"Q1819930$D306A00D-27AD-4B77-A954-ED918CF3AC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c512bf33ff7e08872652150cdc2b1d937b1750","datavalue":{"value":{"entity-type":"item","numeric-id":4272509,"id":"Q4272509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2579b12f5e6ef876509dfae37979442516898044","datavalue":{"value":{"amount":"+0.7861376404762268","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":"Q1819930$8CC6999C-1890-445C-A365-4C018E89401A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compiling OR-parallelism into AND-parallelism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compiling_OR-parallelism_into_AND-parallelism"}}}}}