{"entities":{"Q1819926":{"pageid":1830668,"ns":120,"title":"Item:Q1819926","lastrevid":69402270,"modified":"2026-04-13T06:45:50Z","type":"item","id":"Q1819926","labels":{"en":{"language":"en","value":"OR-parallel execution of Prolog on a multi-sequential machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995037"}},"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":"Q1819926$92DF5168-D3CA-43E1-90CC-66291B0DB1FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f18f7146bc102fd5d11500b77181ce64aac63fa","datavalue":{"value":{"text":"OR-parallel execution of Prolog on a multi-sequential machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1819926$5AA8CB31-4B3E-4834-B894-81C8A786A887","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb919fa7ec80a22e8781f49fe3a49518c46d5b3b","datavalue":{"value":"0614.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819926$70033364-701C-4D7E-A523-B21A5F4D0D02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39593fd9f87ccb2d208e0ed22086147da0539b8d","datavalue":{"value":"10.1007/BF01414554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819926$92726034-455F-46EF-9FC1-8B253185EE8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"513a6ebb349188b66e221cd8a961f55196cb1658","datavalue":{"value":{"entity-type":"item","numeric-id":1205179,"id":"Q1205179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819926$BC33855D-9B8A-4A02-93D2-0C18FF723BD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a32831c4e3f60d79ea2f79afb884ef69e4c8191c","datavalue":{"value":{"entity-type":"item","numeric-id":199286,"id":"Q199286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1819926$97E22236-4C31-4099-8EF0-7C3DD00D67CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1819926$5458ECE4-6E27-42E5-8875-3D9B38E8A3FD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"64f936f7fcb9ce88aac849921ebf01bb31608b03","datavalue":{"value":"Based on extending the sequential execution model of Prolog to include parallel execution, we present a method for OR-parallel execution of Prolog on a multi-processor system. The method reduces the overhead incurred by parallel processing. It allows many processing elements (PEs) to process simultaneously a common branch of a search tree, and each of these PEs creates its local environment and selects a subtree for processing without communication. The run-time overhead is small: simple and efficient operations for selecting the proper subtree. Communication is necessary only when some PEs have exhausted their search spaces and there are others still searching for solutions. The method is able to utilize most of the technology devised for sequential implementation of Prolog. It is optimized for an architecture that supports broadcast copying.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819926$20231AB3-CCEF-4B95-B2BB-BA01A7052677","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819926$8557CC8A-33D8-4174-B71D-86C187B375CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a7db027866220edce2bdb96e600b05850a228f0","datavalue":{"value":"3995037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1819926$E7C82A9F-4D8F-4CCA-B529-E88D8CF9836C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819926$0DF35D84-66C0-4CDF-9EE0-A74F0D46F69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f77a64c0870da8a7c03a1bac444d02ae81836e58","datavalue":{"value":"parallel Prolog machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819926$3325CE57-1A7C-4ED0-942E-7F5E54B13722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4d6d2e0320df32b73fa0966f3192ba6d79b9b00","datavalue":{"value":"distributed split algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819926$B0A2645E-553F-4CF8-8886-7B2177AD80E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10278b913ade56083bcae65c42a8dc138475fdca","datavalue":{"value":"multi-processor system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819926$3A629AD1-ADB4-4DE3-8AA0-CE6AFF9DC327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5e0888fa9957c443e210eb3c88f717e276ae13","datavalue":{"value":"parallel processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819926$125F94B9-9280-4B98-996E-AED322AE8E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1230e33a05c0c783340f46c83993f3dbd3627977","datavalue":{"value":"broadcast copying","type":"string"},"datatype":"string"},"type":"statement","id":"Q1819926$3F32DD34-AE8A-4070-8643-F4AB240001E4","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":"Q1819926$8C220673-EB1D-4B7E-94A0-EFA322E5458B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0cfda3d346422d15c8defb60baf6c589c7dfe43","datavalue":{"value":{"entity-type":"item","numeric-id":4949941,"id":"Q4949941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1805e4bdcde094f17d07f9d1de655e0ead0fd79","datavalue":{"value":{"amount":"+0.94190305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819926$0AA898A8-0144-4A37-97B2-3228391E48C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a293169d93f34a019107d1fbb771935299417a","datavalue":{"value":{"entity-type":"item","numeric-id":4593066,"id":"Q4593066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9469a6fdf0011406c61261de085cb7324a3653ba","datavalue":{"value":{"amount":"+0.93882316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819926$37A38D6C-708F-4FC1-A0F0-1FB59742AF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10d697550830d8969562b5b37f36f90791cf0dc4","datavalue":{"value":{"entity-type":"item","numeric-id":3198866,"id":"Q3198866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"250942371d6a4fea8d06d58918a2fd86a0844c4e","datavalue":{"value":{"amount":"+0.9352801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819926$B5B2F50F-8517-479E-8B52-96622705074B","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":"b36d5191962618c46143d65f0c2360ad7b7ddac4","datavalue":{"value":{"amount":"+0.93156266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819926$DF177DA1-356B-49C4-BB4F-38D15CB81300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8121257067ff65509b490acb07dd6fca004a3c52","datavalue":{"value":{"entity-type":"item","numeric-id":1920217,"id":"Q1920217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54d656245d2dab0173c9d80da13c09641c1bebb","datavalue":{"value":{"amount":"+0.9201918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819926$CC8E4568-3B4F-43DC-96DC-62C342187977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642c17cdabf5b50ce577f9a2e90ff2864b3a32da","datavalue":{"value":{"entity-type":"item","numeric-id":4281606,"id":"Q4281606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ffd44b40c7d875641fb9c4af951cf7a9d76fcb3","datavalue":{"value":{"amount":"+0.91402936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819926$BDB7EA44-2456-4D00-A438-77D29F86D540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba9e4e020cc65f0b15e5bb41eced991faed24be","datavalue":{"value":{"entity-type":"item","numeric-id":5431417,"id":"Q5431417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d0b1628fbbe48ff1356c0ff828b28ddce01138","datavalue":{"value":{"amount":"+0.90543544","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819926$DE29C157-BC5E-467A-941F-76320FF058A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9900065291f94723b10ddc2b79ab413a018f0180","datavalue":{"value":{"entity-type":"item","numeric-id":3731025,"id":"Q3731025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e70bc5b17b9da98a9e2fd101e24ed2c527b5cd33","datavalue":{"value":{"amount":"+0.90495795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819926$D29064F3-9D02-4AAC-84F3-0AA764728605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d747d0cce222ca70de6586e9d9cff10c55ee6e7","datavalue":{"value":{"entity-type":"item","numeric-id":4736501,"id":"Q4736501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f2d0796e4ce21e47e459e8d832502f8b68c7ad","datavalue":{"value":{"amount":"+0.8951943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1819926$5221D957-0F79-4F3E-84DA-6988FE1A8E45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"OR-parallel execution of Prolog on a multi-sequential machine","badges":[]}}}}}