{"entities":{"Q1198101":{"pageid":1208850,"ns":120,"title":"Item:Q1198101","lastrevid":66851574,"modified":"2026-04-12T13:17:00Z","type":"item","id":"Q1198101","labels":{"en":{"language":"en","value":"Safe computation of the well-founded semantics of datalog queries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 92233"}},"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":"Q1198101$B103A116-E8D1-476C-9D61-18647C9120C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b904225bbef88f3e98ed44c6d68b5efa8a4a6442","datavalue":{"value":{"text":"Safe computation of the well-founded semantics of datalog queries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1198101$94974CDD-528D-417F-8AA2-824779D78246","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afa06e9680563e4101c10667619c7d68bed09cf9","datavalue":{"value":"0752.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198101$8E34E0FF-6AD9-44EC-8C76-CE5A71A48C57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73ac372cc99efa79d828affdbde65a58a335b8d4","datavalue":{"value":"10.1016/0306-4379(92)90003-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198101$F7C14161-0834-4A6A-8F51-62B707CB0D93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62e0251915bd7b9ecd6daf39f97f5bb27a9c612e","datavalue":{"value":{"entity-type":"item","numeric-id":82364,"id":"Q82364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198101$DD31B71F-D60F-4149-93B0-4D82CCC5E030","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1198101$D095086A-B6F9-4EEB-B27C-0A662890F183","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198101$CFF2ED45-7917-45E6-B275-FC684052F07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198101$358BE747-1A5F-45A1-B517-72DE7FC8B2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198101$E117F5C6-A1C3-4302-82DF-A6346F81CF46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcb96b0b940e42e4d6b68b39e3cd71dd2a62122f","datavalue":{"value":"92233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198101$E930A112-AD2F-466A-AD26-123236874D80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198101$0506CD8C-069C-41F1-B91C-B56E9B20F104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aba3b4c4bf56136293d6b03ec1be4855905189a","datavalue":{"value":"query evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198101$6B47C833-0BBB-414B-BD92-D63CAF4241BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198101$D9249BB5-1383-401C-B975-BB6E06099502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1198101$36950BA1-06CD-4F50-BB0D-F5F48211108F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd7123f74d155fe14856de0656eddfe851c66cd","datavalue":{"value":{"entity-type":"item","numeric-id":202113,"id":"Q202113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198101$AA1DCCD6-8DA9-453F-A0B6-29BF4A3F8B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8ea925e2036681f0744f3d94ea56197b192941f","datavalue":{"value":{"entity-type":"item","numeric-id":359979,"id":"Q359979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1198101$964252A8-3EE1-4597-9B25-28CF9B25C30A","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":"Q1198101$E321052D-B8F7-44D9-8996-92BF4B4F05F3","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":"Q1198101$E9119328-CCEA-45A2-9F49-25867E0517F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d33b70eaced131d510e7011c3b46e735f827fc68","datavalue":{"value":"https://doi.org/10.1016/0306-4379(92)90003-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1198101$F09EED49-CC6E-489D-8C8F-B0CFD59ABD0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"462565844ff8122d59c7ba5084bc0c7e6631ad8d","datavalue":{"value":"W2033042609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1198101$2BF040A5-AFC0-4970-8CC4-F6AA887DB8CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b373978be27576a06e061ddcffc43b003803ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d656cf8ec783767459bbde5e9cbefb48ff542bef","datavalue":{"value":{"amount":"+0.8227863311767578","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":"Q1198101$9D5B4521-0F78-42AB-B7A8-1C1028B16D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a213185f4b06f149529896e0a30a272faa48ef06","datavalue":{"value":{"entity-type":"item","numeric-id":3125898,"id":"Q3125898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d955bc06aade23874ac6a7ede350ad769eda182","datavalue":{"value":{"amount":"+0.8000590801239014","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":"Q1198101$CB025158-FE68-4221-B2BD-3A5099C0041A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f36c718c1dceeab9942804d1b14082056003adce","datavalue":{"value":{"entity-type":"item","numeric-id":2767095,"id":"Q2767095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d955bc06aade23874ac6a7ede350ad769eda182","datavalue":{"value":{"amount":"+0.8000590801239014","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":"Q1198101$14EE4271-477F-4D32-AC6D-DCE82E4E3ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35548dcb6d68e3d22d681ff1d46371a1082dd008","datavalue":{"value":{"entity-type":"item","numeric-id":5101445,"id":"Q5101445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b814a9015923d1fb8b822f6e0d4f42bf79fcb6","datavalue":{"value":{"amount":"+0.7933914065361023","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":"Q1198101$0752273B-778F-4A0D-B8CC-CDCD07F9F7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa2d7233ad3901c40a79cfc11aab4006fce2cc6","datavalue":{"value":{"entity-type":"item","numeric-id":4452642,"id":"Q4452642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c7c3cef1c1a50b19af586daf3eb0df61cbf0ad7","datavalue":{"value":{"amount":"+0.7855035066604614","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":"Q1198101$D9DADEB2-D768-497B-9997-B2C618534C13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safe computation of the well-founded semantics of datalog queries","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Safe_computation_of_the_well-founded_semantics_of_datalog_queries"}}}}}