{"entities":{"Q6562535":{"pageid":14173690,"ns":120,"title":"Item:Q6562535","lastrevid":55695043,"modified":"2026-02-17T21:10:45Z","type":"item","id":"Q6562535","labels":{"en":{"language":"en","value":"The expressive power of revised Datalog on problems with closure properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7871916"}},"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":"Q6562535$B856DD22-0BE9-4CA0-BEB8-B395E40B4473","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef0fe3d66419618b238f3aabf8a0737a6f0d01de","datavalue":{"value":{"text":"The expressive power of revised Datalog on problems with closure properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6562535$BB888103-5F5A-4E07-BFAF-5EC33D04FA2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c78c353692a579e24f7346bdec13793632ce9b32","datavalue":{"value":"10.1007/978-3-031-45558-2_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562535$4524D6C3-CCB3-4D6E-B0AF-6907B46F8093","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff14b2229f33735cab555903b1ee721898ea9a2a","datavalue":{"value":{"entity-type":"item","numeric-id":2102775,"id":"Q2102775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562535$42BC9D13-AD09-4334-BB68-5312D87F2C3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fcfcd1ef10c7fde6c1cfae7c43e4bb4c52933f52","datavalue":{"value":{"time":"+2024-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6562535$DE6A798F-0785-4B19-9F70-0F49E7AD0265","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562535$AB15FA95-8803-4FAF-BC83-ACD14DB914F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3d9213d71aeb9b93236ce5e0d557d200134334c","datavalue":{"value":"7871916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562535$41F5DDF4-9059-4B1D-AF86-886C339D0A38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562535$1D85AD44-CF2C-4195-98D5-7AD43B7E18F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a973ca6b294f3c624d69e8067af106d806cde77c","datavalue":{"value":"preservation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562535$DD1BB2B5-D45B-4024-AC9D-CBDB1AD2C951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"309fff9575521b7ca8fc996e01f8ba0c6bf09e1d","datavalue":{"value":"closure property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562535$E2FCF350-DB7C-4F00-AE3A-C9D9C3BFB11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562535$65E489B3-43DF-4926-A0E4-0B790E89EE3A","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":"Q6562535$2FF5A35A-346D-43B8-9804-4474266C46F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562535$7A80BAF7-97DB-4636-B31E-92137176FAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b061c74acfe7ed299eeb2c95c750dc4bed6741a4","datavalue":{"value":{"entity-type":"item","numeric-id":1176285,"id":"Q1176285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562535$992EE4AB-2480-47F1-BF6E-E760EBD8D121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e91e87abdd260b56eeb9c5a04c72767e32318435","datavalue":{"value":{"entity-type":"item","numeric-id":1900923,"id":"Q1900923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562535$9DF10E6A-D9D0-4E00-9301-A1534FF80B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8665470b821e435052c06603d4e72bf06af71c","datavalue":{"value":{"entity-type":"item","numeric-id":1342861,"id":"Q1342861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562535$99AE2C5C-0D26-4103-A5EB-BE166C4CAB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb5790f6ca1340a20cca60e6c07cdd6bc191dd2","datavalue":{"value":{"entity-type":"item","numeric-id":3519499,"id":"Q3519499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562535$6EE86108-4B08-4B5D-80AA-5BC91F02205A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaacce59fa1f221109265c34b720287e0cba028e","datavalue":{"value":{"entity-type":"item","numeric-id":5708365,"id":"Q5708365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562535$17665734-D681-448B-942A-7899E8533642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5366285e2cdcd5ce72c303743f4e9cd9cd84f14","datavalue":{"value":{"entity-type":"item","numeric-id":4035693,"id":"Q4035693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562535$9575E3E0-E1A3-4FF1-9C38-D7DCE6BE72D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b67ee9815f7ab3c8b2b4907677d99ca915d101b0","datavalue":{"value":{"entity-type":"item","numeric-id":1164622,"id":"Q1164622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562535$4B1285A1-C7C6-49EA-ACB6-FE978D633E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44e5705ec3e430c4e220bbfa438e4fb6dd37fa4","datavalue":{"value":{"entity-type":"item","numeric-id":5874373,"id":"Q5874373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562535$96823BAA-5E42-4477-B842-3CC96F802CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9575765f0fb72ed9ac301d020db21d1a4786eeb7","datavalue":{"value":{"entity-type":"item","numeric-id":1183571,"id":"Q1183571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562535$893BC679-C1A0-49EB-B4D1-E04FF30F6632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e8d225ebe6e063e2413b763c675959b71bf0b17","datavalue":{"value":{"entity-type":"item","numeric-id":1924779,"id":"Q1924779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562535$BF85C97D-789B-4D1D-A659-AD1B2F055E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb76e4abeb695d8ea7b0ee91fc44e68d007b685e","datavalue":{"value":{"entity-type":"item","numeric-id":4619815,"id":"Q4619815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562535$EF42858E-ABDE-48E5-B73F-B00203E96DBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"210bcfe99326042e2936b719e031f0e51ab93ff6","datavalue":{"value":{"entity-type":"item","numeric-id":960526,"id":"Q960526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a007d1cc04a17c5e8d63d92b822940c6bda1ba18","datavalue":{"value":{"amount":"+0.7765241265296936","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":"Q6562535$3BB59CE2-4B59-422D-9084-A7802488F292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2745dc2c7be0d55136e8df1f57462df834cff1f","datavalue":{"value":{"entity-type":"item","numeric-id":1127538,"id":"Q1127538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac54d52048ecf0e1fbc338ee3cca02c38512aa3","datavalue":{"value":{"amount":"+0.7575532793998718","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":"Q6562535$60CA2030-4D12-4012-BCED-9FB8CFF7B276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7dc4f24be770ef1bc9f30ba91e37fa0ff750817","datavalue":{"value":{"entity-type":"item","numeric-id":1900923,"id":"Q1900923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dda20eb31c272e4b082931f8f44eec32e43eeb6","datavalue":{"value":{"amount":"+0.7508834600448608","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":"Q6562535$9E964C96-3FB0-4386-8CF1-4701939BBD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adfa0e40f8c1116d155106c1b6b53b31391cc41","datavalue":{"value":{"entity-type":"item","numeric-id":1176285,"id":"Q1176285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50fe970dbed386491cd54c4e8338477f54e2d265","datavalue":{"value":{"amount":"+0.7455227971076965","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":"Q6562535$A732A519-2150-4CA1-8B30-7F7271D30175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f57b73c3db3cf23c482102be7af6f80746dd0335","datavalue":{"value":{"entity-type":"item","numeric-id":5108510,"id":"Q5108510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a3b7e863286449da8543724dd745f0441b3f45","datavalue":{"value":{"amount":"+0.7452226281166077","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":"Q6562535$577F785E-29F5-46DF-9A8E-373A7B1F348F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6562535","badges":[]}}}}}