{"entities":{"Q6168408":{"pageid":13303293,"ns":120,"title":"Item:Q6168408","lastrevid":39739759,"modified":"2024-12-30T18:04:41Z","type":"item","id":"Q6168408","labels":{"en":{"language":"en","value":"Non-Axiomatizability of the Equational Theories of Positive Relation Algebras (Invited Talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7724174"}},"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":"Q6168408$6A770316-24FB-4D39-AA0A-BDE975269C4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dc5416b47c2347b27baef4d150fc87d0d7a42fc","datavalue":{"value":{"entity-type":"item","numeric-id":2289073,"id":"Q2289073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168408$A5010E83-F132-4B6E-B6DE-1F4BC59DD7C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38bb85a5ba91301ec8d8e3fe04a5ca58f334ca78","datavalue":{"value":{"time":"+2023-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6168408$F0FDBB73-F524-4A2E-B2F2-E70F74194C44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168408$F813A824-B160-4967-9E00-67D5E6B40107","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88a2b2d5154c9796c99ecdda5a6ab83eaa353444","datavalue":{"value":"7724174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168408$F0A0FBFD-8681-4CA8-84F9-B5BEB1F53C8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168408$7A3E6817-E37D-4919-9B1D-40F49F892798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58712acbde860c0153062a2693545d5f45b74754","datavalue":{"value":"graph homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168408$C1A6329B-D340-42B9-866C-F45FB81054E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168408$2A3EF0C4-BBAB-4B59-A901-37F9C4EFA5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168408$83E0BDE2-C201-4A2E-AAA8-84007E64A744","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":"Q6168408$DD666163-A8EC-4FA6-AD55-5D9131E37E2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"075615bbf9f6f1d92c7a0e57834cd3ad1eaa875e","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.MFCS.2021.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q6168408$6E4AC703-9892-46FD-90E7-595A06ADDA39","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55ff306e415016b80d5a78aae8f9555a8119a8e9","datavalue":{"value":"W3194163377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168408$6B61BC37-D65E-4986-9961-E36D4F16EA4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a18386ea8d80961cf422e27b95ad32a75f48e2f","datavalue":{"value":{"text":"Non-Axiomatizability of the Equational Theories of Positive Relation Algebras (Invited Talk)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6168408$DFD9046C-4727-44C7-B8FC-FE87067C4722","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd39e18a49313f7aa2faf01f4a47b59d15aebed0","datavalue":{"value":"10.4230/LIPICS.MFCS.2021.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168408$5B9F67C5-69F3-4BFC-94A9-9DE0EC216B5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6168408","badges":[]}}}}}