{"entities":{"Q3583025":{"pageid":5612929,"ns":120,"title":"Item:Q3583025","lastrevid":87601103,"modified":"2026-06-04T12:06:32Z","type":"item","id":"Q3583025","labels":{"en":{"language":"en","value":"A solution of the uniform word problem for ortholattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774839"}},"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":"Q3583025$E17F47DF-7120-4A1F-B74A-FF0FE9245AC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"945d59fc61e042a93dcaf9e2f860cc1bc7eddbe4","datavalue":{"value":{"text":"A solution of the uniform word problem for ortholattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3583025$971C215C-518C-4ABA-A66D-2995085B0A2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd1002010ecb0ed05c0121e75e6f9edef2102f58","datavalue":{"value":"1210.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583025$15C63470-4AD7-4DB0-9020-71203DE52698","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48d231e3408f4acba16f340126e68cb70aa6128d","datavalue":{"value":"10.1017/S0960129510000125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583025$D5A0A250-7CC5-4EF4-871C-9970219770BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a7409392bcf6296b7a3989581e24c261b32902c","datavalue":{"value":{"entity-type":"item","numeric-id":3583024,"id":"Q3583024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583025$7C49CA38-048D-495A-AAB7-CBEA55400807","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583025$400B2049-EF61-4C7E-B4D7-15A44CCD84C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a52a4b791660afbc47d46818319067bdcb5a1cd9","datavalue":{"value":{"time":"+2010-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3583025$DFF67649-384F-4DE7-A491-210011E1D2B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583025$30771997-21C4-4551-A459-E3217A681C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583025$C3C1D3FB-C3FE-461E-B984-E94CA56EE6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583025$7BD9EB12-8FFB-488E-BB8E-D318A2AE5885","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"859577391063259c04cd852af0300db9f988684c","datavalue":{"value":"5774839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583025$3BB79511-967E-495D-A64B-D99430DFE027","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583025$5A611D10-896D-401A-B7F1-2C8201FD9FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"146e2c2b99ff2eedbd0e20d81d70326f625f87ef","datavalue":{"value":"ortholattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583025$E9127FFE-9BCE-4980-81CA-6871A5F68769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583025$34F0CE15-A0CE-4E7D-87F6-1CB2ACCA0C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6082e1c99895a2b8a7209db0169ba528dfff5cf","datavalue":{"value":"uniform word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3583025$8444E697-9CBA-41BD-AAF2-7428C549461C","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":"Q3583025$C9DBEBF0-EA75-40DD-803D-5EDFE1D0FC9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9103d7ee76eff9ee82384b09b9f91758be1fc477","datavalue":{"value":{"entity-type":"item","numeric-id":786808,"id":"Q786808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583025$86402869-6E57-4EB4-872D-BB00B92707EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"217ab0467591212a145dad5f3b8344e098c69704","datavalue":{"value":{"entity-type":"item","numeric-id":1771961,"id":"Q1771961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583025$70762990-988D-4D2B-8593-4F4BFD399B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2184bd98233504b982c4d0862fc1a2622c315ca","datavalue":{"value":{"entity-type":"item","numeric-id":1394336,"id":"Q1394336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583025$07C93F46-BA2D-4C72-AD2B-049F9E707B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7def4364199c395f7c269e41553f29c7cc03de4","datavalue":{"value":{"entity-type":"item","numeric-id":1264370,"id":"Q1264370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583025$E4F1613B-7FEF-4C83-8FD9-81F8F6FF4DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b859026b41ad5860a62e0f27a92c2b3685c66729","datavalue":{"value":{"entity-type":"item","numeric-id":1105626,"id":"Q1105626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583025$3F7517F5-E1E4-4B95-9A12-0CBDF60A8934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583025$452F597F-4E10-4230-8DAF-6E4530407492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"669daea431836fc2130f88ef3ca3b5dd23f748d5","datavalue":{"value":{"entity-type":"item","numeric-id":4835521,"id":"Q4835521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583025$A8EFA979-84E5-4CFA-9F1C-EC5FAE67356E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1195a27bff72a62438cfcf0a55297e0334f1e97","datavalue":{"value":{"entity-type":"item","numeric-id":2645405,"id":"Q2645405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583025$15D28372-2186-4168-AD7C-8C039F903CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92c096141a440c36c614350915e140b76291c7f5","datavalue":{"value":{"entity-type":"item","numeric-id":1340318,"id":"Q1340318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583025$C4EFF6DA-C29A-4750-89C4-88B58090FEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"407c0f8ee16cf2d3375df8566af92e18d6833779","datavalue":{"value":{"entity-type":"item","numeric-id":1325718,"id":"Q1325718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583025$C990E4A1-EA3F-445E-A34C-31869EAF6ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021eae6f3c8645635c6c1caa857e4959ad23a662","datavalue":{"value":{"entity-type":"item","numeric-id":4818936,"id":"Q4818936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583025$C49A1985-61A5-468E-9896-9CFA5693F65A","rank":"normal"}],"P1643":[{"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":"8b7dc77a4747efd5c09c03e9fe8b1ad32a51ae17","datavalue":{"value":{"amount":"+0.7909907698631287","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":"Q3583025$62038E5D-468E-4296-B1D5-D11E0BAFCA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def566653383fe43ae785d4d493075f5d38d38ce","datavalue":{"value":{"entity-type":"item","numeric-id":786808,"id":"Q786808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b37d761a3e14b3ae5181867e1c66b3ffba3021","datavalue":{"value":{"amount":"+0.772057831287384","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":"Q3583025$6804CB16-063C-42CE-BED7-013897C2086C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de7ee80c58aedfcc872e1366f34559816aee7c3","datavalue":{"value":{"entity-type":"item","numeric-id":1105626,"id":"Q1105626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9829c9e3e6724ff25861a0d2845fd59feb733dd6","datavalue":{"value":{"amount":"+0.7563266158103943","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":"Q3583025$ED4B4CCF-37D3-43BB-BE1B-D1C5BC1EA3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc080ac02616dcf5eaaedaddf0ceb0dd268bb5ce","datavalue":{"value":{"entity-type":"item","numeric-id":1868244,"id":"Q1868244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b41ae3403814310160337900edf8640a4a31dc","datavalue":{"value":{"amount":"+0.7528675198554993","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":"Q3583025$B357CAC3-9C17-4FB7-A367-3355027C219F","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":"ad35417f6a37f20416771e1de0ccd9ed62f54941","datavalue":{"value":{"amount":"+0.7441319227218628","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":"Q3583025$20ED5C71-AA16-4126-8987-EF8F785E935E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A solution of the uniform word problem for ortholattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_solution_of_the_uniform_word_problem_for_ortholattices"}}}}}