{"entities":{"Q4724609":{"pageid":6754186,"ns":120,"title":"Item:Q4724609","lastrevid":40894200,"modified":"2025-04-13T20:59:30Z","type":"item","id":"Q4724609","labels":{"en":{"language":"en","value":"Finitely generated free Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3997770"}},"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":"Q4724609$F1FF81E1-99AC-42FB-817D-11EEDF47280C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"252934949012dfb694431005dd736ae0e8c77f7e","datavalue":{"value":{"text":"Finitely generated free Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4724609$61D03A0A-DE93-422E-A5D5-9FC4F2FF9BAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a39aa56c651c5e1e1dff738bc863a41d3eb67ed2","datavalue":{"value":"0616.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724609$4B0795E9-428C-487F-B5C5-6760DC9DBEB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc3ee18cf7a38f790b416f4116e10a965eb531a4","datavalue":{"value":"10.2307/2273952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724609$6B7DD27D-03C6-4748-90D9-ADC186282220","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc667845b69ffe78e87b193c8e67c83a1bc1a138","datavalue":{"value":{"entity-type":"item","numeric-id":190276,"id":"Q190276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4724609$B63D8658-BF73-4306-9E70-C30B7B2180EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4724609$6CC5DE7F-3149-4CA5-8646-1F070569B247","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4724609$945477B5-7E33-441C-AFF6-188C6DD6DE47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724609$FE05E46A-C4B2-42C8-AEC3-6042140E9458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724609$E4DEDD41-942F-4950-8ACC-44E2DB5F935D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724609$53B79705-04AA-4808-80BE-D80B6D845635","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"497b525077de61975af517504ab5b1ad0fea100e","datavalue":{"value":"3997770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724609$FD0D42F5-59F0-49A2-AE10-55BAF0EBE67E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724609$1353AEC3-E056-48AF-9C7D-217E2C1F6D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7001585e9b74bb867ef7afe1c0f510b491dbdc18","datavalue":{"value":"pseudo-Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724609$6AB81C96-749D-4459-9FAC-C8F136CDFC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93e5f2deff9d4b86042c12193c4a0f5f1d66e68e","datavalue":{"value":"intuitionistic propositional Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724609$6F1561D5-2AAC-4562-ADFA-8B371D0F42C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cefddf0a310134f65cac3e295b8922ebe1ded9","datavalue":{"value":"free Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724609$0815ABF3-1508-4EF6-92C8-41FE3D52AD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0cfd894b183b3a5246899ae223e1b6a3a1ec0f4","datavalue":{"value":"order topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724609$6DCD9F08-CB71-46DF-B94D-1E5B4CB51C87","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":"Q4724609$D4171546-6484-418C-83EB-FD4CF2EBEC5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"498dd5a6be6117ac79011a3731396c0ea4e1d28a","datavalue":{"value":"https://doi.org/10.2307/2273952","type":"string"},"datatype":"url"},"type":"statement","id":"Q4724609$9BB69279-8FEA-41A2-B1EE-BAC9DCD87DFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1605118eccb0b18ebf7e7957c69998811c7a599","datavalue":{"value":"W2106838905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724609$C080BE6C-6201-4FD0-ADC8-1EF993677E05","rank":"normal"}],"P223":[{"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":"Q4724609$369DB14F-304D-40C6-8109-28CD6D6C1BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4724609$2CF311ED-03EB-46BE-9752-3E7D89FAC90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636c131d345cd95de94bf0cb9210c398de13e33e","datavalue":{"value":{"entity-type":"item","numeric-id":2264689,"id":"Q2264689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4724609$E36DA72F-6800-4D45-8731-D14D7B638ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94afd7ee02ebdfdd91a84035b6641cb20928663f","datavalue":{"value":{"entity-type":"item","numeric-id":5187282,"id":"Q5187282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4724609$6B12D89E-FB6C-488B-9AB7-C75D1593AF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4724609$061DC7A4-CFEF-4F8C-A721-A934416EF5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430aeea16287474b9301e5bb7d6f8fdfac8a8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4724609$98A5B1B7-45A4-446A-BBED-42F96CDDB202","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":"Q4724609$F0746D47-C7D0-4F59-95ED-E504038E7974","rank":"normal"}],"P1643":[{"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":"9be17012de008d31d260fb27afabcce262ff27cc","datavalue":{"value":{"amount":"+0.9436673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4724609$2F1F85C5-7B23-4D50-A46A-DC1A4C12B6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5021df2dbd1d204c1929395feb379e7ff50f7892","datavalue":{"value":{"entity-type":"item","numeric-id":3003327,"id":"Q3003327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6cacb65edce6903cac94ede2efc9741674e852","datavalue":{"value":{"amount":"+0.93970865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4724609$E0F690AE-65BF-4984-8EA3-7A7AA1643E10","rank":"normal"},{"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":"9b026d9e5399609f145be07ff4f5b07d301a3a97","datavalue":{"value":{"amount":"+0.93903065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4724609$784C184B-C7BE-41E5-9BF8-7D48ED3AEEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b473b4bdbdb4c3d3527481218e16097d0f472076","datavalue":{"value":{"entity-type":"item","numeric-id":1913876,"id":"Q1913876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55611b522f67c7c85e0ee7eee02a0e78c45c71f7","datavalue":{"value":{"amount":"+0.9296299","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4724609$651DA293-356E-4669-B2C3-C1BD308E20C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35c3705ef17f0558df1ce60b08f5135a4a1ccc9","datavalue":{"value":{"entity-type":"item","numeric-id":3987718,"id":"Q3987718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef123c8ccb551b26333407e4d12d9581bf19c62","datavalue":{"value":{"amount":"+0.9230561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4724609$0613AAB4-F308-4CC7-8299-E46923CF018C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331159b159a609d8f752b30f3741ed5b5bf372d6","datavalue":{"value":{"entity-type":"item","numeric-id":711563,"id":"Q711563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb2298220978ff9ae54cd9c2bcac215fff1a0f0","datavalue":{"value":{"amount":"+0.92076606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4724609$69A5E6AF-4E1B-4622-B6BF-D63B6E067374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"278419b3824886268af95193eed766d5aea8c461","datavalue":{"value":{"entity-type":"item","numeric-id":5484175,"id":"Q5484175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5088ec1e0f30c2ad54d9920971cf596769fe3ad7","datavalue":{"value":{"amount":"+0.9090884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4724609$501C0FCD-D96D-4659-AC46-6FDDB888D087","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":"ff8fd84ff2276c0065a9e7eddda46f9459ac5eed","datavalue":{"value":{"amount":"+0.9080335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4724609$E6CDAF50-D9C2-4E1D-A897-F1B178061E5C","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":"76c434a96f13067c3bb5e93c3dcce1767eec5607","datavalue":{"value":{"amount":"+0.90717906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4724609$6066F99B-20AF-4F7A-8827-CABFCB226CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ff2e613e899b1ed73e4cca646ffffb5c18c2c4","datavalue":{"value":{"entity-type":"item","numeric-id":2888630,"id":"Q2888630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf0f0db247f8c73a4f2a4060272869273393d71","datavalue":{"value":{"amount":"+0.9031739","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4724609$58E15BC8-9620-4501-A6B6-41B6750F64A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4724609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4724609"}}}}}