{"entities":{"Q5136485":{"pageid":7166057,"ns":120,"title":"Item:Q5136485","lastrevid":100382852,"modified":"2026-06-05T21:59:47Z","type":"item","id":"Q5136485","labels":{"en":{"language":"en","value":"Characterization of almost semi-Heyting algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7278262"}},"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":"Q5136485$313045D1-5369-486C-B298-E5B60CCD1436","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ef6abd2ffc90e7179614c7398a9b8696c64a57b","datavalue":{"value":{"text":"Characterization of almost semi-Heyting algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5136485$C4785E26-8750-4491-91F9-AF2A6EDC4D2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91cfe8596969b31badbd507aa1853a7ae25e0e6f","datavalue":{"value":"1463.06075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136485$8918FF64-65B8-492F-813B-88586C2E435B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"363aee25a98ce67732914c093ac214e7ac2a5e35","datavalue":{"value":{"entity-type":"item","numeric-id":2717939,"id":"Q2717939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136485$803DD405-609A-40B8-B2C5-72817716E53A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bdef6d037e4d798314ae1de6d6b312f0744cf0e","datavalue":{"value":{"time":"+2020-11-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":"Q5136485$574F47C6-AFB4-40A7-8089-9E1D849EDC18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"30279ad2312ee8c09a87dcde90352f80d9dcbd24","datavalue":{"value":"06D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136485$C68EA31F-0A7E-46B4-9A06-4E593C900E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136485$524C29BD-5318-4864-B604-DF48ED4680DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef24ec0cb72bced74729d3ea5748b1f74747a572","datavalue":{"value":"7278262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136485$D1E9DF05-C5FB-40CB-BE4C-98AD708B83AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2cd547b4eda3c821c264abfb6dfd34ffbb89365","datavalue":{"value":"almost distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136485$E8E37268-BBF7-4999-9998-A20FC720E866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce1625e8f92b6eda5e39702c0a7f6a8e05484071","datavalue":{"value":"semi-Heyting almost distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136485$D5AA909F-6810-4F11-8DBA-F27A40E0A5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bdf7c01781cd33ebc94f0f0c511805cd6a1799f","datavalue":{"value":"almost semi-Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136485$C7150AF7-FA57-49DA-B547-2B4F6ACE2D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df4960bec7779c508c92c8034e36aaa5ab7e376","datavalue":{"value":"dense element and stone almost distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136485$37300399-7F26-403D-A4A4-4BB7FFBF029B","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":"Q5136485$D01F6E6A-8289-48B4-AD7F-FA3BFBD5080D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f0d86abb62db2c2de3a2749d169525e9c5f23ad","datavalue":{"value":"https://doi.org/10.7151/dmgaa.1342","type":"string"},"datatype":"url"},"type":"statement","id":"Q5136485$0E550A22-2116-47E6-9217-680E6BFBACF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22358a6ad0bebec092f0a61694416a01a06fbd41","datavalue":{"value":"W3092418678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136485$4DF25687-2FFA-4CB2-96A5-891AE0C03319","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"161e8993a575f52516596e37d77bdaeae1b82e90","datavalue":{"value":"Q114569678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136485$FCC83FA1-D76D-4DF8-9F5F-18340A44DF9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8e7e11deb5f3a751266e3f707a2bd3ea19db0f0","datavalue":{"value":"10.7151/DMGAA.1342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136485$15F46B20-A079-4D6E-8D4D-B3072DDA6F67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bba8c46f616d9123e8d4e4081c112a1f18ad78b","datavalue":{"value":{"entity-type":"item","numeric-id":721264,"id":"Q721264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3bd357e41e9536bad710f1dd104fd51f1e60f02","datavalue":{"value":{"amount":"+0.8448556661605835","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":"Q5136485$056145EC-E8EE-435F-A1A1-46D81AC50509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8b3db1590ef85261b9a4c06d4a1fc25d199559","datavalue":{"value":{"entity-type":"item","numeric-id":2975731,"id":"Q2975731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d36c72e24f858642eff95dabdb9d02d865cbb2","datavalue":{"value":{"amount":"+0.8035445809364319","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":"Q5136485$C473203D-6D7E-4DFE-A88B-AB8CD13C02FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"398ec58114d3fb69ee3fcdcf7274677dfc697753","datavalue":{"value":{"entity-type":"item","numeric-id":5247076,"id":"Q5247076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47a4c2edec774852e750919ffb8d73d7650536c","datavalue":{"value":{"amount":"+0.780464231967926","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":"Q5136485$BB5CA299-EE8A-4A84-87A1-2B9861B9CD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d24acb7316502bc78a9d6ef8a5143ea6fbfe9b2","datavalue":{"value":{"entity-type":"item","numeric-id":748241,"id":"Q748241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9c8609f1b6ea11d41723cf631b7239687e27f33","datavalue":{"value":{"amount":"+0.7734768390655518","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":"Q5136485$8B329794-EC62-493E-BC0B-25E0FEC07D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a6b2500b585c67b9bdece10cd1e81736a331ad","datavalue":{"value":{"entity-type":"item","numeric-id":5178364,"id":"Q5178364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d46f5ac7091a0ada493efa07b91bce54fa03071d","datavalue":{"value":{"amount":"+0.7734691500663757","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":"Q5136485$8F215B5F-811B-4482-9C92-3C55AF344FA7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136485$C3734A42-CB73-431F-9380-0A1148AB562B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterization of almost semi-Heyting algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterization_of_almost_semi-Heyting_algebra"}}}}}