{"entities":{"Q4327411":{"pageid":6357012,"ns":120,"title":"Item:Q4327411","lastrevid":96589628,"modified":"2026-06-05T11:41:16Z","type":"item","id":"Q4327411","labels":{"en":{"language":"en","value":"Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 741062"}},"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":"Q4327411$7BFB9934-6CCA-4B9D-ACCF-FA06005FFA11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dc2dcd84a69dad8bb9b7fc23bec4557f4a433d9","datavalue":{"value":{"text":"Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4327411$006B4D39-FD93-4891-A252-76A0ABF046C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9de262745bdc0351f6feb310a754a9c3511df13a","datavalue":{"value":"0829.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327411$93A3FC9F-B363-4AB3-8689-B6BB49364D02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c654c50fa8b43db0d533a10c9af214caffaf5325","datavalue":{"value":"10.1016/0743-1066(93)00007-F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327411$42F07E94-3B5B-40E1-A0A2-2938AA468E9E","rank":"normal"}],"P16":[{"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":"Q4327411$1CEDCC64-2F40-4ED0-99EC-508A6FBB214C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca052cd75ae8866cea759c6abc9962056ebfaf0b","datavalue":{"value":{"entity-type":"item","numeric-id":239558,"id":"Q239558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4327411$8EF5CD0A-AA22-4693-A05F-B3C5B441BEF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4327411$3374EDED-5110-4C34-A3E6-25CF62544C74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"105cd52c1072aef79a48ec029075a51ef3a83a4a","datavalue":{"value":{"time":"+1995-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4327411$B565DD71-9FEE-41BC-8E9B-DCB6273EE993","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327411$236473C7-8750-47D3-8CC4-50BC2E035E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327411$D99096FE-E7A3-46EC-8670-9E160BE386E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a61fbf3d54f9d3755104c45d047a9f6250651119","datavalue":{"value":"741062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327411$D762C6ED-713F-45A4-AD99-B88BD5D0FDB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc25f8246b8ba3dbcdfb98a30d1aab4684bcd16","datavalue":{"value":"compile-time conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4327411$1A1F50F0-1126-464E-8A2B-614085270CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df87906b02eb78cee139c2547f0cbf5413af1e9","datavalue":{"value":"SLD resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4327411$F247CA33-6C1F-40AA-BF65-76898E378F0B","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":"Q4327411$2861A431-8435-4A03-977A-A7970CB7BDA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5fabd91cb0aff063ae970824190dea1f1eaeaeb","datavalue":{"value":{"entity-type":"item","numeric-id":4245928,"id":"Q4245928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"816a025e4764dcb86dacf15e09f9d6594863e947","datavalue":{"value":{"amount":"+0.8527105450630188","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":"Q4327411$EBD227D2-CB4E-4BB1-8CF3-4B69A279340F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d50ebb4dbc4a66e2a13336890a1dfd1d72ed627","datavalue":{"value":{"entity-type":"item","numeric-id":2956712,"id":"Q2956712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7bba147bd64c4a267a1b1adf7f7fd56f73fa638","datavalue":{"value":{"amount":"+0.8430777192115784","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":"Q4327411$3B141F69-165C-4366-B4AF-D2AAC1E83FAC","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":"d8af6b320d4a3d8ee2a356113701770a9911ed37","datavalue":{"value":{"amount":"+0.8403577208518982","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":"Q4327411$304E9B53-2530-48CD-BC0B-EDBD54FC156B","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":"543fc33c4f268588a4a78d8aeb64856c02e771ad","datavalue":{"value":{"amount":"+0.8137608170509338","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":"Q4327411$9F088F67-D326-472E-A60C-16B444450E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020cb5f480cd1f866d724351ef80e97bace711dc","datavalue":{"value":{"entity-type":"item","numeric-id":1035704,"id":"Q1035704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e29765317e843524fb9cd4ca1beba8b18550da","datavalue":{"value":{"amount":"+0.8073154091835022","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":"Q4327411$EE01C01C-E9A2-4CD5-A3F3-8B3843639C32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions","badges":[]}}}}}