{"entities":{"Q3710574":{"pageid":5740480,"ns":120,"title":"Item:Q3710574","lastrevid":50514635,"modified":"2026-01-14T06:24:30Z","type":"item","id":"Q3710574","labels":{"en":{"language":"en","value":"The free orthomodular word problem is solvable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3937230"}},"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":"Q3710574$FA2C91B2-10B2-406C-8991-D8D43E5065E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a081ee5b21eb577a011d76385c882b91e6800a37","datavalue":{"value":{"text":"The free orthomodular word problem is solvable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3710574$0A9D32A6-E7FA-4412-BCDE-72E00C8053AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c80d69639fb513d524da04cadbe82caa3e3dcb4","datavalue":{"value":"0585.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3710574$4A4D1441-4A78-4573-8533-5A380F075864","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a065cc4846b996e5000c1ed2b8edd8acc6e364f","datavalue":{"value":"10.1017/S000497270001008X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3710574$66FCF12E-F15A-42F4-8AA8-6AF97123CBFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b34985c280ac92a95e78ca54439c7119e4907e7","datavalue":{"value":{"entity-type":"item","numeric-id":2716953,"id":"Q2716953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3710574$E8A0D322-BDDD-4801-A63B-0725FA139ABE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3710574$AAADF54F-87D8-4CA9-B6DB-0B9D71D64433","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3710574$DC34CDE9-8E95-4466-B96E-BDC5BE7FE1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3710574$4E8A8688-30FD-49A9-BEF1-7B197878FA32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93f460b9f5884a2bdebab433a8e65be2d58b3eb9","datavalue":{"value":"3937230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3710574$1AE236D5-C955-4F45-A65E-4BE208D93DB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3710574$6450E771-5A53-40BB-93D0-DA5219FF76B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f1d1e7c14cbafc7b5393cd22dce27c34e1eca78","datavalue":{"value":"finite orthomodular lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3710574$88F2D54A-0AF1-43DF-9A48-2FA92DED0436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a578ed4f31a9009d73827e6d27a40cd800720313","datavalue":{"value":"free orthomodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3710574$C994B75C-7FE7-480C-B74C-B1494D3DBCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"120b40b37c8d40d2997c29fe9604c4fbee1677ff","datavalue":{"value":"orthocomplements","type":"string"},"datatype":"string"},"type":"statement","id":"Q3710574$102CDC19-76DF-43F9-99C6-779D823CEA36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"296b14ccd4673dd71d371236ff5b3a56f46d83f0","datavalue":{"value":{"entity-type":"item","numeric-id":1108296,"id":"Q1108296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3710574$63DD528D-DF7D-443E-9042-A23297F79E66","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":"Q3710574$44FFFBD5-2B9F-4A3C-815E-27F04F254C7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"609861210647eb2f3be0df3e348b37aea738e2d9","datavalue":{"value":{"entity-type":"item","numeric-id":5817463,"id":"Q5817463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3710574$398AD0B2-FE8E-4580-8E60-ADFFD25A5F64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d77bf945ce743ba2047e3ba7015eeba0c35ed71","datavalue":{"value":{"entity-type":"item","numeric-id":1771944,"id":"Q1771944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b09984d6b976b05fddd89949ce8c41232d00a872","datavalue":{"value":{"amount":"+0.772308349609375","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":"Q3710574$681E39E2-3240-43A8-9F62-0A4D5D3B2E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e9325cd07686f3c6a55090a76cffdf79baab9c","datavalue":{"value":{"entity-type":"item","numeric-id":3472154,"id":"Q3472154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d274c78688da0feb9dca53ed6a0f714c3244a4","datavalue":{"value":{"amount":"+0.7360025644302368","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":"Q3710574$462F0325-CA08-4373-AE30-EFEE2C3DE42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b263ee31514925a38e4a83a5dd325111fdcec1b2","datavalue":{"value":{"entity-type":"item","numeric-id":3222894,"id":"Q3222894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ece38b69c34cee58c889077430b782c769c86f","datavalue":{"value":{"amount":"+0.7071825265884399","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":"Q3710574$5EA5A898-1DC5-45AE-BA68-934B69C87FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f925e747a2e7587563b093714f6dd8d01bdb562c","datavalue":{"value":{"entity-type":"item","numeric-id":1272084,"id":"Q1272084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0346390a6b7ba5ab1c490b7fb1b615c6c3aa89","datavalue":{"value":{"amount":"+0.7032721042633057","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":"Q3710574$18E56DC4-269F-4DA2-8C81-0C2F62BCF6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11565c22bb9f94eae6b61a553b9cd0d577b5d0e3","datavalue":{"value":{"entity-type":"item","numeric-id":1272097,"id":"Q1272097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0346390a6b7ba5ab1c490b7fb1b615c6c3aa89","datavalue":{"value":{"amount":"+0.7032721042633057","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":"Q3710574$2A045E8A-1629-4F35-89B5-F47D396CE6CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3710574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3710574"}}}}}