{"entities":{"Q113366333":{"pageid":108152840,"ns":0,"title":"Q113366333","lastrevid":1770390810,"modified":"2022-11-13T01:17:04Z","type":"item","id":"Q113366333","labels":{"en":{"language":"en","value":"Decidability and undecidability of equivalence for linear Datalog, with applications to normal-form optimizations"}},"descriptions":{"ar":{"language":"ar","value":"\u0645\u0642\u0627\u0644\u0629 \u0628\u062d\u062b\u064a\u0629 \u0646\u0634\u0631\u062a \u0641\u064a 1992"},"ast":{"language":"ast","value":"art\u00edculu cient\u00edficu"},"bg":{"language":"bg","value":"\u043d\u0430\u0443\u0447\u043d\u0430 \u0441\u0442\u0430\u0442\u0438\u044f"},"bn":{"language":"bn","value":"\u09e7\u09ef\u09ef\u09e8-\u098f \u09aa\u09cd\u09b0\u0995\u09be\u09b6\u09bf\u09a4 \u09ac\u09c8\u099c\u09cd\u099e\u09be\u09a8\u09bf\u0995 \u09a8\u09bf\u09ac\u09a8\u09cd\u09a7"},"ca":{"language":"ca","value":"article cient\u00edfic"},"cs":{"language":"cs","value":"v\u011bdeck\u00fd \u010dl\u00e1nek"},"da":{"language":"da","value":"videnskabelig artikel udgivet 1992"},"de":{"language":"de","value":"wissenschaftlicher Artikel"},"el":{"language":"el","value":"\u03b5\u03c0\u03b9\u03c3\u03c4\u03b7\u03bc\u03bf\u03bd\u03b9\u03ba\u03cc \u03ac\u03c1\u03b8\u03c1\u03bf"},"en":{"language":"en","value":"scientific article published in 1992"},"eo":{"language":"eo","value":"scienca artikolo"},"es":{"language":"es","value":"art\u00edculo cient\u00edfico publicado en 1992"},"et":{"language":"et","value":"teaduslik artikkel"},"fi":{"language":"fi","value":"tieteellinen artikkeli"},"fr":{"language":"fr","value":"article scientifique"},"gl":{"language":"gl","value":"artigo cient\u00edfico"},"he":{"language":"he","value":"\u05de\u05d0\u05de\u05e8 \u05de\u05d3\u05e2\u05d9"},"hu":{"language":"hu","value":"tudom\u00e1nyos cikk"},"id":{"language":"id","value":"artikel ilmiah"},"it":{"language":"it","value":"articolo scientifico"},"ja":{"language":"ja","value":"1992\u5e74\u306e\u8ad6\u6587"},"ka":{"language":"ka","value":"\u10e1\u10d0\u10db\u10d4\u10ea\u10dc\u10d8\u10d4\u10e0\u10dd \u10e1\u10e2\u10d0\u10e2\u10d8\u10d0"},"ko":{"language":"ko","value":"1992\ub144 \ub17c\ubb38"},"nan":{"language":"nan","value":"1992 n\u00ee l\u016bn-b\u00fbn"},"nb":{"language":"nb","value":"vitenskapelig artikkel"},"nl":{"language":"nl","value":"wetenschappelijk artikel"},"nn":{"language":"nn","value":"vitskapeleg artikkel"},"oc":{"language":"oc","value":"article scientific"},"pl":{"language":"pl","value":"artyku\u0142 naukowy"},"pt":{"language":"pt","value":"artigo cient\u00edfico"},"pt-br":{"language":"pt-br","value":"artigo cient\u00edfico"},"ro":{"language":"ro","value":"articol \u0219tiin\u021bific"},"ru":{"language":"ru","value":"\u043d\u0430\u0443\u0447\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f"},"sk":{"language":"sk","value":"vedeck\u00fd \u010dl\u00e1nok"},"sq":{"language":"sq","value":"artikull shkencor"},"sr":{"language":"sr","value":"\u043d\u0430\u0443\u0447\u043d\u0438 \u0447\u043b\u0430\u043d\u0430\u043a"},"sr-ec":{"language":"sr-ec","value":"\u043d\u0430\u0443\u0447\u043d\u0438 \u0447\u043b\u0430\u043d\u0430\u043a"},"sr-el":{"language":"sr-el","value":"nau\u010dni \u010dlanak"},"sv":{"language":"sv","value":"vetenskaplig artikel"},"tg-cyrl":{"language":"tg-cyrl","value":"\u043c\u0430\u049b\u043e\u043b\u0430\u0438 \u0438\u043b\u043c\u04e3"},"th":{"language":"th","value":"\u0e1a\u0e17\u0e04\u0e27\u0e32\u0e21\u0e17\u0e32\u0e07\u0e27\u0e34\u0e17\u0e22\u0e32\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c"},"tl":{"language":"tl","value":"artikulong pang-agham"},"tr":{"language":"tr","value":"bilimsel makale"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0432 1992"},"vi":{"language":"vi","value":"b\u00e0i b\u00e1o khoa h\u1ecdc"},"zh":{"language":"zh","value":"1992\u5e74\u5b66\u672f\u6587\u7ae0"},"zh-hant":{"language":"zh-hant","value":"1992\u5e74\u5b78\u8853\u6587\u7ae0"},"en-gb":{"language":"en-gb","value":"scientific article published in 1992"},"en-ca":{"language":"en-ca","value":"scientific article published in 1992"},"zh-hk":{"language":"zh-hk","value":"1992\u5e74\u5b78\u8853\u6587\u7ae0"},"zh-mo":{"language":"zh-mo","value":"1992\u5e74\u5b78\u8853\u6587\u7ae0"},"zh-tw":{"language":"zh-tw","value":"1992\u5e74\u5b78\u8853\u6587\u7ae0"},"yue":{"language":"yue","value":"1992\u5e74\u5b78\u8853\u6587\u7ae0"},"zh-hans":{"language":"zh-hans","value":"1992\u5e74\u5b66\u672f\u6587\u7ae0"},"zh-cn":{"language":"zh-cn","value":"1992\u5e74\u5b66\u672f\u6587\u7ae0"},"zh-sg":{"language":"zh-sg","value":"1992\u5e74\u5b66\u672f\u6587\u7ae0"},"zh-my":{"language":"zh-my","value":"1992\u5e74\u5b66\u672f\u6587\u7ae0"},"wuu":{"language":"wuu","value":"1992\u5e74\u5b66\u672f\u6587\u7ae0"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"f8efe5165e526aa64f349c3b2f25bd864b3e0b06","datavalue":{"value":"10.1007/3-540-56039-4_49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q113366333$26C35E71-96AD-4F58-9358-4E780B92D113","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q113366333$9ADCF01E-C695-49F0-B22E-E517B1ECD8B9","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"313ee369aa5a853fd967c2362523e632d4e4b49b","datavalue":{"value":{"text":"Decidability and undecidability of equivalence for linear Datalog, with applications to normal-form optimizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q113366333$7A70A377-F0FE-43F4-93CC-079D579C43FE","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"1309a5662e1275fcc34c2c549d1aacce3a4b840f","datavalue":{"value":"297-311","type":"string"},"datatype":"string"},"type":"statement","id":"Q113366333$055F5B56-216B-4830-A71B-3824C458A00F","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"b821d87b77041b39968c47fe3231b6d0c95ec613","datavalue":{"value":{"time":"+1992-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":"Q113366333$7E65507C-FAE7-4BF1-A640-E1120A296FAD","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"3015693f9abc71841a3bdca0db9bc5206d5c0b4c","datavalue":{"value":{"entity-type":"item","numeric-id":924044,"id":"Q924044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q113366333$31B044C3-ACCE-4B57-980B-E28F0D7F1743","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"6f3c1c8d3ad338da8c0ef5e0209c9d34b9c21cd8","datavalue":{"value":"Tom\u00e1s Feder","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q113366333$2F4ECD73-D685-4702-9AC5-E4C12CF55748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"481c85ac194c972769dff077e181af648d66753b","datavalue":{"value":"Yatin Saraiya","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q113366333$CB2EAE72-76B2-49D0-9B9F-D29C5043DE20","rank":"normal"}],"P921":[{"mainsnak":{"snaktype":"value","property":"P921","hash":"4fe036893c832a63f1b93ae884b4d77b9331876a","datavalue":{"value":{"entity-type":"item","numeric-id":113366341,"id":"Q113366341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q113366333$ad6314b2-4c6b-70c2-312c-e17a4c90814e","rank":"normal"}],"P1104":[{"mainsnak":{"snaktype":"value","property":"P1104","hash":"574187a46783e4cfb48de0e436403eb05bf45fda","datavalue":{"value":{"amount":"+15","unit":"1"},"type":"quantity"},"datatype":"quantity"},"type":"statement","id":"Q113366333$C0432933-9F8D-41FA-A198-60A73C0B9674","rank":"normal","references":[{"hash":"40fce3ab36b4480c47d9e8bc986521996506f2dc","snaks":{"P887":[{"snaktype":"value","property":"P887","hash":"82cfe67f9f867837ae01ad53eb2ec999c910cc6f","datavalue":{"value":{"entity-type":"item","numeric-id":110768064,"id":"Q110768064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P887"]}]}]},"sitelinks":{}}}}