{"entities":{"Q391322":{"pageid":393089,"ns":120,"title":"Item:Q391322","lastrevid":61569867,"modified":"2026-04-11T00:12:28Z","type":"item","id":"Q391322","labels":{"en":{"language":"en","value":"Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244159"}},"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":"Q391322$2B30FE1C-686E-40C9-ADAE-B9397433E641","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62a04162f5167f287155bdcd5a3947c2377064e0","datavalue":{"value":{"text":"Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q391322$44A15657-64BA-45A6-B5AE-1234F5047E21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"824968140ac9dfaec9a030b2da43001ba8e1e53a","datavalue":{"value":"1296.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391322$E0FF1680-FC5F-4CDD-849A-A2D58E837F44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391322$D588B7CD-F88E-4D53-9D9F-51D86069BBF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q391322$1DB199E5-F24B-473E-B2E9-E31705041049","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391322$025F2524-8DBD-44E9-B0C8-690562D0A2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391322$15AD1AF9-50FA-41D4-B3FF-975B72280221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391322$DE984BFA-4CDF-4378-9C2B-5591C108B990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391322$AEA01DAB-EFDD-4F27-840C-193AD887EB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"88f26c5e5c8e9b1a1b9fcd1e726cfac3efaf2593","datavalue":{"value":"08A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391322$4771C7F9-CEA5-46B5-840F-B3AF22B0C3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391322$CAFB080B-148B-4E67-8457-71F765EC4CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391322$916F7AE3-6253-4564-A208-3F965917362F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391322$916551D8-6443-4887-A138-5DB99919A91B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb2e3c4bce18a0581b82e03aa0201fa3d9816f61","datavalue":{"value":"6244159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391322$22DAA875-B83C-444B-9B63-642DA67677A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a2d5827cd131a61bcf16534f2772a9020266437","datavalue":{"value":"partial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q391322$56AFC7D5-1C68-4D1E-9A5C-F1238F0A2028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f314a7f0a0d7efd8f537a333906aced45b5b1c6","datavalue":{"value":"partial structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q391322$96554C63-5DAA-4A79-A2CE-74F6A96C3D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q391322$630A2642-BB04-430D-9401-A8E66FB7660E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q391322$1F6F7E9E-02B8-4D5A-9EAF-367767DBAAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q391322$58A33435-9EBB-4B72-A6C7-BCFA7D369076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e40ca3fb9ac74b8086053a949034fc22f2c00c8e","datavalue":{"value":"complexity of satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q391322$C2C07964-630B-45C2-AA2C-954C54558AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b44e1b783719f7508f73a2bfb0bf3e2d5f795a2","datavalue":{"value":"universal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q391322$7BF46977-5ADF-4E4C-B53B-31C4BEB76C43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91b6b698483070eb9571d7e886ea35f2e2f3c341","datavalue":{"value":{"entity-type":"item","numeric-id":1826929,"id":"Q1826929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391322$2BF8A20F-E8DF-40EA-8CE0-87A1BAF251E9","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":"Q391322$65CC4E23-3E20-453A-8EA7-1E0526E95620","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f79fdfa20306b5bbdfeeb507c3e1c718769c6e0b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.05.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q391322$E739332B-FAD0-4465-A825-CC2CE60F9C01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4888269da310a064a4fa3658283df68c24689af","datavalue":{"value":"W1976154566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391322$4E36B481-FA6E-4243-80D8-4024D6D00976","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95f596d87616b4c45a125752dde08f3ba0a74cd","datavalue":{"value":{"entity-type":"item","numeric-id":1866813,"id":"Q1866813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391322$483F89FF-2D55-4DAF-964E-FC48AD8A8A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60286d36984eaf65882c51a5abddcc0df15a9a5b","datavalue":{"value":{"entity-type":"item","numeric-id":1771949,"id":"Q1771949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391322$E08C1989-A4CF-4864-93F5-F4F3255FBBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"769ab7eea22e285d14090ca2aab7e5754427dff4","datavalue":{"value":{"entity-type":"item","numeric-id":5461379,"id":"Q5461379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391322$969AEBE7-DBF3-4E81-B672-B4CB88DF0614","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":"Q391322$8B9E7E1E-E29A-4993-8228-3CD6E8F2F38C","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":"Q391322$B2B1496F-27F5-4E99-B826-4C9D3E488600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391322$80918E1F-DDD9-49DA-B65C-56D4849E9871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aa6b5fb40cf0576bcac4dda5508ace84e785766","datavalue":{"value":{"entity-type":"item","numeric-id":4876319,"id":"Q4876319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391322$3174147C-5454-4CBE-9570-49F7A8569E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4dc0d97cda021a47a36ad57afedcdda62e25f5f","datavalue":{"value":{"entity-type":"item","numeric-id":5803323,"id":"Q5803323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391322$6FEF8F22-0855-4C71-A92C-D375DA245C60","rank":"normal"},{"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":"Q391322$A44677C2-786F-4E01-83DB-9F488C9D1FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e947f4c32cdfed0e7e74613aed389a2f7554c517","datavalue":{"value":{"entity-type":"item","numeric-id":5575595,"id":"Q5575595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391322$2A8FA1E0-812E-49E4-A6AF-BB2E7575CF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391322$B7A1CC59-BBD3-4EE9-8D22-C9A2DCA3EBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391322$C95CE3D9-A867-405D-9FF5-2471EBA97C60","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":"Q391322$D180647C-B574-40AA-A7D9-2FC1C3AFE354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391322$CDCD5B22-ABB5-42DA-A53E-4B4D5770A59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84339eb1b9200fd0bfaec4876ec88a12251ced16","datavalue":{"value":{"entity-type":"item","numeric-id":4919632,"id":"Q4919632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391322$4F03489E-2BC4-4C25-90C7-19F0C44268C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391322$6B778BF6-3DC4-4E2D-AEBA-D3C2E6D4987E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q391322$14A391E6-FDA6-4A93-8D61-211D764B22B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90d851d88ee362f722775bc6f669196e8e2c959c","datavalue":{"value":"10.1016/J.TCS.2013.05.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q391322$FB6C24E2-7CEE-47BE-9933-BF6B80AFF80C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"781f56dc9b9b2320d5e3e0abea9800680e601f5f","datavalue":{"value":{"entity-type":"item","numeric-id":5309685,"id":"Q5309685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af5bb4cd9727fa669e29f1143609e3215debd5a","datavalue":{"value":{"amount":"+0.8234009742736816","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":"Q391322$0DAD14DF-C831-490D-BD25-AD8968037963","rank":"normal"},{"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":"5ed076e7f83b4667b4fe3625f202a972dde60f61","datavalue":{"value":{"amount":"+0.8025673031806946","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":"Q391322$07DB1416-E65C-40DD-ABDE-700432C95004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8639d7f0a2b9a297f333522702ea8621349647","datavalue":{"value":{"entity-type":"item","numeric-id":1432885,"id":"Q1432885"},"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":"Q391322$17AE6C22-9687-47F0-A715-92F016E75C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2d12a8e3e5cfb8c1f6a6b163bb305f8788d1f3f","datavalue":{"value":{"entity-type":"item","numeric-id":3686762,"id":"Q3686762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53fd95a66530256d108adc30f20b82fe7b1e66f5","datavalue":{"value":{"amount":"+0.7777983546257019","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":"Q391322$C2D57758-AEB4-4089-B4AB-B12A816F1335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8d900aa07a5d93175528448f1e0cf3c0732fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2307300,"id":"Q2307300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0117888e1e0d7128ac51480fe2608c03c9a2def","datavalue":{"value":{"amount":"+0.7746097445487976","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":"Q391322$C961AA28-B9AB-465C-80FF-1D7EC74A5A9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_algebras_and_complexity_of_satisfiability_and_universal_theory_for_distributive_lattices,_Boolean_algebras_and_Heyting_algebras"}}}}}