{"entities":{"Q3087444":{"pageid":3098159,"ns":120,"title":"Item:Q3087444","lastrevid":58110912,"modified":"2026-04-03T20:37:30Z","type":"item","id":"Q3087444","labels":{"en":{"language":"en","value":"Parallel backtracking with answer memoing for independent and-parallelism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5939283"}},"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":"Q3087444$6287DAF3-42DE-41BF-A6D3-FA556834F296","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea88ec9aba77707967c571245d357aef5cb11647","datavalue":{"value":{"text":"Parallel backtracking with answer memoing for independent and-parallelism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3087444$202055C9-42E1-4B09-9382-D0BFBAF88D73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1c26d19c3e7db5023a0890bbe2d40cb95739f4f","datavalue":{"value":"1222.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087444$92CBE966-D536-4349-95F0-9213E2C4EE5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10a697d522d1905441ef61fb3a695ef7a3f1534e","datavalue":{"value":"10.1017/S1471068411000172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087444$4AA8CD4B-D2FD-4867-A6A2-98B57D1A5332","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cdcd4389d2bd1cb2d81fe2073067bb814a9374f","datavalue":{"value":{"entity-type":"item","numeric-id":3087442,"id":"Q3087442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087444$10D510E5-2FF5-47E3-9404-37FB8E801F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cac194b639a2f7fe7097140d924b1ab2d4ab193f","datavalue":{"value":{"entity-type":"item","numeric-id":3087443,"id":"Q3087443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087444$A6657728-E667-4FC3-9BDA-AAE6581F3740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0b1d7461ce49bf38182fb4be83776f28f0614a6","datavalue":{"value":{"entity-type":"item","numeric-id":488322,"id":"Q488322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087444$B3516971-5936-4456-8014-D6D591AB5521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fdc9da9080ec9c8e10fd6ecc20006e9734d7d9e","datavalue":{"value":{"entity-type":"item","numeric-id":488323,"id":"Q488323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087444$F2986E20-9C2E-46F8-877B-A6F0279ABD72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087444$2FDD3458-7D49-437D-B905-815AAC76430A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e46a6b83be9fcbd5764c46af6454b5ea03b3b70d","datavalue":{"value":{"time":"+2011-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3087444$B7AC4D90-9285-4FF0-8A9D-93A329834B30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"812edffe1a753e7e0ebe73e87575cfc7769b3177","datavalue":{"value":"https://arxiv.org/abs/1107.4724","type":"string"},"datatype":"url"},"type":"statement","id":"Q3087444$C237A40C-D754-418E-A329-2F74DEA3DFDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087444$4D710A1A-AC15-4BA6-BB81-EB377F74354D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53e1b7f8f5a982e3ec0c03763174226f2cd71a2b","datavalue":{"value":"5939283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087444$0546AB85-6672-4C13-8647-B544D53EF85A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087444$ED868182-EC01-4AA4-8EFE-E58D828CE36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087444$30F468D3-8FCE-4349-8794-42A5CE759068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450c9495e566838e60aedbb31efc54850ac0949","datavalue":{"value":"memoization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087444$6B604915-3CC3-46E2-8D4A-734675B3B361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fe75ecdeef7e0425c4bb1338f9134c5adf0be","datavalue":{"value":"backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087444$C3252761-B8A6-49D5-BC16-A7A7B701B9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afee417564209b61e3e00baf8c5b26c09ce9029b","datavalue":{"value":"performance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087444$A8A74066-ADD3-4AD4-98A2-7F9D92CBB9FD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"434b30609a109fbd35aeef36ac97726615d6b67a","datavalue":{"value":{"entity-type":"item","numeric-id":16802,"id":"Q16802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087444$CFE169C7-FBB7-49C0-B429-1318F666019D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4159e6648806f3f9d4482408c4e384586b151fd1","datavalue":{"value":{"entity-type":"item","numeric-id":19012,"id":"Q19012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087444$3D2211B7-C363-41DA-A0D4-CD2A17051A8B","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":"Q3087444$122A048E-C81D-4DB1-AAA0-882D72B5684A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dfcae681746a2c8be6d782ae2ce7c7c38bf6cbc","datavalue":{"value":{"entity-type":"item","numeric-id":5458791,"id":"Q5458791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087444$372D9976-A4D6-4FE3-B45C-A90A9BAB3D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"913dd22989dceba9382b6f67d31dec69bfeb0a4f","datavalue":{"value":{"entity-type":"item","numeric-id":4327411,"id":"Q4327411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087444$2E2F13B5-7E28-4F18-AEFF-B669A791D0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa0f50f9e079e80672ae8d0c1e92d01238bcc7e","datavalue":{"value":{"entity-type":"item","numeric-id":2568449,"id":"Q2568449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087444$4FF5D303-CA99-402E-BC83-DD6798564629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"353dab22332923e55a96f95488b7aeb1ef99091e","datavalue":{"value":{"entity-type":"item","numeric-id":4371515,"id":"Q4371515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087444$E7A9DCF5-BDD7-44F3-909E-632E672FE1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c73eefba23c07e4de402766324a140b10de210","datavalue":{"value":{"entity-type":"item","numeric-id":4339858,"id":"Q4339858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087444$FE7FA1DB-A709-49B2-A75D-B885BF1E5F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e2e5c903bd4739b4c0323dfff3bd846dac9e032","datavalue":{"value":{"entity-type":"item","numeric-id":4245928,"id":"Q4245928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087444$4D45D9CC-4E9D-4473-98E3-6F3489CD1061","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d97bb426cd8669629a39f10be5a3c6fafc0803a7","datavalue":{"value":"W2964045931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087444$FA0336F4-2637-44FA-B220-6785CA2990A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdbd8b8773e9b5fc5e9e0f464a7c6898924f6eda","datavalue":{"value":{"entity-type":"item","numeric-id":4499259,"id":"Q4499259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb5201af19ef9d36f9145657804d6c40d30c24b","datavalue":{"value":{"amount":"+0.8287719488143921","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":"Q3087444$713BD218-3784-416F-BB41-EEA3311AF65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e1b66e07d88a34e8b0a5348efd4dca7095b1eb1","datavalue":{"value":{"entity-type":"item","numeric-id":3735066,"id":"Q3735066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05190da2584dfc58759dd866567e8908b7370cf","datavalue":{"value":{"amount":"+0.7916544079780579","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":"Q3087444$7736460D-35A8-4AE0-A934-82483BF73FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa651633938a31e9b78f73d7ce52267a172d4f4","datavalue":{"value":{"entity-type":"item","numeric-id":4327411,"id":"Q4327411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"997f0ec05170f37506d0f99c1f1ba19caaebe3cf","datavalue":{"value":{"amount":"+0.7815515995025635","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":"Q3087444$7477A743-C76D-426D-903A-8FAA5A2DE35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"460291a82b13d91aa6b459983ef4a90fd2bee4a0","datavalue":{"value":{"entity-type":"item","numeric-id":3732946,"id":"Q3732946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f81389d4ea6289f733830df4b09e83f816d4d0c6","datavalue":{"value":{"amount":"+0.7811550498008728","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":"Q3087444$92E78BAB-2281-4DBC-BB57-01EB4E692F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452b9e6766afc8e5e5519fd4eb1f3cc653d02f56","datavalue":{"value":{"entity-type":"item","numeric-id":1118390,"id":"Q1118390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb6f20f8f96e6bc3f0c33a34edb9379e9ceb18d","datavalue":{"value":{"amount":"+0.7786996960639954","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":"Q3087444$5C86C256-0947-4293-B8D6-EAEB7CBAE49E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3087444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3087444"}}}}}