{"entities":{"Q4645206":{"pageid":6674787,"ns":120,"title":"Item:Q4645206","lastrevid":53315570,"modified":"2026-01-24T17:25:33Z","type":"item","id":"Q4645206","labels":{"en":{"language":"en","value":"The pushdown method to optimize chain logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999460"}},"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":"Q4645206$0B6E9BFE-441B-43E4-9DF0-F4B1E03E13CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8b1cab278c3f9bcfb41401e3f7ada3c351aef98","datavalue":{"value":{"text":"The pushdown method to optimize chain logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645206$6B7CEDFD-0065-4CA3-835F-7E0C4C9CB8C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08a579ba9e1977ac1875e07bd77c0f394234c9d9","datavalue":{"value":"1412.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645206$0E6D3626-4EC9-45A9-A269-F8D28D27C6B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5724a07d23fa3fab5d095c26cfff9fe4ea7bb06d","datavalue":{"value":"10.1007/3-540-60084-1_102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645206$EDDE9B29-AA64-4E27-9CF9-BEA5A5FF8576","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e783cdbe9cd5a5931f0254f84f99d76af1205513","datavalue":{"value":{"entity-type":"item","numeric-id":199226,"id":"Q199226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645206$CDB0EF44-6EEC-4D62-ACA8-1EC9696AF0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8a76b8afbca796fe20dd7691e0c6af569aec027","datavalue":{"value":{"entity-type":"item","numeric-id":199227,"id":"Q199227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645206$15ED7A8E-2EEB-4BEA-A8AC-499DCD467BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"222e73af1bd82e81f1c3cf2681afba0100e392fa","datavalue":{"value":{"entity-type":"item","numeric-id":199228,"id":"Q199228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645206$5EDC96BE-4636-4964-A93A-A6D56FB41CF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645206$A1D5C489-33D3-413B-AC7B-0E2A905621F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645206$3D5426FD-71B4-4A89-96AC-C61B1E1BA566","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645206$338AC7C5-8CEA-4597-AD58-1C67EE1D594C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645206$681A0732-4B36-4C11-9A83-2B6B86CCC71D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b8a10784795c836db8af842de7099c1365a059b","datavalue":{"value":"6999460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645206$55A40762-10D7-42EB-80AA-464D1BD28668","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645206$A131545B-647F-4B2F-BBE9-F8F93AF0B4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"601a3d40674af2984e72e7e39e58d47a3fd67cdb","datavalue":{"value":"counting method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645206$02CD0616-DEF3-4F1C-A243-4CA3D8D771AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10f3eb93fd6100f8154a87ca59c6b1050bb70d6c","datavalue":{"value":"chain rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645206$4014DC93-1DCA-447B-A6FF-1D62A340B3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d5f0a28de693e8b2b8d3680d78ebfe7bc738773","datavalue":{"value":"predicate symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645206$B6459A2B-3F86-4567-8250-F8DBA819D8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f96ab68362ecc7785c310a8bc5d1601c40b4b65","datavalue":{"value":"finite-state automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645206$87A00031-8EAC-42D4-86FE-18687110D9DC","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":"Q4645206$95DA2EAA-C1D8-4537-AD33-D1F35303F974","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"302ffe51243a3826ab16215ebccf9b254f72df91","datavalue":{"value":"https://doi.org/10.1007/3-540-60084-1_102","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645206$38B69B87-09BA-4DB8-A051-2A890B348379","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0062d7b1a2e798f41706278da86114d2e61f1084","datavalue":{"value":"W2135621391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645206$5517E7F2-EEF8-44F3-ACAE-4F142789ECD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb036d38e70240af3bf7776793a1271108a47ef","datavalue":{"value":{"entity-type":"item","numeric-id":1813949,"id":"Q1813949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645206$BBCB9FD5-14AD-4E22-BA8A-F7624F7A6F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d575f928e5b101835789d397612c043055704d29","datavalue":{"value":{"entity-type":"item","numeric-id":3210147,"id":"Q3210147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645206$D1196919-913C-4BE7-9A3F-4BBDDB524562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5b42f36e5d62d13f4210e16233423cba039938","datavalue":{"value":{"entity-type":"item","numeric-id":4035347,"id":"Q4035347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645206$76A8719D-1B9B-4CA9-81AE-34FC53B2CC8C","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":"Q4645206$CC0A5CFF-A4C6-4099-AEF7-E23AD0AE4D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645206$A4E80D73-9ADE-45B7-800B-7C0D3D70BBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96aeb6a37d3c979e16b1e0ce3c73795e14b7cf6f","datavalue":{"value":{"entity-type":"item","numeric-id":686647,"id":"Q686647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645206$8193DABA-6ED7-406B-B02E-01E2E1D27906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15438b547853a7edb50d39ddd2d8df87f18700d9","datavalue":{"value":{"entity-type":"item","numeric-id":1111779,"id":"Q1111779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645206$86175789-6B1F-48C4-A01B-15A29C15955A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0a6cc9ea334df60316d415d946b98f4b695a173","datavalue":{"value":{"entity-type":"item","numeric-id":1262144,"id":"Q1262144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645206$26E01D67-328D-48BF-BB71-63C0F08A2AC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a79a58eead450dc704af8d7aec8ed9bd8cd988c","datavalue":{"value":{"entity-type":"item","numeric-id":5249009,"id":"Q5249009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aae9cf70d1c87c61320056bd56458c7c182a14a","datavalue":{"value":{"amount":"+0.9406890869140624","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":"Q4645206$5C8AABAD-71C4-4464-B9D3-E753757A8F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1bd497c6c5f9414681196eede8a77fb5f7ddf1f","datavalue":{"value":{"entity-type":"item","numeric-id":4035347,"id":"Q4035347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49df40df88789d7df1f71321b2c0de9b491dbc6","datavalue":{"value":{"amount":"+0.7882280349731445","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":"Q4645206$21F888DF-2B12-4E46-8391-5BF7B9B0F40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016672153ebe26a927dc46ae8ea11c2d67d798ce","datavalue":{"value":{"entity-type":"item","numeric-id":3125088,"id":"Q3125088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65f28f3eba0e71755cb53bc84b47dd55d26cb56","datavalue":{"value":{"amount":"+0.7882278561592102","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":"Q4645206$A18914B6-A802-4706-BFCD-750B01853EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f2c146f1297840dbb70cdd9ac2a606c6165787","datavalue":{"value":{"entity-type":"item","numeric-id":3210148,"id":"Q3210148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b825c05098ad6610eb4c4e2bf2435b3b770ea5","datavalue":{"value":{"amount":"+0.7668120265007019","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":"Q4645206$3390ABE8-FB97-480C-A1FC-D67B0BD61B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ba0d26addb329e4fe8eb7b628e02fc691e43e16","datavalue":{"value":{"entity-type":"item","numeric-id":3786036,"id":"Q3786036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0bb88bef7b16cc42688b3c8abaff95ffd070fe","datavalue":{"value":{"amount":"+0.7607141137123108","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":"Q4645206$DF4CE30A-2AAE-41DD-9139-715C348A7D68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645206","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645206"}}}}}