{"entities":{"Q4012712":{"pageid":6042509,"ns":120,"title":"Item:Q4012712","lastrevid":55184836,"modified":"2026-02-04T13:34:30Z","type":"item","id":"Q4012712","labels":{"en":{"language":"en","value":"Static analysis of logic programs for independent and parallelism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65196"}},"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":"Q4012712$EF61823D-6772-44DE-B520-E37668EDF028","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7e8df1d9628bc14b97a358b4b428bda0de41b17","datavalue":{"value":{"text":"Static analysis of logic programs for independent and parallelism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4012712$7FDA6058-0A19-49EB-8058-9DC7365FD62E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7dae6b8172ff9310c6f3f00489aafc16d66a1f02","datavalue":{"value":"0776.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012712$83DA9B1F-E80E-4DF5-B46E-8C7F70632CDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70952d384489495b7f33929396e72dbde7827a30","datavalue":{"value":"10.1016/0743-1066(92)90034-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012712$C5584C9C-1423-46EC-A875-D46ADC786B31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6ce908fc60c9d228b2a2334cb3607f3fdfc32aa","datavalue":{"value":{"entity-type":"item","numeric-id":1106018,"id":"Q1106018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012712$62C177DF-B353-4E12-AE92-FE6B9C9AE107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52ed5f42c5f12721330e2936f307750f3eaa620b","datavalue":{"value":{"entity-type":"item","numeric-id":4012711,"id":"Q4012711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012712$4E45619A-5630-4DE1-8007-C00B649EFF8A","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":"Q4012712$D0975B9D-D41A-4C80-B994-82B2EDA020FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4012712$AFEFA63E-A8B0-41C9-8D3A-F2F6F2F7FB72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012712$F16E852A-D1AB-4A7C-8B03-A8E39691EA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012712$9A60D561-223B-4085-AEB8-22D440773934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012712$9A8BD455-4AFE-4E67-880F-85084C690DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012712$7C5A1803-437A-4BFB-885A-39A93F87806E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d64d00f9385535a2a6b53f918029fb05c18bb61","datavalue":{"value":"65196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012712$FFCA3988-948A-4126-A505-1388B90F23EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79db5d5479a490b3fd5b6083c8c207cb4976febc","datavalue":{"value":"abstract interpretation of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012712$1FDAB895-920A-448B-840C-9C53D7CBFD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd1232b84e91e4aaa9507cbb44508d70528d6f87","datavalue":{"value":"automatically extracting independent AND parallelism from PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012712$6FA4B9F8-4BBF-479A-8748-2B83B3D52308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba2ea531f87cbddce9ae0ffa28d2a373258b05b4","datavalue":{"value":"compilation of PROLOG clauses into control statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012712$681E5D10-AD38-4AE0-BAC6-00BB6625D325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a712c742228de9a0957b4d5569c707bb76bef459","datavalue":{"value":"condensing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012712$C8D481FA-0C90-4D70-9BBE-1C6B1CC8DC83","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":"Q4012712$988C3149-86D5-4974-B763-FABABE9F6EE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd2679f04870a49a62ac9464a60989532f59f221","datavalue":{"value":"https://doi.org/10.1016/0743-1066(92)90034-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q4012712$C4E67EED-C329-49CA-8B36-B7E4A0011B68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76df161326811deee2356d944201754e5d9b29c9","datavalue":{"value":"W2001265243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012712$93194E6D-204C-4D3A-8724-A7ADCF1CECC0","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":"5cf299049d0ce0268a3f643241021559a0fbfd70","datavalue":{"value":{"amount":"+0.8480130434036255","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":"Q4012712$19005BDE-C34A-43D8-B135-0A4728A3FC14","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":"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":"Q4012712$D36A6D4A-24BD-458B-B9BC-FB076083C19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094a0110cb5d47483681620b12c3a0b405285499","datavalue":{"value":{"entity-type":"item","numeric-id":3201751,"id":"Q3201751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ef35f338c3d2a9374398d62f31d803e59ca422","datavalue":{"value":{"amount":"+0.8400697112083435","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":"Q4012712$F39326A6-208F-458D-AACC-3059873E2D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd49c9a46bf633252e6b955cee3bd0a1f2a8122","datavalue":{"value":{"entity-type":"item","numeric-id":5748872,"id":"Q5748872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86a64502756b40af9d9514a6413eb84822d5c44","datavalue":{"value":{"amount":"+0.8297133445739746","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":"Q4012712$78115A03-5D21-4EE3-BFAE-D5CDE8D847E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d25be62722ff5cec8286e3154e8c6c35c53a6654","datavalue":{"value":{"entity-type":"item","numeric-id":2770772,"id":"Q2770772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7828b28ce9ba326a6d4bafcac301a57a1a9c6c72","datavalue":{"value":{"amount":"+0.8279112577438354","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":"Q4012712$FE4B5A74-C11A-4EA1-AAA7-30BDD9BF1CDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012712","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012712"}}}}}