{"entities":{"Q1285693":{"pageid":1296443,"ns":120,"title":"Item:Q1285693","lastrevid":70584246,"modified":"2026-04-13T15:35:21Z","type":"item","id":"Q1285693","labels":{"en":{"language":"en","value":"OASys: an AND/OR parallel logic programming system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1281150"}},"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":"Q1285693$023C66B3-B485-4F7A-91BC-1ECFF6F61A3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a375a52f970459e87d836afe5f59ee51d2f7765","datavalue":{"value":{"text":"OASys: an AND/OR parallel logic programming system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1285693$CF5036A5-8B69-4999-AB52-C7F428B9D2CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81468b3a1d4bc31fc95f1e048c9ae85fa954573e","datavalue":{"value":"0914.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285693$746A7EAE-0656-4B05-8BD2-795C36A77D69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfdc384f370e4f4a75074558935bad3e80baa4ab","datavalue":{"value":"10.1016/S0167-8191(98)00108-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285693$22DFD7CE-958E-4209-A6B3-ABF11EABC385","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e47d94cb50e8bff7e07db91cf2e29b89383adf9","datavalue":{"value":{"entity-type":"item","numeric-id":1223001,"id":"Q1223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285693$7D971F16-EE0D-421F-9DC9-FE12D380A434","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eeac13f60c55bdb04ecb49274cc7b24a1688345d","datavalue":{"value":{"entity-type":"item","numeric-id":71527,"id":"Q71527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285693$A35C092B-34A9-42BB-B8A6-DDD9294D47C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d6d292392867bfa77ace8d025cfcc30db394b6b","datavalue":{"value":{"time":"+1999-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1285693$1993C030-A8D4-4D49-9CF7-DD61E35F8AE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285693$6653BE91-6841-444F-9EA2-DBF62AFDA659","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7ae47400b5cfc82d562a06eda7d9765fa10299b","datavalue":{"value":"1281150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285693$86C91ED2-C860-4991-B8E4-0D755A87FC57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f035014875afaf235ac95c0598c3f0335361175d","datavalue":{"value":"parallel prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285693$E2399160-3347-4BB8-B778-59398AF1C093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa17673f6e628f3027741f233a0c1021e2f85470","datavalue":{"value":"AND/OR-parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285693$A69BA43D-A056-4A8E-B766-A46EEA86F81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0294b3875c6a470b5ce8f71e8b9e4158df5b4649","datavalue":{"value":"copying","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285693$933547A0-E937-483C-A155-EA16E879A259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6df820e40bb528495380fc28c0cd8a57b6e39e1","datavalue":{"value":"recomputation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285693$B140F97B-7CC3-4E8D-9EAC-1AF35094992C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1a1fc7ed7e824a75a9a3250e9590d14faa08ccdb","datavalue":{"value":"Q62864933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285693$EAC42189-1E89-464C-8AC6-FBAA41E8AB09","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":"Q1285693$7E9D1938-7F4B-4C4C-B93E-BCC51B9CEFB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c158052e672db28d191d760d43c3b57a10b72af","datavalue":{"value":"https://doi.org/10.1016/s0167-8191(98)00108-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1285693$DFDFD039-700A-4090-8D32-CC24223F5136","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4aaf0dbcbba228c627972deae881701608bd68b","datavalue":{"value":"W2056370017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285693$B9B7EBB1-27CF-42AF-9673-17EE4EDF9DEB","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"3a429268f8598dcf90f9ef8312070b006afaa037","datavalue":{"value":"journals/pc/VlahavasKH99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285693$5242351D-3FE9-4351-8816-390ED32CABB3","rank":"normal"}],"P1643":[{"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":"c6407571438f5a9703fed46be5459074c9f2625e","datavalue":{"value":{"amount":"+0.8173061013221741","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":"Q1285693$7DB143A5-CEFB-4073-BA29-CC3F3FD4CDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb8e8391ae9c26a4155a7e98e356d6415f055c0","datavalue":{"value":{"entity-type":"item","numeric-id":4320134,"id":"Q4320134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab0f58ec1e9381bd6f244d7a5c454db72f806c11","datavalue":{"value":{"amount":"+0.7918053269386292","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":"Q1285693$24ABB3B5-2618-4C26-8351-BE1FE853E7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a618ca1c385f8f186b7a5d8c8532815b08b45d8d","datavalue":{"value":{"entity-type":"item","numeric-id":4371996,"id":"Q4371996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c86b428ac5b9b7022bee4bda08d1d5b1457cb0","datavalue":{"value":{"amount":"+0.7860831618309021","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":"Q1285693$010F27B8-74A4-453E-B06B-6ABAE387A752","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"OASys: an AND/OR parallel logic programming system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/OASys:_an_AND/OR_parallel_logic_programming_system"}}}}}