{"entities":{"Q1432885":{"pageid":1443625,"ns":120,"title":"Item:Q1432885","lastrevid":70390215,"modified":"2026-04-13T14:26:42Z","type":"item","id":"Q1432885","labels":{"en":{"language":"en","value":"Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2076999"}},"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":"Q1432885$6860B381-DDB4-4C95-8463-AC411D751D13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38e3799a26d58f1fd11ad271e82bc556154416f6","datavalue":{"value":{"text":"Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1432885$BEDD536F-0DBC-4CB3-9B63-86411D0FCBF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e48847f480aa981162d264c3c4369d5ee68964b9","datavalue":{"value":"1043.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1432885$5B64D4B8-942C-44EB-AC03-C804E9561994","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7372d13140b9a5a5f37fa839758d0388ce944b74","datavalue":{"value":"10.1016/S0747-7171(03)00069-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1432885$6B5AC1D0-E9CE-4CEE-ABEF-3A3A6C2A20E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ea72ecee982e1dcddee303e9fb3aea539cf87","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$AC0ECA80-FE96-4DEE-BFF5-21BF358AEDCB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$CDB3BA19-8E21-42C4-8C9E-A35E90F21AA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6d4ea404892274dc2dfdd603ba18ef7457f2860","datavalue":{"value":{"time":"+2004-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1432885$7CD89A71-2537-476E-9FA7-076FED8707B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1432885$DFF49392-F8E2-4E9F-9347-CE0DEAE163F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1432885$5D663DEB-8B72-45DB-9458-9E1CCF596D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1432885$DEFF1834-E99B-4BEF-B631-10DC7429268E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abd2262df77b0a784f10a142057e156759ceda33","datavalue":{"value":"2076999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1432885$03A9C618-9C92-44CC-B359-31B044C8A3F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a977ab1bfe8960bd54f414cbe775bc8260a32b60","datavalue":{"value":"satisfiability of universal sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1432885$3FD3BF3E-8DAC-428A-835D-E3A19F5855E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d823face7defbb7f99d104ebda20462ccd803f67","datavalue":{"value":"distributive lattices with operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1432885$DF33B82E-EB76-43F2-97D5-39A1392167E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb45a366c5f73694d4193741149731f4b28dce52","datavalue":{"value":"relational structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1432885$B34DE42A-4C61-4478-B924-24F4B4E6D0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1432885$1115B9ED-1D68-4955-9E65-152F8C856521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03c278bc469a6811dd56e4089ef899102c4fe3fb","datavalue":{"value":"universal clause theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1432885$77404863-56FB-4DE0-94D8-59C10D649BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1432885$86E00E16-9CAF-4CE2-AED3-50F6FF255585","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$37584093-70AA-4A7F-A4D9-C2A2F4096A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f63de557d279c4616add6af7fb4f5f08e4cbf484","datavalue":{"value":{"entity-type":"item","numeric-id":41399,"id":"Q41399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$D9F83549-2EF5-46FF-9207-BB9B748E31E6","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":"Q1432885$737C8818-BE7D-4321-B137-D208910C75FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$B07393FC-47E3-4388-9A95-ED99380D1E88","rank":"normal"},{"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":"Q1432885$8FE34BE0-3B64-4D2C-9807-EA59423DF7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d2cf835bd77f96d03dced45b87a25996d25db85","datavalue":{"value":{"entity-type":"item","numeric-id":3158528,"id":"Q3158528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$B3A77E25-46AC-4395-9B05-ABA360532D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$A9366C2E-A12E-4C03-B42F-94D866CEA6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228b0e048c69dee38a80e3c2c0718193f2a93b13","datavalue":{"value":{"entity-type":"item","numeric-id":4308745,"id":"Q4308745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$FA02D829-088B-4021-A9F7-253FEFD1C539","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":"Q1432885$025D31CA-5213-4174-B42E-71EDE2EAEAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e13640741728296f19b0ce184cd77725fd58dfc","datavalue":{"value":{"entity-type":"item","numeric-id":3696560,"id":"Q3696560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$FA7F765E-DED6-4C6C-B796-25B91961224C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$5353AA18-801D-46FA-9921-06F965721275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d95955dcdf60ff97dce26fc197aa56d5e424fa","datavalue":{"value":{"entity-type":"item","numeric-id":4503908,"id":"Q4503908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$D8A57DC5-D0BC-4A51-BDD6-7E2A3CB12F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071268363db23fa43b7898ece6bea1d084b6ca56","datavalue":{"value":{"entity-type":"item","numeric-id":4940724,"id":"Q4940724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$0B1714A5-EC45-4208-82B9-2711FB4A9604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315e95e4ad8a1c26487d3ff7728ab264483e45ea","datavalue":{"value":{"entity-type":"item","numeric-id":1310269,"id":"Q1310269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$FF81EAB5-A986-447E-B1B2-226D4F7CAB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b2763e4a26f45c3f780a824c58a0cce849a254","datavalue":{"value":{"entity-type":"item","numeric-id":4329239,"id":"Q4329239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$9BAF7D39-A94B-491C-8139-504B11AAA881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6027f7e7caa3f9f4bec3d5352d5c5a0eccf91c9","datavalue":{"value":{"entity-type":"item","numeric-id":4313857,"id":"Q4313857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$AD923D68-8DC5-4992-995C-28BA1FF235E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661e9e11d81604d77dc034ed0b1fd2bff649b0bc","datavalue":{"value":{"entity-type":"item","numeric-id":2704574,"id":"Q2704574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$93DAE08C-A2ED-4E5C-99F6-037A7D4FFE73","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":"Q1432885$8C12D1EA-0C2C-4DF6-95F3-CBEEE28727D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff81dce6f558d568a9ffa7ba2a3d970eea92e61d","datavalue":{"value":{"entity-type":"item","numeric-id":3783337,"id":"Q3783337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$1C987958-FB93-4991-9829-CB558B82BD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$8CA1AA1A-4CE1-4AFF-B461-AC999152F0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$40EEAA04-8EA5-4A9C-B6E7-113FC701273D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$3B5FA238-1FBB-4361-957E-DC9025A80F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958c1a12dd258c4905919e226168989fde1d14ef","datavalue":{"value":{"entity-type":"item","numeric-id":4218134,"id":"Q4218134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$1C4768D9-EE99-487F-8CCE-D95844B4F361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af09af750f954a8fefe988cc93afa52e36b198f6","datavalue":{"value":{"entity-type":"item","numeric-id":4291871,"id":"Q4291871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$09D27B51-0D6B-4A92-9A46-63B938BF68B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f711f8df070156c625ab5bb45a5b09f0f2c1adf","datavalue":{"value":{"entity-type":"item","numeric-id":2751373,"id":"Q2751373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$E1722121-CEDF-4400-8112-4FE4087B30FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$675BDFAB-A5C7-4CDB-BCC5-0BE92131EA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5710c2aba8ef4c542de483ebfca6cf7849ca633","datavalue":{"value":{"entity-type":"item","numeric-id":3222242,"id":"Q3222242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$945318F7-F7EA-41F7-8C8C-F9D63607FFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deba52367024f5b987e53804974cee063c7967e3","datavalue":{"value":{"entity-type":"item","numeric-id":4263162,"id":"Q4263162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$F3B3BED9-DF2B-4F02-86CA-FAB7C71AC0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3646f102d71d17ac575c494688afc62c361b7971","datavalue":{"value":{"entity-type":"item","numeric-id":1970594,"id":"Q1970594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$1E89108F-ECBC-4B28-B5D6-261E08BBE171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb838bdc637fee4463df1338f3f072c6ae4a588","datavalue":{"value":{"entity-type":"item","numeric-id":1975160,"id":"Q1975160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$D84B54F6-5135-454C-8195-3B2C99A0C9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5229d696d527cfe1359505376127f0108f9f7d11","datavalue":{"value":{"entity-type":"item","numeric-id":4544342,"id":"Q4544342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$9A3E5F13-FEC9-4038-A20D-202B1659E6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5157c2dfee1d9f65f0c22f7f6ce0c49453df8ab1","datavalue":{"value":{"entity-type":"item","numeric-id":4450440,"id":"Q4450440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$986C9483-EFD7-4B6C-B7E6-8D137917B3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6614f531b00a528c3bbb605c5187237480b1b40f","datavalue":{"value":{"entity-type":"item","numeric-id":4647508,"id":"Q4647508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432885$AE386C1E-4FFE-4658-BEC6-F7500E818B9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e743d4d87d2c0382924069953469ccff640b78a4","datavalue":{"value":{"entity-type":"item","numeric-id":4263162,"id":"Q4263162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14decc8c77196d5dd06fc15a6ae2f7828f77f8ed","datavalue":{"value":{"amount":"+0.8757203817367554","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":"Q1432885$372774A0-14DC-49B2-BBF3-493B5576D1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dc88f4df49fee88aa58fd7fd1401e8f2a16caa9","datavalue":{"value":{"entity-type":"item","numeric-id":4412863,"id":"Q4412863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c7888e90a23bad458aca52be472f1ba77734ec7","datavalue":{"value":{"amount":"+0.8141536116600037","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":"Q1432885$537E468F-B18A-4A24-A585-0685EFDE92CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090899a226981d08b6edac7e07feeaaa87e59dac","datavalue":{"value":{"entity-type":"item","numeric-id":2723445,"id":"Q2723445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95160820f22904afa0d6e902092412f636cfe465","datavalue":{"value":{"amount":"+0.8022162318229675","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":"Q1432885$3E5E8141-3B22-44B3-A62B-690A7A437A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d63c13678a3d73f0814bf31690c7b455634e66","datavalue":{"value":{"entity-type":"item","numeric-id":391322,"id":"Q391322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909ec91b8258721a5229b3a005868ad0eae34d2c","datavalue":{"value":{"amount":"+0.7979231476783752","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":"Q1432885$622664CE-F17F-4E53-B7D0-4985BC8CED91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b6fe432c2892cd36e71d33bafbe945474a843c","datavalue":{"value":{"entity-type":"item","numeric-id":5277777,"id":"Q5277777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d33649d31628eabc069e5ab5710d0c8493a28ee","datavalue":{"value":{"amount":"+0.7891918420791626","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":"Q1432885$E9A2BD0A-F3EF-4630-BECF-5C3A5499B77C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Resolution-based_decision_procedures_for_the_universal_theory_of_some_classes_of_distributive_lattices_with_operators"}}}}}