{"entities":{"Q5255069":{"pageid":7284637,"ns":120,"title":"Item:Q5255069","lastrevid":91719716,"modified":"2026-06-04T23:53:48Z","type":"item","id":"Q5255069","labels":{"en":{"language":"en","value":"Type inference for Datalog with complex type hierarchies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6445091"}},"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":"Q5255069$475A48DC-50D2-4BC6-A16B-5F1E19635BA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23cd81320d92e6d005951f823e8214cb4deaab96","datavalue":{"value":{"text":"Type inference for datalog with complex type hierarchies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5255069$4D4B0ABF-4712-449C-BEFF-7D926B36B22F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54507fc4a5c9318a94d4c3a19b151e3f689c9930","datavalue":{"value":"1312.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255069$30B5040E-8D07-4ACC-B123-546D44C9956E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54ec641f94697313a0fe7a171e316145ae8d189b","datavalue":{"value":"10.1145/1706299.1706317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255069$CDA483C6-9E6B-44CC-A7F3-036A8248811A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bbc33dbc8e4e4ff7cb5825f1e5f193a784fcd38","datavalue":{"value":{"entity-type":"item","numeric-id":3617696,"id":"Q3617696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255069$F86CAAD7-824E-4053-95A0-FCA0127BE408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b3429007c66b8203ecd4096f5e6c5d58d31e79b","datavalue":{"value":{"entity-type":"item","numeric-id":236450,"id":"Q236450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255069$968B2C26-0DA3-4063-9DCD-0DC907D95577","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a5bbee3666eee3a652778234a38c4005afc7cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5255055,"id":"Q5255055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255069$77A159BC-E5DB-4C37-965C-583E762FF0C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c841ea08739fa38b76821129fbbdb6fe48b753","datavalue":{"value":{"time":"+2015-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5255069$F4F69558-BF55-468B-AF4B-628DEEE3A3D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255069$D3283076-0196-486F-9DDF-BAE58CF07EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255069$EAAD385B-6306-4947-B430-BA6BEC731E5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29cc2445af320965211afead220b8d28b8194189","datavalue":{"value":"6445091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255069$F99EB9A5-0C3C-44C3-9909-C21FCC587A69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255069$CE884AD8-CF51-46CC-9CCD-35F3CA444C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255069$DDDF9419-E608-468E-9FAD-C3180E3D3235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255069$C6B9D2C0-E43B-4576-936D-E5A0690FB473","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255069$392EE8D7-A28F-4527-A566-CD1137B8C22E","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":"Q5255069$1794AB79-A6B3-40B4-86AF-F602C378F1D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f1d789c627ea3538ebd1b9fcfc2ef20a2d4c5bb","datavalue":{"value":"https://doi.org/10.1145/1706299.1706317","type":"string"},"datatype":"url"},"type":"statement","id":"Q5255069$0BFA4FE9-E87C-417C-B17A-9615AACE137A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fea42c6d8e99c6ae9ab32164f2f5dfc41af8753","datavalue":{"value":"W2103838931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255069$99BCC153-3201-4F1E-81CB-391C764150B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed914a304bc478669d4d5ddebf4e77ab164a5d5","datavalue":{"value":{"entity-type":"item","numeric-id":6102248,"id":"Q6102248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3797e8557c7bdeac9ca4df49857d2f4262f442","datavalue":{"value":{"amount":"+0.7488000392913818","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":"Q5255069$A0C27187-5B7A-4C58-A2AF-F0387286C157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9030acd1fe6c3cdfb70bd14b6bad0d102216b12","datavalue":{"value":{"entity-type":"item","numeric-id":1978016,"id":"Q1978016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3775e73a8356986d21a6e4b10de51149d84845f","datavalue":{"value":{"amount":"+0.7419240474700928","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":"Q5255069$4A56E9B9-891A-414B-B2F0-5A6EC6005E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f886d5ca0c43edc9b987b394ee530c8deac57b12","datavalue":{"value":{"entity-type":"item","numeric-id":696968,"id":"Q696968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6bec0d38388401f25428c37ec61a896eeb39c1","datavalue":{"value":{"amount":"+0.733856737613678","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":"Q5255069$33197027-94FD-4F04-A13D-F71552565747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b1f2eab33acb5c51a5d1cd9b8d889d227a75589","datavalue":{"value":{"entity-type":"item","numeric-id":4217932,"id":"Q4217932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1979d5fea3c0fae50ac86d7a300078dcb5bd37b4","datavalue":{"value":{"amount":"+0.7302104234695435","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":"Q5255069$EAB926FD-8F15-4471-A8A2-EB7AC8AC689B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608e0e73fd9e819f3c3a8aa3e7b8f07c66e6d1f5","datavalue":{"value":{"entity-type":"item","numeric-id":1311964,"id":"Q1311964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd89dafabab22004fe546d19c7a81163f35e783","datavalue":{"value":{"amount":"+0.7302101850509644","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":"Q5255069$63EE18B3-EF2C-4B55-82F1-D1DB6A651DEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type inference for Datalog with complex type hierarchies","badges":[]}}}}}