{"entities":{"Q5092376":{"pageid":7121952,"ns":120,"title":"Item:Q5092376","lastrevid":55416064,"modified":"2026-02-17T15:57:52Z","type":"item","id":"Q5092376","labels":{"en":{"language":"en","value":"Finite satisfiability of unary negation fragment with transitivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561661"}},"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":"Q5092376$8F350564-66A6-4E7B-83F2-25F67D53FF0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"396b97e1671607d801e01f25b130d780932cd1f2","datavalue":{"value":{"entity-type":"item","numeric-id":5092375,"id":"Q5092375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$5DFD9E47-7D6D-4DB0-ABD3-626DA1676D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd410d92a5a623419be489b4cef5a0bf226c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":859826,"id":"Q859826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$11118108-DC08-4185-AB1C-385E21C72B35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5092376$9906D9D4-2248-4E1A-A1B1-6CD5EA1CAE41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"872f9ea72f417ab0c731894c56fe9c7eabd9478b","datavalue":{"value":"https://arxiv.org/abs/1809.03245","type":"string"},"datatype":"url"},"type":"statement","id":"Q5092376$35C78FC8-1A4F-4454-9EBA-3A9D552F46C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092376$09EA486B-1ED7-4356-A4D5-D5765A23B7D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5911ab767e995bb611874be1691d86c58ce113c1","datavalue":{"value":"7561661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092376$E6487976-91AF-4CDB-A00F-5660CA0E2D85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91125dcb580bdac3bb9b25f7d04781f1698bf755","datavalue":{"value":"unary negation fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092376$5C511860-7F75-4FD6-A0CB-DF671CE7A315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49388e046339f86e6623a972cf68b5665500aba7","datavalue":{"value":"transitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092376$04A48337-847E-43E6-9BC0-F3FA702FD529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352e0e98b1946578a4d14d613a018d2c7e6139e7","datavalue":{"value":"finite satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092376$6E049C47-0BF1-45C8-BD5D-229A418A13C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef1b1e2473c95b8aa55e0145db6acc6a8ad98246","datavalue":{"value":"finite open-world query answering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092376$1E0BC9DD-C294-4635-BA6A-3483964CD02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092376$EFF567FB-ADA3-49DF-9BD5-55CF83965B0A","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":"Q5092376$A694262F-BE40-4E34-9ABF-BC84FFB60043","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$05CF1EF7-5264-4DC1-955A-D86357C8AD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdaae28851795a558e4c2a6375c70d9103384c68","datavalue":{"value":{"entity-type":"item","numeric-id":5890544,"id":"Q5890544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$DE94C977-BBED-496B-A811-D46D9EB2DFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ba76dcfcbe220af9d91fc7d90770cf9d9dc397","datavalue":{"value":{"entity-type":"item","numeric-id":2856474,"id":"Q2856474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$6EA7CFB3-5F64-4200-A61A-6E96F8117E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce752a92c24bd5c7c26cc689ea3849978025253","datavalue":{"value":{"entity-type":"item","numeric-id":5145301,"id":"Q5145301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$A3550C3F-CA80-4233-98C2-6CFB2928AC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"455bb57b6ef34ce8cdde50abfd2cfaa97625be07","datavalue":{"value":{"entity-type":"item","numeric-id":5505569,"id":"Q5505569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$BE18FEAF-D728-4B07-A5CE-7436B2892AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$F9E6E7FE-A8C7-4D57-9A54-350B6EE02AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$B26D0B18-DBF7-4DB6-B37C-F97F23920D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceee423f2871a02f0107d5afca7ea76f0467e56a","datavalue":{"value":{"entity-type":"item","numeric-id":1306795,"id":"Q1306795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$A33E6D05-F8E2-42E2-A225-F122A2D53F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddcaec3ba240411cd8be04f6cc7d940dcc385040","datavalue":{"value":{"entity-type":"item","numeric-id":3305361,"id":"Q3305361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$329C6FF7-1032-40E0-8CA0-FB2738B187E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b325ce1a576881b11260db294d6b2b694a76ea","datavalue":{"value":{"entity-type":"item","numeric-id":5394585,"id":"Q5394585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$230374E2-3C15-40F6-A77F-56E437FE19A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54ac1bd0803b6e4f2a276c862a21b92760aed18","datavalue":{"value":{"entity-type":"item","numeric-id":859827,"id":"Q859827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$0C3F9D1B-17C1-418D-BB33-E1195DA64021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfcad307325bd18e290d029b653422ef60e5d02d","datavalue":{"value":{"entity-type":"item","numeric-id":4608732,"id":"Q4608732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$120BBED0-1161-4E62-B903-BA7DEDCE949E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bcfb68fba027cacb9b0860a53badbc1e10d06ac","datavalue":{"value":{"entity-type":"item","numeric-id":5109226,"id":"Q5109226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$B7CCECD3-8BF0-4358-8A5B-21113DB66346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160d3bef2e7f4e951540a88ba607fc24c5162a91","datavalue":{"value":{"entity-type":"item","numeric-id":5195057,"id":"Q5195057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$92149939-46C3-4B2E-B399-E3A6B426709D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ec631cdab6bc15f40bbeb35b22906d9d8ce1a88","datavalue":{"value":{"entity-type":"item","numeric-id":1877098,"id":"Q1877098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$27FB91B4-0C07-42B0-BBAF-0B6730C6F355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6be2bed4a9592ec6a2729b97e265dcf368f6612","datavalue":{"value":{"entity-type":"item","numeric-id":2848370,"id":"Q2848370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092376$4BCE4D5C-3678-4E2A-AC89-A3E8D858BC5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6017feae83fa7fa8b5ab9ca0adaa7f9704870f19","datavalue":{"value":"10.4230/LIPICS.MFCS.2019.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092376$F219604F-12B7-4E83-B4A9-E00F3FEF0213","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32abd73cd70793166c1e60f8b27e7946e063d142","datavalue":{"value":{"entity-type":"item","numeric-id":5145301,"id":"Q5145301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f2f67cc8b9e293e07500848a81cb62b53d4045","datavalue":{"value":{"amount":"+0.8436472415924072","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":"Q5092376$88EEC4BF-5ADD-4EB7-8F5D-6DB433D1E8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"244a0963b883e9eef4e4cbf91a9e377f764c96b3","datavalue":{"value":{"entity-type":"item","numeric-id":3113699,"id":"Q3113699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a5ff8ec3cffa76dcce8f310c6f2cc8699813ab","datavalue":{"value":{"amount":"+0.8108185529708862","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":"Q5092376$54842AD3-1DD7-414D-A101-739BF7059F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8689df75805f49277df352e8a6bfebf91eb622f6","datavalue":{"value":{"entity-type":"item","numeric-id":2848370,"id":"Q2848370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c03b8f7dd4c64cfff94b6ebc794a763fd7b5aa16","datavalue":{"value":{"amount":"+0.8098714351654053","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":"Q5092376$7CB49D20-005C-4B79-BA10-282ECFF93AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4e5f74fd2d88b826f67efccc16a579722b7cdf","datavalue":{"value":{"entity-type":"item","numeric-id":5109226,"id":"Q5109226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e318ba46feb0b422aae89913ae411ba51380ca2","datavalue":{"value":{"amount":"+0.7763547897338867","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":"Q5092376$7600ABF8-0136-4F2D-B9D6-C5085D61FBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2056267600d4782e80a731523c518d6b4309c56","datavalue":{"value":{"entity-type":"item","numeric-id":5092377,"id":"Q5092377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6386b14d0987407bdf5449124337ee2c80befd01","datavalue":{"value":{"amount":"+0.7756013870239258","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":"Q5092376$C81E06F0-D86D-481D-B3D8-750D9C9F884D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5092376","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5092376"}}}}}