{"entities":{"Q5286917":{"pageid":7316491,"ns":120,"title":"Item:Q5286917","lastrevid":46344840,"modified":"2025-12-24T14:55:58Z","type":"item","id":"Q5286917","labels":{"en":{"language":"en","value":"Basic transformation operations which preserve computed answer substitutions of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 227530"}},"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":"Q5286917$6AF15571-A16C-422C-8EDF-4DB86A27D79E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44fa29e729ae6b97b91268b56ba6e4ae24753669","datavalue":{"value":{"text":"Basic transformation operations which preserve computed answer substitutions of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5286917$0A58149C-078E-467C-A874-C05B4690494B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e547d1d36ff66e2eb740de0d90e1610d1a262532","datavalue":{"value":"0778.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286917$B9729A40-2F78-47AC-8262-6C8AD681BE1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b758a432d62722032e84a6c93026b01863b3acea","datavalue":{"value":"10.1016/0743-1066(93)90023-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286917$167AC375-5A39-463A-B33B-A7287CE483E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8746e3e542fcb2c86c5c4dd73da00ffe7d92d6ab","datavalue":{"value":{"entity-type":"item","numeric-id":1035701,"id":"Q1035701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5286917$E0CFDF56-9E05-44C1-B355-67850A02F3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40c65fdcb74774080f5ad7f459a5d7542d215b90","datavalue":{"value":{"entity-type":"item","numeric-id":609027,"id":"Q609027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5286917$550DCFDD-272A-43C9-BBC2-2F981215B363","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":"Q5286917$65652343-D4AE-4C9A-BB00-9F8ACF8AE033","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a626d589150434ddedb6dea454b02c574516fd1d","datavalue":{"value":{"time":"+1994-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5286917$0E15576A-C73D-417E-BBD0-B9B7F9481264","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286917$B817702D-FCF5-4DE7-A864-FB4DB847D422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286917$2D28354B-343A-4C4A-95BA-B642013998E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03bcedb759cb161ff172fb1a1070f1be7f666bd8","datavalue":{"value":"227530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286917$4F505E9E-3F69-4C73-AEAB-70973E2A7783","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb81348d3b22eec3d3f56a2c74098d06c3f2e41f","datavalue":{"value":"transformation techniques for logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286917$845ADC32-56CC-41DA-8A40-3A09F2326680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286917$14B86057-C8C5-4DB5-9226-5C7517C16DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fa9e9f264ee7ab1c475a20dc9291a3b2cdad343","datavalue":{"value":"pruning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286917$A2E90132-E2BB-471C-9D02-9996C1860FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e698733d7ab8320f6c4cc1347291648bc4530444","datavalue":{"value":"thinning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286917$EECC19FF-DA7C-4F2F-9003-061F8E2F4223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ae3e733b1d66844c8160554130c9980a883532","datavalue":{"value":"restricting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286917$91157FA6-2B11-4FF3-84F8-EFB732048399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8953dfbeb9975a77b1bb7bab23ae375fbae1d3cb","datavalue":{"value":"fattening","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286917$40D19181-DA6E-4428-868C-32527FF08F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbcc9ced9418be1f2162aa4a709050e189e6b9d2","datavalue":{"value":"S-semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286917$3CE8C09A-12A0-425E-A86F-7C4509FD5EFD","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":"Q5286917$FD23D51A-BC96-4B80-8BDA-6042BE6CCA47","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":"90ea5aba711095fabc595cb936bcf469352f40e9","datavalue":{"value":{"amount":"+0.8451226949691772","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":"Q5286917$F784FEED-0A16-4865-B011-4CC5289F29F1","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":"5c470a5e92e4767fd4bc5f528176451de1c60ecb","datavalue":{"value":{"amount":"+0.8298084139823914","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":"Q5286917$34B7C29C-F107-402C-B735-3686F81B1C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47668e36d63c7cf6e39deba496fb556724f33504","datavalue":{"value":{"entity-type":"item","numeric-id":4517379,"id":"Q4517379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4b2bebd588dda4b6ce826ec351f6cb24688b85","datavalue":{"value":{"amount":"+0.8295305371284485","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":"Q5286917$AFDDECBA-EE2A-4A0F-B172-E0B772BE97A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9961865a7bc3ad29945efc566bde2665a7c910","datavalue":{"value":{"entity-type":"item","numeric-id":4819011,"id":"Q4819011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5fbc57eff25f91b8d010052431d48c1f8aea50c","datavalue":{"value":{"amount":"+0.8277004361152649","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":"Q5286917$3239ACDC-C0B0-4B89-9D90-5F969783DF9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5286917","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5286917"}}}}}