{"entities":{"Q4338157":{"pageid":6367757,"ns":120,"title":"Item:Q4338157","lastrevid":46548078,"modified":"2025-12-25T00:27:23Z","type":"item","id":"Q4338157","labels":{"en":{"language":"en","value":"Decision problems for equational theories of relation algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1014407"}},"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":"Q4338157$B2DA213F-9CD0-4E94-9D64-561EF657664B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb283fc1670deb1b4aba279f3ed85db0340600ad","datavalue":{"value":{"text":"Decision problems for equational theories of relation algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4338157$48D714DF-FDF5-47FF-9371-8A736283A180","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6d286534bf921ce3843ab1d8b2d933954cbda8f","datavalue":{"value":"0877.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338157$4C559FAE-295A-4107-BC67-39CEADD832E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338157$83FF42C6-F910-478A-9176-C7E9D6B561B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"097dc9470c2945b47145802a7f80950df654abb7","datavalue":{"value":{"entity-type":"item","numeric-id":787977,"id":"Q787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338157$BA5774FD-1A6E-4990-AE6D-97E6CC885FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7df76a521f110f0d7e81939ad3df60ac67ebebc","datavalue":{"value":{"entity-type":"item","numeric-id":800350,"id":"Q800350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338157$2F051E0B-22C5-401E-9837-31F5890BCE04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbc1e30ba642bfe0ed5794e9c5c1362a63a51bb6","datavalue":{"value":{"time":"+1997-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4338157$7723490B-EB6E-485A-84E6-3DEEE0F91FE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c479c6933c9de2881621ec393bde4e4782fcf361","datavalue":{"value":"https://semanticscholar.org/paper/3a38a26a7bb3580577a6e62ed44a9aef3f09cefa","type":"string"},"datatype":"url"},"type":"statement","id":"Q4338157$831C6290-53E8-4869-BF7E-74D232AF0C0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338157$08539F48-7FCE-487A-93A2-FCC202F11919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338157$B5FD3313-2274-4085-80F4-9A80A0D1800A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338157$F871C7D7-7D61-4949-A15A-54E8437BE451","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9e8ef12b4dc595abc9c3e948280f3443a8ea469","datavalue":{"value":"1014407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338157$85B12BB6-1541-4B36-ABAE-F7B4EC98FDE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5c4abbe64b8bed64e780f42d66dc8f29c0edf6","datavalue":{"value":"\\(n\\)-frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338157$A91C6504-EB5B-4FF8-BB07-01410107F3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338157$9EB200AB-85CC-445E-ACF1-3D0D280AAE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338157$9DF8D111-0EFB-4A05-889D-8FEE6567EDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa005454e8bd456e34851a9dab1b5bdb3046076","datavalue":{"value":"degree of complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338157$66F36263-5186-4A76-AA60-70EE50F5D2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338157$46D9A211-DB9F-4666-AA29-C22406940610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba6e23f9002e6fd2e9e10cce89be0a65dd90dbe8","datavalue":{"value":"representable relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338157$5875DAE6-574E-4AC8-832B-6191643389F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"225d37641024b5e058f3cac192357426019f51c1","datavalue":{"value":"symmetric relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338157$6076FE3A-9061-4487-A6E4-E6E125E4FC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbbc4fe378871110a7c9dbfc0cff79befabe10ce","datavalue":{"value":"group relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338157$3216CFB2-0DD2-465B-AF14-3630289279AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"619cec4664a98d8c81850d161b273c3520446471","datavalue":{"value":"projective geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338157$AFC9D7E9-C3BD-4201-84A3-ACE84074A1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e54c5846481055340e8266041b81ccd1eff5635","datavalue":{"value":"Lyndon algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338157$2B14C68E-4649-42A8-8474-314DF871DC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"324e812e2268ca0574ded5366709841f7e8982a3","datavalue":{"value":"Boolean algebraic reduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338157$523CF5E4-25E8-4670-BFD7-ADB05D19919E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a0a1c2454579b48241865493dd13b9b64bba638","datavalue":{"value":"complete atomic Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338157$3C15C910-657D-4A7C-994B-BEF1CB00A04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4338157$F0CA419B-330E-4EEA-8F5F-50C7A42357F7","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":"Q4338157$326C043C-FDAC-43E8-B916-553CEEB6EC90","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64a8f6ccd70746bd33dcd027c25193dee7883c8d","datavalue":{"value":"W2064441356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338157$D4782C52-FA0D-4566-B48B-01F74FE02934","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e330a65d12beecb5d6d603eebcb6185edd2671c1","datavalue":{"value":"10.1090/MEMO/0604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4338157$036278E5-3458-4D6A-B6AD-F77B3E8ADFA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3e579ff2efacb42b9d38f2f0e1af9f50e1a4fd27","datavalue":{"value":{"entity-type":"item","numeric-id":3299492,"id":"Q3299492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4338157$0B089536-07D9-4711-97DD-BC8FA216E5E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a6aee63a7fb9b54e9b5a1aa02877107628fc66","datavalue":{"value":{"entity-type":"item","numeric-id":4305489,"id":"Q4305489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aba2b7256b97c4b6588cd3c20f69ce088b2b8854","datavalue":{"value":{"amount":"+0.8998019099235535","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":"Q4338157$2E521362-AEAA-4E34-A921-A172691A50BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b268b9e9d95334a12ff52a8b48cf721b8203f40b","datavalue":{"value":{"entity-type":"item","numeric-id":4032851,"id":"Q4032851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e868f27e4caa41aba0ebd6c445f9df01547ca42","datavalue":{"value":{"amount":"+0.8189078569412231","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":"Q4338157$5416A6B6-DA63-456C-B5D6-927F9660B910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b02e4d1c83403a03a310bdd69a81c11ea811d7","datavalue":{"value":{"entity-type":"item","numeric-id":1377626,"id":"Q1377626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ae3809cdc290462c9eae23b5c50f5de9a72a5e","datavalue":{"value":{"amount":"+0.8147700428962708","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":"Q4338157$87D9F0C3-C1E7-4962-A362-98FE477EA2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b80cdc3d2fecb5de9c47b2bcdda997c076eb32","datavalue":{"value":{"entity-type":"item","numeric-id":1966168,"id":"Q1966168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d0d7b404ab26dc8df8636f0384c922aecffd554","datavalue":{"value":{"amount":"+0.8128367066383362","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":"Q4338157$48B79C7D-221E-4A9A-B2B2-92022B934DF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4338157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4338157"}}}}}