{"entities":{"Q815006":{"pageid":816854,"ns":120,"title":"Item:Q815006","lastrevid":64613403,"modified":"2026-04-11T21:04:35Z","type":"item","id":"Q815006","labels":{"en":{"language":"en","value":"Derivation of efficient logic programs by specialization and reduction of nondeterminism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5004552"}},"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":"Q815006$BF86E21D-72A2-4C80-97B0-79B36657918E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cca0d4d63e6b7889879e4e5fbe3ff3260cc6f67b","datavalue":{"value":{"text":"Derivation of efficient logic programs by specialization and reduction of nondeterminism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q815006$74780F0A-041E-4D0A-BC7B-6C1AA499C30A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bea11e5e1110fc029703f80363384f0b04fd3145","datavalue":{"value":"1103.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q815006$3AB67F8E-CFC5-4761-964D-7C0E87C47EDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$FE8F37A6-DCEA-442B-B875-0FA734DACD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"654e384eb1877ac8c979f84d56374051f436237f","datavalue":{"value":{"entity-type":"item","numeric-id":815005,"id":"Q815005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$045D4D67-9A27-4467-8033-8A64F493695F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$279DC17A-5E44-482F-B97F-9CC40932C277","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$A03F5BE9-441F-42AD-8D51-AFC8A6D93817","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7be842e5bc1b54667cb2f669eb29d91c2f271633","datavalue":{"value":{"time":"+2006-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q815006$9CCFD3CC-F8DC-496E-9411-250F00D2F733","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q815006$D25B68B4-0DD5-4B5E-BD3F-5027F419AEC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5334c375e43c5b153f1c0c277c34b5e7a0b4570b","datavalue":{"value":"5004552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q815006$0A41C860-8A25-4216-95B4-5D4A5C1A723E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd185262554d4d113c40a9e86a5173bb899fd41f","datavalue":{"value":"automatic program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q815006$ACCB117C-52F4-49BB-9114-AD6F84374AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q815006$F73CDAA9-05BF-4022-BB88-85D51D5F7A52","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f900c00b9c1039bd7128859b5e56ec82deed0417","datavalue":{"value":{"entity-type":"item","numeric-id":20342,"id":"Q20342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$AC9DDA88-AE44-4BD4-9948-4CFBD18324B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf05a0fe8c67d4d8f396d444a59573c809b42e38","datavalue":{"value":{"entity-type":"item","numeric-id":24023,"id":"Q24023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$D9DF2AB9-10D0-4A4F-BFD9-2D138618CF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"970e99c9bc3dc9625d7c5e330adbb28ce852057d","datavalue":{"value":{"entity-type":"item","numeric-id":21863,"id":"Q21863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$11BD39AD-1B0C-44AA-9083-7A9C38D966AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a10fa0d0fc1b68b6a8c9081db3fab0d000f0c64","datavalue":{"value":{"entity-type":"item","numeric-id":39349,"id":"Q39349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$B5058FE9-1916-493C-B814-140F693E586C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91dd7e13f71e3e62484b361def521e363c006e6b","datavalue":{"value":{"entity-type":"item","numeric-id":16380,"id":"Q16380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$2CA2D560-0548-471F-89C4-A77C1776B24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cff6794623cf5d8528667b5f3c64c252856fc71","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$B8CC9931-797D-4841-A22C-F74FC15F8B47","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":"Q815006$3A662027-950F-416F-AA76-5A4076A93E64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fad2ee7155752f4c3176fe05daed3486611aebc","datavalue":{"value":"https://doi.org/10.1007/s10990-005-7008-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q815006$25B3C197-4ED5-40BF-B7CF-84E7DDD38F18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aec4d6870e820ba9b5c75296a8445896113766f2","datavalue":{"value":"W1839175409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q815006$EFA145FE-D8F3-4A5E-BFFC-3A1875DF8D63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$EBAFD104-84F0-438D-BB30-797DA4DD85C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80dfd47610f8fd7457b49fd63ffdffeb7b6214ee","datavalue":{"value":{"entity-type":"item","numeric-id":1822923,"id":"Q1822923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$8702B916-0BB2-486D-BD93-9E462D07498C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a53b6a7048c3d4e80a911ec995edc4eb2e54544","datavalue":{"value":{"entity-type":"item","numeric-id":2723923,"id":"Q2723923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$61275E64-6966-4866-ACA6-17E19F65BB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$718DF4A4-C00A-4A3E-92A9-3129FF2C7BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0705daecc5ffa3855114e3599480f53a82f40e64","datavalue":{"value":{"entity-type":"item","numeric-id":4939538,"id":"Q4939538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$9199B3A1-0A1A-4ABC-A494-64108883C8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d4de458b582bff7101ec6fea58a295e0f043f8","datavalue":{"value":{"entity-type":"item","numeric-id":3792215,"id":"Q3792215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$F940AF44-9604-41D4-81A0-A13AA906C204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee5d097f7c9c8bc1fce167a67611fb36307bcf68","datavalue":{"value":{"entity-type":"item","numeric-id":808278,"id":"Q808278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$16876BA0-6C4A-4DAC-8278-991F5D812901","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":"Q815006$5FE4275B-8E9C-40CC-87D8-72B702E898A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471abb3e7f4ab1ef1a7fc449604429dc98060673","datavalue":{"value":{"entity-type":"item","numeric-id":4245932,"id":"Q4245932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$23443405-BFC8-468C-920D-76670AB2D1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$A15C9B75-A945-4906-AA75-6517CBBADE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac7f741f9b1e3426d597355d63b43bdf762c36a","datavalue":{"value":{"entity-type":"item","numeric-id":4148937,"id":"Q4148937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$F0D364EB-CFEE-46AB-AA51-819321BC600A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceeac2e039d91b203e56010d844316265395c776","datavalue":{"value":{"entity-type":"item","numeric-id":1595470,"id":"Q1595470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$BAF3F9D1-FCCE-49EF-9D35-ECA99ACD7A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$995BBF8E-BB3C-44CB-B5D7-810A5EC787EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b1b08756d91316e1d97aa4b3cacebc09d7bda5","datavalue":{"value":{"entity-type":"item","numeric-id":3988796,"id":"Q3988796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$D845438D-D69E-4C50-A237-73FE1F3D9890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19152fd97f1dc2bc69d9c355fb3076fd9a1e68e0","datavalue":{"value":{"entity-type":"item","numeric-id":1314419,"id":"Q1314419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$C084A130-F1FD-4C03-A8A7-882E22171E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdef283b200aa3269d09e08c4de781b834b117f6","datavalue":{"value":{"entity-type":"item","numeric-id":3694653,"id":"Q3694653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$649049BF-88DC-484A-B89E-F5F06A1EFF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d6f89901bb1264c7e9f22a16224fb694fab3c0","datavalue":{"value":{"entity-type":"item","numeric-id":3943982,"id":"Q3943982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$04CBBADF-A637-4E51-B249-4E79446871AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"858c055a7789a65c0f5f58e60f86f450d09283c3","datavalue":{"value":{"entity-type":"item","numeric-id":5286919,"id":"Q5286919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$E27D4751-ED36-4421-82A4-145771D9069D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e357561b24d9113100e0759ecfadf0c69ade7ba0","datavalue":{"value":{"entity-type":"item","numeric-id":673496,"id":"Q673496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$F83F269C-378A-4E89-97B6-78D664A894CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51593c2e38520c7a49935702c94be53704dd3c62","datavalue":{"value":{"entity-type":"item","numeric-id":4494372,"id":"Q4494372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$AB33598F-C3B2-4CAB-83D2-FF392160354D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1815375bd2ff5bc0e8537e48c91ffaf8eafe04","datavalue":{"value":{"entity-type":"item","numeric-id":1313369,"id":"Q1313369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$B29929E2-B07C-4BB0-BBAD-B844F962F69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0492ad67fcf2041e7ec872a6a059ff7e840c6836","datavalue":{"value":{"entity-type":"item","numeric-id":1200980,"id":"Q1200980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$CEF017CD-14CC-47F7-A6DA-BDF2B8272DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cec6c49db5f12e0ec3e401cc0c8955db1ee6c9","datavalue":{"value":{"entity-type":"item","numeric-id":4339846,"id":"Q4339846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$42D62CE6-8973-45C9-A3AC-AE20C31F8936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8703228b70bd76dfe6540872520bac9ad5b1b1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3732942,"id":"Q3732942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$EA76D309-3996-4AD0-AF5F-32C77FD7782D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcf4186c4480f5d344cc9880618b00ccbaf1502","datavalue":{"value":{"entity-type":"item","numeric-id":914358,"id":"Q914358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q815006$C77D5D65-3C98-4463-964C-CEB9E519BF94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"392a7037e8d832846af29627be6ea901960e0943","datavalue":{"value":"10.1007/S10990-005-7008-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q815006$BA643D58-3687-4F3B-B28C-886F3302760B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e97ae877187290e8c40cb957954647fd6a7d26","datavalue":{"value":{"entity-type":"item","numeric-id":4286220,"id":"Q4286220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f5571affd9136d9361d207772acf6525088ebb","datavalue":{"value":{"amount":"+0.8201720118522644","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":"Q815006$F4046CFA-036A-44F3-BB77-154F930AAED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7bfa8674a39053e53ad2081d5c518b20768ce1","datavalue":{"value":{"entity-type":"item","numeric-id":4944882,"id":"Q4944882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5be75d599882b11c68a538b14f4207a414ab2ba","datavalue":{"value":{"amount":"+0.8118126392364502","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":"Q815006$A4F70B81-95CD-4BDF-80C0-2DE84A452899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3f9dd4b34a5b400236566619697ee4c22cf75ab","datavalue":{"value":{"entity-type":"item","numeric-id":1108783,"id":"Q1108783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079673a4828341554732252241ca5a1a6d755803","datavalue":{"value":{"amount":"+0.7852869629859924","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":"Q815006$9F5DDE45-9F75-46D6-A56D-1E36377B988B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be38d12a01dc64ef90da2860a1846fbb228f6c7","datavalue":{"value":{"entity-type":"item","numeric-id":4217937,"id":"Q4217937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e15ca66a860d9b5d34bcd73a1d963aadf4df133","datavalue":{"value":{"amount":"+0.7847981452941895","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":"Q815006$686F1722-A964-43A9-9392-49D4B438C3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da450994654e93b2badc740421be78818d58be9","datavalue":{"value":{"entity-type":"item","numeric-id":4499252,"id":"Q4499252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e15ca66a860d9b5d34bcd73a1d963aadf4df133","datavalue":{"value":{"amount":"+0.7847981452941895","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":"Q815006$079E38CE-A070-4F7C-ABD4-ED39301F94CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Derivation of efficient logic programs by specialization and reduction of nondeterminism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Derivation_of_efficient_logic_programs_by_specialization_and_reduction_of_nondeterminism"}}}}}