{"entities":{"Q1237072":{"pageid":1247822,"ns":120,"title":"Item:Q1237072","lastrevid":67208826,"modified":"2026-04-12T16:04:31Z","type":"item","id":"Q1237072","labels":{"en":{"language":"en","value":"Equational axioms for classes of Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3552504"}},"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":"Q1237072$9542AEC4-881D-4050-877C-F7A82D5144D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1217530fe02d8ccbf7d3349d0ea54cca00c7f575","datavalue":{"value":{"text":"Equational axioms for classes of Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1237072$646BB946-FF94-47E8-B2D8-72E10EA35905","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecd89333d2c730889c6fb5faead0be3feab6b1b2","datavalue":{"value":"0355.02039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1237072$C6A4FDFB-E668-4D03-B306-BB2E5F51EC2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3126aa3976e8ce39894ff570091fb1e827bceb89","datavalue":{"value":"10.1007/BF02485823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1237072$04C5A3D6-48EE-4BF6-B45D-9BBC61BCB3DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53d9bd829d853802f6bc9f97b4a4054df50a686d","datavalue":{"value":{"entity-type":"item","numeric-id":790853,"id":"Q790853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$425751AC-4BBF-4624-AC7C-91FE9A1EB08C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$157FB940-EA45-4BE1-84EE-2F24D32B9B24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q1237072$D63AD365-ADB3-4B87-AB8F-9917BABC9D09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1237072$212EA2AB-B8B8-4D14-915A-E1432DC81FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1237072$901AFC80-4D96-4762-B28E-54BAFCFB0CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1237072$B6B9EC3B-AA99-48E2-9337-F88073576515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1237072$4C8CBD03-E19A-4A27-AC79-8815D58201D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4011f74399cbb7458dac0ecbdb0edd54914a1ec2","datavalue":{"value":"3552504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1237072$9F101BBC-4051-40DF-AAE0-BF55340769C8","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":"Q1237072$37C57D09-F349-402C-ABE7-DF40836B31D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"092db5f3da0798c085d4f199e4366d23d6bda62d","datavalue":{"value":{"entity-type":"item","numeric-id":5611033,"id":"Q5611033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$892C7956-ECF4-42D0-948B-2BBEF0233B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f737ecceea7ad9eb1479987525b5c82cad57f94","datavalue":{"value":{"entity-type":"item","numeric-id":4041620,"id":"Q4041620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$DE4877F2-7CEE-4849-A9B6-0C32E92C26E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6549bce11883e783f0fb536b18e9585b448489e5","datavalue":{"value":{"entity-type":"item","numeric-id":1237798,"id":"Q1237798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$DF7C7400-AA01-4305-98E2-CF4AB55953BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f614113e6cdc567134dd5f11080b39f9ea52705","datavalue":{"value":{"entity-type":"item","numeric-id":5597549,"id":"Q5597549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$896CD3F8-FE61-4DE1-9787-FF635D3A7C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34c2eed9ef5fc3d358f32fa8872708612a0fa4f","datavalue":{"value":{"entity-type":"item","numeric-id":5834591,"id":"Q5834591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$7D359ECA-8C9A-4E1D-8846-CF4A6F96B1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$D0038139-8B63-49C8-9B3C-93F785065CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ff4e412bf8854d9903378f7760ad489d0d0572","datavalue":{"value":{"entity-type":"item","numeric-id":4081295,"id":"Q4081295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$E1C9AAE1-D42F-4411-A106-0DF620742E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58059b14abb56a4a527bda97e3023bcf79730a13","datavalue":{"value":{"entity-type":"item","numeric-id":1224592,"id":"Q1224592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$1A47FA3E-0E22-424D-B1DB-8F9B9736A6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007c64cb1e51e420a82b1528582743678952b922","datavalue":{"value":{"entity-type":"item","numeric-id":2648578,"id":"Q2648578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$764F5888-2E72-4AFE-B502-63E4F7DEED63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$056EC007-1AE5-48E6-AFA5-345B55895860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e027f5650296472fc746ced3fc44df7db916881","datavalue":{"value":{"entity-type":"item","numeric-id":5665173,"id":"Q5665173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$BFE44EE9-AFF2-44B2-9831-93EE574C8191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$37AA989A-285F-4E73-A4C4-9DFD6EAD1BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ad6861c78fd4390c0613c4ab63948d956f71fd","datavalue":{"value":{"entity-type":"item","numeric-id":5639727,"id":"Q5639727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$B621A91C-74F9-40F2-AD16-B29CA3C7C625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d94a720cc6fd9b524b4f881dc7926193f92fa197","datavalue":{"value":{"entity-type":"item","numeric-id":5582301,"id":"Q5582301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$3D34A90E-31CD-4D95-A04B-A8AD09728F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe4687bac901137544dfae8471abec12e38ca96","datavalue":{"value":{"entity-type":"item","numeric-id":5727654,"id":"Q5727654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$775FCFE1-9651-4E9E-9DF7-496A6563D180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a150d5a38251d435dbd79fe9ddb6282ff8380e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5571686,"id":"Q5571686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$AFC6EF90-D232-4439-8FA1-27531EB6AF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1583acb2b9353fcb03f8b0420b193966affeb10c","datavalue":{"value":{"entity-type":"item","numeric-id":5582306,"id":"Q5582306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$F79FAAE7-DF42-4671-B6DD-092387F234B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90e62a647d76324dd712fbc39d6d3cb2ce86e17","datavalue":{"value":{"entity-type":"item","numeric-id":5595146,"id":"Q5595146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$3A2AE56C-6D64-456E-B86F-63357A8524DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$7708A979-4CFA-4A1B-863E-F94E8EC9EAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c47006e0f649af0d7c21aa92e85b1f9115edde","datavalue":{"value":{"entity-type":"item","numeric-id":2548616,"id":"Q2548616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$2DB12B99-E632-47AB-A69F-4EEAEDE03A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$60D59632-EA61-459D-AF1F-DE887F8C61FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7cb09f637070aede8e9289020b0227488b411a","datavalue":{"value":{"entity-type":"item","numeric-id":5532530,"id":"Q5532530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$B0980430-2F2E-4E72-955D-5CECD9247F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9c0420aef247f44d1eec39528b10ee9fac6006","datavalue":{"value":{"entity-type":"item","numeric-id":5565105,"id":"Q5565105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$C50E1656-FB48-44FB-A0FF-245E433C0DEC","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":"Q1237072$3AEAF27D-998F-4FC9-AC0C-A166BE05D32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$894C2B11-541D-4FC1-BA2B-D319BFB7D6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e71d49c7c6bdcccf272d696e6320da18b21069f7","datavalue":{"value":{"entity-type":"item","numeric-id":5545410,"id":"Q5545410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$B188F45F-1392-4CCD-B11A-E20A6C338C10","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":"Q1237072$ABD91B96-E8A9-4AFC-B438-EF0904D78C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$FCCC0A63-0ED7-458A-A223-324076BAA120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad78f0c9eae65d440bef225de3d19917af4dc15","datavalue":{"value":{"entity-type":"item","numeric-id":5822056,"id":"Q5822056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$C7A60B2A-C7A1-4D47-891E-CD31085C6848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8e02cfe97cc01f6f17cf6355854c168f0a78db","datavalue":{"value":{"entity-type":"item","numeric-id":5518356,"id":"Q5518356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$A2802D03-7EAF-4C5E-B559-66DE99134092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ae99f13f02e4409a0a1f87f0ae24b3d0e3c0fd","datavalue":{"value":{"entity-type":"item","numeric-id":2534695,"id":"Q2534695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$6530A3B2-53B8-4E92-8C06-ED7E93B5A809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3e6eda0447a4e23e57c8338c30e70815365efa","datavalue":{"value":{"entity-type":"item","numeric-id":5720187,"id":"Q5720187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$A4D2DD01-B1F2-428A-B9B7-9744CA5C078E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebcf9cd174870188d902e446638ebf9ee84dd1d8","datavalue":{"value":{"entity-type":"item","numeric-id":771031,"id":"Q771031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1237072$62EA7CDE-4AB8-42B1-986D-704C8BBB85E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d06877260546c51eea0e75bf386ec66f660a29b","datavalue":{"value":"https://doi.org/10.1007/bf02485823","type":"string"},"datatype":"url"},"type":"statement","id":"Q1237072$D113E1F6-C8A8-4142-8AE4-785AC23DB4EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3027692f829f258464335767b3fbe35c62e0c2be","datavalue":{"value":"W2031046714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1237072$99C54F0C-E86B-42ED-B391-9922B4D806AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational axioms for classes of Heyting algebras","badges":[]}}}}}