{"entities":{"Q809591":{"pageid":811439,"ns":120,"title":"Item:Q809591","lastrevid":64538973,"modified":"2026-04-11T20:34:00Z","type":"item","id":"Q809591","labels":{"en":{"language":"en","value":"Compiling bottom-up and mixed derivations into top-down executable logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4213425"}},"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":"Q809591$128CB236-3572-43DA-9EC5-6BF5ABEA8397","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48c718c23c2c123b8da8f40a6e41b37a5fa24e9d","datavalue":{"value":{"text":"Compiling bottom-up and mixed derivations into top-down executable logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q809591$15EED75C-EB4D-40CB-96E3-A506C472FC53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db418a2361acb3ae3d171548c3a01a0206f58df1","datavalue":{"value":"0733.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809591$B8384FEF-8E98-4D2E-8BDE-88EE004DE846","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b401de08a817db66e5cd959e297c00661595dbc","datavalue":{"value":"10.1007/BF00249018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809591$5BA9F72F-A3D5-4D31-90AA-F53CA0286595","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64342d65a8f601046a51bd27eaee9c65db10c9b7","datavalue":{"value":{"entity-type":"item","numeric-id":809589,"id":"Q809589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809591$C3B5D08E-3EE7-48DD-BB87-5166E1972399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ea3e4dccf548a486f41e8bf20f25e169c7e705b","datavalue":{"value":{"entity-type":"item","numeric-id":809590,"id":"Q809590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809591$4D792E23-7681-4EEF-8EBD-45B61800E61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fad0a696a48629b32209d6a33edd7328bb65d41f","datavalue":{"value":{"entity-type":"item","numeric-id":582148,"id":"Q582148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809591$059D37CC-723B-440F-9886-512F89063245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19ef65edb47a3907b8782d56d731ecf0cd5121a4","datavalue":{"value":{"entity-type":"item","numeric-id":199253,"id":"Q199253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809591$076E6CC2-0377-46AC-8073-8C4637B76F23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809591$0746F102-274C-4C8E-9653-BB9F2FA12F10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q809591$6EC33CB5-6544-4769-8DD9-848F0603811E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809591$380B6B46-2265-405E-93A4-B0836A12F5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809591$17F5B9B3-7C29-48AA-9C02-472CB0716C96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fba2602de23205618eba4aec3c2ffabc56b8b94","datavalue":{"value":"4213425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809591$8EAC2E55-D000-4002-B8FF-EE435B47BAAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c98cfa30117a426ffce2a1e8ca6aa49b4451602","datavalue":{"value":"compilation of non-standard computation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q809591$015FFFF4-E100-4BD1-B1CF-B6A97DB2F3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a488c536704182cef98059540b9ed6630cf2c235","datavalue":{"value":"control rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q809591$74F198FB-4CFC-4891-9707-4FF206796DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q809591$8D74F38D-24B4-4051-A2FA-AAA3B826C453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fdfd81d1468c801127c8f4da5914c2f8319202d","datavalue":{"value":"Compiling Control","type":"string"},"datatype":"string"},"type":"statement","id":"Q809591$4B9AA361-CE50-4545-A71A-20D72846E403","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":"Q809591$E360290B-4044-4541-8052-40A06D7FABD9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"379abbca003d584882bad9f70022e11410225ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3821563,"id":"Q3821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809591$96423E84-44F7-4C61-A947-228E56891567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b99027e4439600fc57f181fbc1e2914067c504","datavalue":{"value":{"entity-type":"item","numeric-id":3490929,"id":"Q3490929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809591$F95E4933-62C9-4E4F-BDA9-87A36611E5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a6fc7060891b394593d2fb8a8bef54241c6375","datavalue":{"value":{"entity-type":"item","numeric-id":1119029,"id":"Q1119029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809591$ABC37D50-C9D7-47CA-9604-25F2171BF9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e338357099e4c81deceb5176ab12782ad2933536","datavalue":{"value":{"entity-type":"item","numeric-id":3789059,"id":"Q3789059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809591$4FA745BB-E09A-478C-96BC-C0E46FBA6678","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":"Q809591$BE7EEDE1-44BF-4EBF-ABCA-5288C124B51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a91f73927a3d80eb5f206237090d7c2fd8fcd1b","datavalue":{"value":{"entity-type":"item","numeric-id":3786031,"id":"Q3786031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809591$E8917F56-FAC9-4641-9DF5-318FC78801C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea0581d2439bb289846f7c6b6aca9829dcea6d7","datavalue":{"value":{"entity-type":"item","numeric-id":4040538,"id":"Q4040538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809591$2B968829-24ED-46B1-A0D4-BD1E12A5CB8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b6b3ce3ec80974fba9ae741d58633a16d0df843","datavalue":{"value":"https://doi.org/10.1007/bf00249018","type":"string"},"datatype":"url"},"type":"statement","id":"Q809591$FD7D3E55-ADE8-46EF-814F-E7AF35D11D79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d9220616e5a95d04f7fdfa85a1c5a31ed5abaa8","datavalue":{"value":"W2121496138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809591$9DA8525B-9AC1-458B-963C-175D2816B1D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8393493a49b2672aa8bb97e039254d3d03eeba4e","datavalue":{"value":{"entity-type":"item","numeric-id":3833651,"id":"Q3833651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edee07fc31a3033a8e9c29cf5310facf10ab4d8c","datavalue":{"value":{"amount":"+0.7781776785850525","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":"Q809591$D150A5E4-9C6F-4C3F-A47F-F5A192F11B98","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":"929b40a64bc33c3b9409db411e78c38eb06adbe2","datavalue":{"value":{"amount":"+0.7634637951850891","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":"Q809591$291C5299-7CEE-4154-B3F6-CF9B1408B6C3","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":"88e1a85f452b1450af71028194f4b2eb763da3a6","datavalue":{"value":{"amount":"+0.7536617517471313","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":"Q809591$56FC0223-FB5A-4A7A-A350-234EF4ADCE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6fca6997d553581712dd8867e6bc53d7f4a57ca","datavalue":{"value":{"entity-type":"item","numeric-id":4039734,"id":"Q4039734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e1a85f452b1450af71028194f4b2eb763da3a6","datavalue":{"value":{"amount":"+0.7536617517471313","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":"Q809591$73EADAC8-343E-4309-8A6E-92011CBFA7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae0a4ce56cc4803d2e5112e12266cf2cb676d5ec","datavalue":{"value":{"entity-type":"item","numeric-id":4506395,"id":"Q4506395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d8da84578539bd6c52d50b9b3bf7dd0a2feead","datavalue":{"value":{"amount":"+0.7506568431854248","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":"Q809591$BCEDC382-A72B-40D9-B3E8-32AA10F040CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compiling bottom-up and mixed derivations into top-down executable logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compiling_bottom-up_and_mixed_derivations_into_top-down_executable_logic_programs"}}}}}