{"entities":{"Q3003327":{"pageid":3014051,"ns":120,"title":"Item:Q3003327","lastrevid":79705607,"modified":"2026-05-06T14:31:44Z","type":"item","id":"Q3003327","labels":{"en":{"language":"en","value":"Finitely generated free Heyting algebras via Birkhoff duality and coalgebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900078"}},"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":"Q3003327$2E511185-12A5-4C55-B5B7-42629D1F30A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"657c5b5bfcee784fedbb5ea9924a9964ef93d2db","datavalue":{"value":{"text":"Finitely generated free Heyting algebras via Birkhoff duality and coalgebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003327$F4C10651-C778-4BFA-B284-B7AF8AB2DD96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c8892e4722ee6ae9d9f3f40e00b7ee61aa46cda","datavalue":{"value":"1229.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003327$18EAD049-F2E6-4DF1-AAA8-1F39EE9D27DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5647976aa1e9d5e2842b2f80350afe60dd91569","datavalue":{"value":"10.2168/LMCS-7(2:9)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003327$CB9AFD72-CB6B-444B-9FC7-F911C066FAD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003327$E650E4BA-5735-4724-8A51-6184FDB25372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b834b8a5fa066825015fdce4bdac31cee4bdc84b","datavalue":{"value":{"entity-type":"item","numeric-id":186438,"id":"Q186438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003327$4227C1A9-0FF4-4400-92C7-CD704ECADBFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003327$A46138B5-F7C6-4051-A3B3-0C5A178D9467","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-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":"Q3003327$D0F72B11-F4F9-4384-BE86-385C05B8B8FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6e0394154bb29bea683afafe857363f7c50dce5","datavalue":{"value":"https://arxiv.org/abs/1102.2828","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003327$76691449-C5FF-4136-8324-FDF5D5CF34D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003327$ECD53BDC-214A-4044-9BE9-4A4E34C5C672","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7de9d650a3313898dfb810217b7c4ad4425494ba","datavalue":{"value":"5900078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003327$69243D51-8DBD-4CA7-8B12-44B7D4456DD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003327$95D7A97D-CA4E-457A-A015-8EBEF77FC8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003327$92475A60-45D6-4F76-990A-EF80C8688069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003327$093A20FE-78B4-45A5-BA44-C8648C16841A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003327$64AE4DA6-F6BB-4C9D-ADFF-889C943A82D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003327$694FC284-B0B3-45B0-8F52-683CBE4FBDF3","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":"Q3003327$3273D6A9-EB25-45A6-AFE7-700BF50AA31B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"faaa845faeada647fd52332c3e9c2c0f03604412","datavalue":{"value":"W2949205883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003327$91D396E0-6137-46DC-8FD0-7BA178E4A09B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9067d957c9b37fc595ce717544258695aac4b90b","datavalue":{"value":{"entity-type":"item","numeric-id":2888491,"id":"Q2888491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d56c5116e39d5a63bf0ba817b00ed0bf3ff64ca5","datavalue":{"value":{"amount":"+0.9372608065605164","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":"Q3003327$168BEE36-8CD8-4A22-9DCB-04E7519EE7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c53ca25dc47075ca76493ed402671e17a88bb6","datavalue":{"value":{"entity-type":"item","numeric-id":4724609,"id":"Q4724609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5bd251de46a11cb36187b348a09529c4d41391","datavalue":{"value":{"amount":"+0.8185832500457764","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":"Q3003327$9E069C36-99AC-40E6-ABF5-8C6A7D5D8E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cadde4858b08ca90188d0e9d7fdacd89530196a","datavalue":{"value":{"entity-type":"item","numeric-id":4277651,"id":"Q4277651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ea4e4c5d04607ddfe6c8bb7c222cdcbd16f35f","datavalue":{"value":{"amount":"+0.8066459894180298","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":"Q3003327$14F645E4-5646-4B4F-BB28-7BC5955B7C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f1f80805d50e3465a7ff1a3afd151c4e5d738a6","datavalue":{"value":{"entity-type":"item","numeric-id":4836217,"id":"Q4836217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ea4e4c5d04607ddfe6c8bb7c222cdcbd16f35f","datavalue":{"value":{"amount":"+0.8066459894180298","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":"Q3003327$E2071C44-81F6-480A-86FB-E179118FFDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8973eb115834f72353659070adaadc92fdf3b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":4899176,"id":"Q4899176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"035cbeac0f9f060eba01361f3d68c475b9892f45","datavalue":{"value":{"amount":"+0.8035329580307007","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":"Q3003327$0367D8CB-9451-4774-8DD1-30C05A758BA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finitely generated free Heyting algebras via Birkhoff duality and coalgebra","badges":[]}}}}}