{"entities":{"Q6864443":{"pageid":20683273,"ns":120,"title":"Item:Q6864443","lastrevid":84244253,"modified":"2026-05-14T03:19:24Z","type":"item","id":"Q6864443","labels":{"en":{"language":"en","value":"Logical algorithmics: from relational queries to Boolean reasoning (invited talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8154397"}},"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":"Q6864443$D8A8405E-8FE0-4610-A020-ACCD8E709412","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a97ad2f2f1b4c7e702dc64ab37ec8f23d62ebc70","datavalue":{"value":{"text":"Logical algorithmics: from relational queries to Boolean reasoning (invited talk)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6864443$7EB66ED4-66FB-4698-86DB-DFD8BDA4C0A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b3e40ca7efec638e99b2280e0ed0bdb6b4b6526","datavalue":{"value":"10.4230/LIPICS.SAT.2024.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864443$58A0F5C3-9807-4326-A520-E05E39BB419A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864443$FC907A93-738D-4EF5-9C52-C74FFB877D33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed61ba796b09d24654b6e63953d4a9b1b60a75c7","datavalue":{"value":{"time":"+2026-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6864443$48DA9515-6431-47F3-B8CE-94CA8C22AF21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864443$5B8230DD-A2FF-4008-9F63-41C17919919F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864443$A58270FF-40CB-4564-95FB-94745E5FB9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864443$4CF5A9A7-9AB8-4742-8261-96F12BEE4A91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0782f712a6c47e46a5a9f8ee849ce4d29f9a96d","datavalue":{"value":"8154397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864443$66E51552-322F-4305-A628-04ADF3B74FF5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864443$7933069A-36AA-4610-A176-1B7684B5E7B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864443$B2F13E68-E838-47B5-9BBA-B83D71E7FCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864443$2D40C3B8-6539-4C1D-853A-D8F0EAD51B56","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":"Q6864443$AC0F06A0-A94E-4222-8E3F-3B84AF647B01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1caddd34f077d456b01045d3541e659029d97320","datavalue":{"value":{"entity-type":"item","numeric-id":1591157,"id":"Q1591157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864443$5635311F-6722-4D05-9A96-0B3FEA83E0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a929277efd80b0c6ba91fc0f436f87626358b5","datavalue":{"value":{"entity-type":"item","numeric-id":862403,"id":"Q862403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864443$7DD5B681-52E7-48B4-8D46-A9DA3C34FAD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical algorithmics: from relational queries to Boolean reasoning (invited talk)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_algorithmics:_from_relational_queries_to_Boolean_reasoning_(invited_talk)"}}}}}