{"entities":{"Q1077925":{"pageid":1088677,"ns":120,"title":"Item:Q1077925","lastrevid":66828291,"modified":"2026-04-12T13:08:06Z","type":"item","id":"Q1077925","labels":{"en":{"language":"en","value":"AND parallelism and nondeterminism in logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3958713"}},"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":"Q1077925$EDE64DA6-FF9F-4829-ACC8-4090C13A0DB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"951b9ed55cc92a53d4151428ff0acb623ba214ca","datavalue":{"value":{"text":"AND parallelism and nondeterminism in logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077925$720C8234-C61B-4AED-97CA-1E33C62BABD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6872e7ea11b099d202ee493af0f6357d28fe273c","datavalue":{"value":"0595.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077925$CBE3C13B-66ED-47F7-9834-0A487634720A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1105ae1444978fd4c286a22c5f50e4ab6957238","datavalue":{"value":"10.1007/BF03037115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077925$73C2DE0A-CA85-4C05-AE2B-9AD782BCFE7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3df57a4de016234698d2bc792283fe5b657a71ae","datavalue":{"value":{"entity-type":"item","numeric-id":1077923,"id":"Q1077923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077925$50B911B8-1EBC-4613-AD40-749E501A734F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c05448fd12b22625092b07fc2f70169af0861384","datavalue":{"value":{"entity-type":"item","numeric-id":1077924,"id":"Q1077924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077925$F81464F3-3907-4BCE-BBB7-640C37275CFC","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":"Q1077925$760BCF77-CADD-4F43-911E-CEC980877981","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1077925$6AC708F0-17DD-4BCF-A563-9402EDB122A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077925$CD23425B-7A14-4A23-B98D-7F9F4F8602C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077925$A71E66B2-A2DA-4EE4-976E-2B90CED38540","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a747bb3c8bf12d8c5600f12fbe2e3f20f29cb19a","datavalue":{"value":"3958713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077925$D2EC7F78-3C98-4137-AB10-3F989044449C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077925$390C9F6D-74ED-49EA-A650-B3374313A838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbb1e0f8517f71c45236415deb7259106a960263","datavalue":{"value":"process model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077925$4D554A6D-18E7-4B3E-B6D7-D9A59882F6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b4d854b316533e6f838652b948e2efbde433b47","datavalue":{"value":"intelligent backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077925$CA7432EF-BED7-4337-9104-D02DA0CAE3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66ea5f87dae9b612e94bcd6066d915713c1cb1cd","datavalue":{"value":"abstract interpreter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077925$6CAD4230-FBC5-491D-9BFF-CE731AFB0369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077925$32A77005-F9A5-4D52-92A1-03BCB87D4CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3d01a0a0822b7bf97fdb4d561a933b61ec6c3e","datavalue":{"value":"OR parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077925$9E6EFCB3-5FB9-49C9-80C9-E1ABACEE5273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c448c2686c7d50cb4e984876cd8786db27e0c20","datavalue":{"value":"AND parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077925$BA98C61E-13BE-427E-A755-C25FECBB1AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbea74bea78fb379c705a66bfbc4d6cf8cdd3408","datavalue":{"value":"quicksort","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077925$AF2FB09A-C226-490D-8CF5-391BD0E82E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7408119b742974ff13b5f31e4034650ba9fb110a","datavalue":{"value":"divide and conquer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077925$7590862F-1408-4388-A9A1-9225A338F263","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":"Q1077925$95D47F78-7ECC-4143-9948-9605EBB9B575","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8a79af3c28ca6a85273f2cf60e4233483e6da8","datavalue":{"value":{"entity-type":"item","numeric-id":4051550,"id":"Q4051550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077925$C96BC4DF-9465-4437-8974-53813DAB167E","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":"Q1077925$A26A3BE6-4DD3-4A4E-830A-A828B287287A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab8b1ef92644fe3d9a2f19656c01a37c6e862df","datavalue":{"value":{"entity-type":"item","numeric-id":4136546,"id":"Q4136546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077925$A310D9C1-731C-49D0-B4C4-06305575D2AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc4fb15ee76ddab7badde43dd9cbe119a57f4247","datavalue":{"value":"https://doi.org/10.1007/bf03037115","type":"string"},"datatype":"url"},"type":"statement","id":"Q1077925$8822C4E9-2F0C-4143-86FA-6CE33AB001D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c308d381afaf544faadf19c4468da958cad607ab","datavalue":{"value":"W2028543183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077925$C0AEC862-ACC3-4B67-B9CD-640FF801FF35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14eda6b21c8988e995824b4fd1f60dfbbb49794b","datavalue":{"value":{"entity-type":"item","numeric-id":3782757,"id":"Q3782757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c5783aac407a6d740efff6e40f9e7661c6ab47","datavalue":{"value":{"amount":"+0.8253872394561768","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":"Q1077925$65C077B0-B764-44F9-9297-381EE391C928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fcdac30e2cd658b7d183c122988c5dc00979e66","datavalue":{"value":{"entity-type":"item","numeric-id":3713570,"id":"Q3713570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e554f3a64446096410158daa7aecdfa35f8c667e","datavalue":{"value":{"amount":"+0.8155757188796997","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":"Q1077925$FD714B88-A925-4A34-A4A8-7E6671E8A500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebfd2f24b30bfff8b4e4203bd0e845e310e19a2","datavalue":{"value":{"entity-type":"item","numeric-id":4012712,"id":"Q4012712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4146845271e806029097a5e6a71f41c7fef71cfc","datavalue":{"value":{"amount":"+0.8139375448226929","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":"Q1077925$8786231F-1E73-4804-A2B9-C71D6FA60A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"428f9249614179310b3d2f86cf529bb84b59ce7d","datavalue":{"value":{"entity-type":"item","numeric-id":4207562,"id":"Q4207562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61878a830862ec7cd98e0afd67c4cf171fdee9e3","datavalue":{"value":{"amount":"+0.8094164133071899","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":"Q1077925$223E7EEC-D272-4448-9EBE-7D65E6EF02D4","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":"6994756749832094ef5ffc5bd081bb49082eba82","datavalue":{"value":{"amount":"+0.8072031140327454","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":"Q1077925$7606E83F-F165-4FB3-AB62-7AB3F2875DDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"AND parallelism and nondeterminism in logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/AND_parallelism_and_nondeterminism_in_logic_programs"}}}}}