{"entities":{"Q4899176":{"pageid":6928755,"ns":120,"title":"Item:Q4899176","lastrevid":51626717,"modified":"2026-01-19T03:30:11Z","type":"item","id":"Q4899176","labels":{"en":{"language":"en","value":"Finitely generated free Heyting algebras: the well-founded initial segment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6122637"}},"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":"Q4899176$5CC039C8-E931-4CB4-BCB5-E7A74641EC0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8acb7fa88de9c195f2cacaeef8b5019cdbf0dcd0","datavalue":{"value":{"text":"Finitely generated free Heyting algebras: the well-founded initial segment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4899176$D3316FFB-7486-4284-9BCC-60B84A36CD90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba679e7645807032443ce392049fc13d885ab9a6","datavalue":{"value":"1272.03163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899176$4F6E577D-B00D-4873-9B28-4C0B1DC0C21D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc06a24955b16dc2f65ba1efe724b2e618edc622","datavalue":{"value":{"entity-type":"item","numeric-id":4899175,"id":"Q4899175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899176$71EF3627-F5E8-40BB-B056-335C663C33F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35fb3eb7a1147d357f99c266e6deda806ba8a90f","datavalue":{"value":{"entity-type":"item","numeric-id":404460,"id":"Q404460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899176$0A18289A-6367-48F6-9B64-36EFFDCF5FD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd34a47bf1bf332779159afc782c4fbf4412170c","datavalue":{"value":{"time":"+2013-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4899176$F725CC5C-5389-425D-9D99-3E0B7F7D2F44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe94e42694b37661d8d233b306ca095003af85a7","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1350315589","type":"string"},"datatype":"url"},"type":"statement","id":"Q4899176$2CED9E57-E95F-449B-AF55-74655DA62DEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899176$C089D012-84DA-419C-996E-2256AA503392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899176$E1517F5B-C63C-4AA7-A594-4B723FAF7577","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67bdaf79236eead45fa46e4ac3b4547bdc12de42","datavalue":{"value":"6122637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899176$355F3FAB-D284-4648-8F85-CB3C976B8C6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cefddf0a310134f65cac3e295b8922ebe1ded9","datavalue":{"value":"free Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899176$096AD866-D5A2-4A63-BA67-7B0B923D86CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"029259a2377b5daa81be3f3c51f900ae1ab3ba67","datavalue":{"value":"well-founded","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899176$EC27BDD7-7C82-40B6-81EF-AF4512121A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bba5b84d1707bd2bda36e4fbcbd5732e638a7f6b","datavalue":{"value":"low ladder","type":"string"},"datatype":"string"},"type":"statement","id":"Q4899176$4506673C-4FC8-4188-B77D-27FC968262C4","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":"Q4899176$07F6AACB-A70B-4E7C-BAC6-3A372CAF893C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d245a5223081e9ef8cade8156bdd50f0aa72629","datavalue":{"value":"W1999789292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899176$E09618D2-AA1C-444A-AEB9-20C10B6C88E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"974a58c118c83411555f256fe5a6914eb95605cf","datavalue":{"value":{"entity-type":"item","numeric-id":711563,"id":"Q711563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899176$24F69FC7-56F8-44AF-9D70-2D857CAEEB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899176$1335FE6F-C6FC-4C04-8C2A-673EF5E338CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899176$FAE9BC9A-23F3-4429-9652-8CE00B5A9574","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":"Q4899176$DD6EAD4A-63CD-4FAC-A31B-A92A59FC0432","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":"Q4899176$EDA1E9B8-39E1-4B06-8A0D-E7399AD0FFB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3eb8d0db3d6da1766e29b58ad6cd3fcbe0d8a5ab","datavalue":{"value":"10.2178/JSL.7704140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899176$36445D02-0397-4666-800F-2CC60FEEC5F5","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":"Q4899176$DCA5128D-7CE3-4084-91A5-5AB3D081FC34","rank":"normal"}],"P1643":[{"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":"d2b4a558229cabb96f6216556f800375c9f1dc0d","datavalue":{"value":{"amount":"+0.8541319966316223","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":"Q4899176$5306E342-6D82-424A-A2AC-5E87B1795046","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":"db519ff6c76873cd68363c19bb3b9a63ae37270e","datavalue":{"value":{"amount":"+0.8184288144111633","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":"Q4899176$3A023E45-E93F-4B94-B87B-057F73AEE7EE","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":"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":"Q4899176$C7E805B8-2969-4937-85C0-E7DFBF71E9C5","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":"3e7554eadc9ee26d413a64f1632fc5ad8aed9311","datavalue":{"value":{"amount":"+0.7960367202758789","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":"Q4899176$0EE1B0FF-98CD-4E15-9811-36EA859C5108","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":"c6948bae4828b2a7f27fe29d482f21fb7cf83122","datavalue":{"value":{"amount":"+0.790327787399292","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":"Q4899176$DE68CD70-14F6-4E51-B4A7-BC758E1774AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4899176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4899176"}}}}}