{"entities":{"Q4365059":{"pageid":6394658,"ns":120,"title":"Item:Q4365059","lastrevid":46498248,"modified":"2025-12-24T22:17:27Z","type":"item","id":"Q4365059","labels":{"en":{"language":"en","value":"On Delphi lemmas and other memoing techniques for deterministic logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1082030"}},"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":"Q4365059$20887D59-68E3-43B6-B3D5-2994466E130A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18df816ad55e59dae24ed63e3123d720da2fdd2c","datavalue":{"value":{"text":"On Delphi lemmas and other memoing techniques for deterministic logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4365059$45410998-C34E-44D5-9ECC-F26E17B51A19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ee244ac3a3e38a09488185dd11579d5fb365a45","datavalue":{"value":"0884.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4365059$9289C382-9C85-42C7-B447-CDFCF8A1C34E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"587ef8234884f0658a1ce533d23bc691351e1aad","datavalue":{"value":"10.1016/S0743-1066(96)00105-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4365059$BEF11DE0-A80D-401C-9CAC-F0902AE420DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec49a6685e47abe38cbcbbcac2d3c6df36399c7e","datavalue":{"value":{"entity-type":"item","numeric-id":461477,"id":"Q461477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4365059$B98DD445-E39C-44A4-8231-9A63733DC384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bec93bc72b8e10aec977cc6a76594d310ee7b8da","datavalue":{"value":{"entity-type":"item","numeric-id":169892,"id":"Q169892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4365059$FF47244C-409D-4DB4-87D1-22349BAD48A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"458785d7f3e4170335c904a0c752e6acc0818f75","datavalue":{"value":{"entity-type":"item","numeric-id":1140836,"id":"Q1140836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4365059$7D850180-536C-4619-B30D-37047710B867","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":"Q4365059$72640CFB-C51D-43E2-94B3-D66606972A00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7765eefed21fdf2360b9d246dd6272bcc4bb251f","datavalue":{"value":{"time":"+1998-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4365059$6C1C9FFF-E00B-4271-BF34-B5BFC905D076","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4365059$171D4547-160C-4B0B-BC7E-A1E1ABB11C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4365059$347CECFF-A388-4AE6-81B6-DCF69B9C5489","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"412c833bf25565923e15b6da61cd03571e3d8ae4","datavalue":{"value":"1082030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4365059$FC5C368E-3A71-4637-99EE-3E35C8CDD017","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15effc9b7a5006428b393aa899eaceb4e1472829","datavalue":{"value":"delphi lemmas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4365059$DE93A0F8-03F6-4090-8FA6-629AAAE5B1B0","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":"Q4365059$2F37068E-BAD9-4A02-ACD3-9B98E42ADF2A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"562543b11c1ee39c1a84dd06fb999e7edc7e7e93","datavalue":{"value":"Q125017402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4365059$65CD6DED-0A20-4093-AEC3-AB29399E05E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9defe39e679b351ab97c7d9064d1f1f645d7eb7c","datavalue":{"value":{"entity-type":"item","numeric-id":4939542,"id":"Q4939542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b468276419ce0f2adf3c7e2a9ba9fd1940d12d8f","datavalue":{"value":{"amount":"+0.7093828320503235","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":"Q4365059$FA50A0B3-5930-471D-973E-13F6F2A88F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c2d8b32ab2781506ac5ac49e5b7041f7b50e61","datavalue":{"value":{"entity-type":"item","numeric-id":5394606,"id":"Q5394606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65ca9458aac3904ae7b2a743c9a89743aad3422","datavalue":{"value":{"amount":"+0.7071055769920349","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":"Q4365059$F6DAC005-7F6F-4A6B-8880-6E36CAD9F3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dac2e56839e06153654f40d8d02fa06e6b96372","datavalue":{"value":{"entity-type":"item","numeric-id":3142026,"id":"Q3142026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"452b4073802f390c4fbd27152bc090392f1741d4","datavalue":{"value":{"amount":"+0.7034571170806885","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":"Q4365059$4678B759-9C17-4966-A402-D91FE70E73B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c232ee1a6f16df5ae249773f3be64b99b4f5780b","datavalue":{"value":{"entity-type":"item","numeric-id":3829060,"id":"Q3829060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f343ae773fe881b40ad4f7ac9e4045dfb6fce972","datavalue":{"value":{"amount":"+0.7032430768013","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":"Q4365059$A0587D88-58C4-4A2B-867F-5AB9D85D90E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4365059","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4365059"}}}}}