{"entities":{"Q1935558":{"pageid":1946300,"ns":120,"title":"Item:Q1935558","lastrevid":71179101,"modified":"2026-04-13T20:04:07Z","type":"item","id":"Q1935558","labels":{"en":{"language":"en","value":"On some classes of Heyting algebras with successor that have the amalgamation property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6136996"}},"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":"Q1935558$8A7A1AC9-3523-4C83-9E39-1C96ABCADBEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5f5970ea9c85d5de89d8a290bab09257ecf515d","datavalue":{"value":{"text":"On some classes of Heyting algebras with successor that have the amalgamation property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935558$7D681414-7138-44CB-8EA0-1D04808AC4D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06101986024c9140557a26efbb5b6c833b040687","datavalue":{"value":"1408.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935558$B18C998C-9744-4DBA-BA22-70FE74854B0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aae77e8e2b82a5dc2fb39edee5badd3b8f12c82e","datavalue":{"value":{"entity-type":"item","numeric-id":266866,"id":"Q266866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935558$5099A576-2D1E-4B60-9BC2-004AD0D0D399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ec376dcb7cf5125b803e313059b45ffe75fceba","datavalue":{"value":{"entity-type":"item","numeric-id":284215,"id":"Q284215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935558$2D3F63E2-DE27-4ECE-A5D8-36D5A73C029E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935558$6C3B0521-8553-4894-B750-C6EF3044BB06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6580e539cd642ecce5788629c9cdef04a318cad","datavalue":{"value":{"time":"+2013-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935558$2423F206-6C7A-4D44-BF12-3F76E1CEDA71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935558$05F373F2-BC2E-462F-9944-4B91C862B59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935558$4D7688BD-2B3F-49A3-A721-6668F5860ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935558$A6C2AA9B-696E-4048-B97F-3FB2B02D471B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"447e0fb0071bc185b39e46fbf250c5ebac7e4a5a","datavalue":{"value":"6136996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935558$096D9544-B510-422D-8D1B-4EDAE95BAC23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ab00d8c6d004f508ae7223b0711ed16c3c98cb","datavalue":{"value":"amalgamation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935558$3555EEA0-DAAE-414C-B5D7-737C1D2706F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1093f6950436e6545be25dd909b86fbd17fd071e","datavalue":{"value":"Craig's interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935558$61CBECE5-DB5A-4840-B2D9-C712017E53BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"470c5a60554d1ec5348b47268d30ccd4f75d7380","datavalue":{"value":"Heyting algebras with operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935558$7B72BA70-F2ED-4103-BDD1-7EF7694D5622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06cd1b4526dda66aca6820d745c486a43aea5e5f","datavalue":{"value":"extensions of intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935558$9B9C8209-5731-4983-BEEF-C7FF41D8FB1F","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":"Q1935558$2AE8B903-4C4F-4396-9D25-59FF5C961D01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa384de7c78265540ee270be3eac0c245d340646","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9451-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935558$335DB55B-71B2-479E-8B55-84F7BBED2E36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae1f36db8fc415a2dd438e7c9674bd9a730bdd88","datavalue":{"value":"W2070893208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935558$CF7E75D4-B6A4-426E-933F-9B6B37E75570","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f88f9033642cabec78d5aedfdc947accfe792","datavalue":{"value":{"entity-type":"item","numeric-id":5936163,"id":"Q5936163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935558$5A4ACFA3-9EF0-4E5F-ABF9-6FC3F95B652D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6027f7e7caa3f9f4bec3d5352d5c5a0eccf91c9","datavalue":{"value":{"entity-type":"item","numeric-id":4313857,"id":"Q4313857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935558$9B08F57F-BF3D-46AB-9141-244FBDFB0CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fc3f64e300a3d6c539bb15ee466fd021c2616d","datavalue":{"value":{"entity-type":"item","numeric-id":3644804,"id":"Q3644804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935558$E6C5EDD4-88A8-488E-8ED1-E1FE686514A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30063d2699688d2edf5c1fbf012dbad6a80577e1","datavalue":{"value":{"entity-type":"item","numeric-id":862977,"id":"Q862977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935558$D027857E-CEE2-4AD8-B0DA-FE56B1969805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0cb8cb927478b7bcf307eb544a22df4115a278e","datavalue":{"value":{"entity-type":"item","numeric-id":4328824,"id":"Q4328824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935558$9D3C111E-55D1-41D5-AC94-EF83ECF1BCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d17becb178336b5fdf348b81a95a35ac9eff6b1","datavalue":{"value":{"entity-type":"item","numeric-id":3086535,"id":"Q3086535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935558$B07CB7DD-C60D-4F54-8151-905F4ED771B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ec99d402e70e752d79b95f6b2fc2fc6eb6c27b5","datavalue":{"value":{"entity-type":"item","numeric-id":3086536,"id":"Q3086536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935558$CF321B7C-17F6-430C-9D8E-6CE619F1FFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397419662126ccd88ae51119636bcd58ebe8f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":1024121,"id":"Q1024121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935558$FB31339E-27A0-4F61-AA27-8D7D0C596176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935558$749CF639-6846-43D7-8A85-1472EF58895C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3de332840536f381870db505612964ed89a02917","datavalue":{"value":{"entity-type":"item","numeric-id":3647244,"id":"Q3647244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935558$F4DF8930-1B5C-4D1A-90CE-B089932A4B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935558$69E43EEA-2DD8-4B34-80F8-D77202003674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6c5dc066b1e3f35bc9fbf67938d985b17f686f3","datavalue":{"value":{"entity-type":"item","numeric-id":5829878,"id":"Q5829878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935558$27B1525A-1BC6-40AF-AE07-2905E20FBB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2d458089c007c8c0c501a9472e422b5147481f","datavalue":{"value":{"entity-type":"item","numeric-id":3743301,"id":"Q3743301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935558$394894A7-B7C1-41D0-BF32-025BF9277599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935558$820B6756-5D65-4C59-B62A-3A44CA4657FC","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":"Q1935558$9EBD01C8-CFB3-4A8A-9B35-8B98E4EDA3E8","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":"Q1935558$D57CEC9A-370B-485E-BFC2-60D519B15D4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59ae9008ecf440ca9122681504f29dfe8e8de25d","datavalue":{"value":"10.1007/S11225-012-9451-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935558$E6BB6AD5-D360-4C4D-AEDA-132DCFC340C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3571fa3e0f6d58b7062ef1d4d24e6e433e1a381","datavalue":{"value":{"entity-type":"item","numeric-id":4916976,"id":"Q4916976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e219e46e47f8d3808bd808c6f14034551c403176","datavalue":{"value":{"amount":"+0.8000925183296204","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":"Q1935558$CCCF0951-DEAC-48C8-BEB3-14DC12B3363F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf762050e81f7ee8060e0aadc379afa3e7d8c45a","datavalue":{"value":{"entity-type":"item","numeric-id":3086536,"id":"Q3086536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a51913c97e7116703d1c5baa289cab120aaba9","datavalue":{"value":{"amount":"+0.7807033061981201","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":"Q1935558$D51C6433-37E2-41E5-B5E1-2379679DFE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91a501d788b0cc5fa603f8befcfc8179000fffe","datavalue":{"value":{"entity-type":"item","numeric-id":1406853,"id":"Q1406853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575917945629412c6d80952fa1fe05f60bbe87c5","datavalue":{"value":{"amount":"+0.7597362399101257","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":"Q1935558$2F05C5E5-C84C-471A-8E4E-070B6F9A0740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"004333e2c69a26872006d3cd78a9683ae28bdb30","datavalue":{"value":{"entity-type":"item","numeric-id":862346,"id":"Q862346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9290a0307926573ed8ff7e0f1c4dab6074cbb44","datavalue":{"value":{"amount":"+0.7541671991348267","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":"Q1935558$439C1BFE-7E4E-451E-9B2A-62DCF35CAE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d1cfd9aaa74f33391da2779d5573a2ef6e0be1","datavalue":{"value":{"entity-type":"item","numeric-id":5389361,"id":"Q5389361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"251f29a55b81cd06dc2dbb513375647f6540037f","datavalue":{"value":{"amount":"+0.7524718642234802","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":"Q1935558$F1402C6D-B74D-4592-B5B5-59D068E34989","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On some classes of Heyting algebras with successor that have the amalgamation property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_some_classes_of_Heyting_algebras_with_successor_that_have_the_amalgamation_property"}}}}}