{"entities":{"Q454367":{"pageid":456134,"ns":120,"title":"Item:Q454367","lastrevid":62027895,"modified":"2026-04-11T03:17:54Z","type":"item","id":"Q454367","labels":{"en":{"language":"en","value":"Frontal operators in weak Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6088847"}},"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":"Q454367$8473FCC4-482D-4A84-B7BB-AFA572B70B08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1bc0df2da5e3eed18fd290cd015f18dc6426a7e","datavalue":{"value":{"text":"Frontal operators in weak Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q454367$2EE4CDCA-B6DF-47FA-9414-C1E819B9C973","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"454084b12236c8f242d2c6ff77e451e9188e986d","datavalue":{"value":"1272.06022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454367$225FE104-7D37-4A58-AAAC-ECB5A74516FA","rank":"normal"}],"P16":[{"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":"Q454367$A506B8C3-030A-4637-97C6-F66A6CEC9E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92eafc96a46092e2429ee13b6bdee39b631fd790","datavalue":{"value":{"entity-type":"item","numeric-id":634748,"id":"Q634748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454367$BB73D759-E119-434F-A577-2ECF1DC640A3","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":"Q454367$B81F577C-8C75-458F-BE4D-A77A918F9EF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce482458de9f4ace900fbb372ae38b12a79d36f","datavalue":{"value":{"time":"+2012-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q454367$C6C1B04B-D6A6-4131-8C15-C990B93FEBDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d1e9f2166a022bd6d07803a22fe5204abd9b8ef","datavalue":{"value":"http://sedici.unlp.edu.ar/handle/10915/114720","type":"string"},"datatype":"url"},"type":"statement","id":"Q454367$BCDC88BA-50DE-40C7-8B8E-63440661A0DE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eb7778aec8fdd4828316557e7fda999e5d4121dc","datavalue":{"value":"Weak Heyting algebras and frontal Heyting algebras are important algebras of nonclassical logic. A frontal weak Heyting algebra is a generalization of frontal Heyting algebras, consisting of a weak Heyting algebra endowed with a frontal operator. The authors introduce the class of frontal weak Heyting algebras and give for it a representation and a Priestley duality, based on frontal WH-spaces, which they define to be a certain kind of WH-spaces with an additional binary relation, that translates the modal operator into the algebraic framework. They also point out two remarkable subclasses of it, for each of which they give two isomorphic representations and two topological dualities, one based on the representation they have given for frontal weak Heyting algebras and the other one based on some particular classes of WH-spaces.","type":"string"},"datatype":"string"},"type":"statement","id":"Q454367$D8C65B52-6311-451D-809F-4E762A2937C0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6b2a766fa4580d586548716dae8fdf9871fa9222","datavalue":{"value":{"entity-type":"item","numeric-id":377477,"id":"Q377477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454367$7844D98F-1FB6-48C9-A7A9-B56EDF7CC5DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454367$D42BE137-CA1A-4516-B999-54776C613D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454367$7536A47A-160C-4FC9-BBC3-A2A23F420B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454367$36C91520-F5C7-437D-980B-B97DDBF23BA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a6128bb13c8cd6e923ba477eb3d1cf7dd9712d9","datavalue":{"value":"6088847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454367$976C7D78-3173-40B4-98DF-FFB6A4C32914","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q454367$B97F9BE2-DE76-4613-B54B-72887C7100EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab67dfce846907124bde9aae8d39bb7debd6618e","datavalue":{"value":"frontal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q454367$BB3934BA-6817-4443-820E-DB5AF8DC1813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5acff1bae5042743238dfeb809e0eb4525fcb85","datavalue":{"value":"weak Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q454367$08B57738-BD60-4676-ABDA-A98174038A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08503ff68fda0185e5c7ee17350804ec8b84a271","datavalue":{"value":"Priestley duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q454367$02BE0C06-EB71-4A23-8ED7-83162327FBAC","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":"Q454367$431AE0DE-D07A-4638-908D-765086A54223","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fc8c49c1b7fddc9935985ef07cfb271fb53b8f7","datavalue":{"value":"W2111979092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454367$84696802-4E61-4277-9283-3356E2A08134","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b25dbf884c32ddec6cbd0b7832b22b91b900c0","datavalue":{"value":{"entity-type":"item","numeric-id":4210835,"id":"Q4210835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454367$06B12918-34D7-42C6-ACDC-51228BBD8274","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":"Q454367$310D458E-528F-4285-9BDF-5E5A2D0B9AC2","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":"Q454367$C151E008-D844-49BE-AF49-CA305D41F5AF","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":"Q454367$682E78BD-050D-46BD-B8F2-D02F32E9AD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ed40e3d101bd9d88cc6e0ad0937996baff9b25","datavalue":{"value":{"entity-type":"item","numeric-id":1422101,"id":"Q1422101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454367$1DABF023-2E34-4A78-82E1-4EFEF6376DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35bf712e2b1b6bfb31b491dc46f544f6114af908","datavalue":{"value":{"entity-type":"item","numeric-id":4680368,"id":"Q4680368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454367$A9C96E10-D8E2-4E3B-97A8-F57A8FA9FEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab18b9abb3dcf0155ebfd0b02b16b4aac9436bea","datavalue":{"value":{"entity-type":"item","numeric-id":2469035,"id":"Q2469035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454367$1E2B2085-37A1-45E1-80B3-2D690AFD7E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77228b85c1f27bbf1d343133dc347747837b26d4","datavalue":{"value":{"entity-type":"item","numeric-id":1183950,"id":"Q1183950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454367$449E9CAC-3686-4989-9738-FA9C71BD6E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1061ba4dfee59eb91f071e588d854a29a14527d7","datavalue":{"value":{"entity-type":"item","numeric-id":4116448,"id":"Q4116448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454367$380239AD-AFBB-4C39-B879-5FE8BEB8D08A","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":"Q454367$23D471F6-C08C-453D-A737-A2BAAC89BFEC","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":"Q454367$45E94F2F-A3F8-4A10-9C04-03883A411478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454367$4E58826F-70C5-4CCE-82FF-4425DC3EF967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f6f7b8a3a7aa17fe4538ae2a91e04e78ddf654","datavalue":{"value":{"entity-type":"item","numeric-id":2641327,"id":"Q2641327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454367$7DEABF8F-C5AF-41FC-BE16-A5DFF2359E35","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":"Q454367$E7FA03FC-8741-4A9F-9554-2D1CE054BE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046c424c7923ae1143897958de3a45f9701bd825","datavalue":{"value":{"entity-type":"item","numeric-id":1091383,"id":"Q1091383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454367$E3026EEC-1546-49E9-BB45-D512ABD41795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c14e5332484049924f45c44de566f49380d20e","datavalue":{"value":{"entity-type":"item","numeric-id":5445172,"id":"Q5445172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454367$3AD153F0-8DD2-436F-97C7-FCF4463D4C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q454367$C8325EAA-DE71-4A4A-94EA-2AA1E9B14A8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93940172f0ccce6c2a928faebdb21bfcd5b03b35","datavalue":{"value":"10.1007/S11225-012-9390-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q454367$36CA7970-D9C2-47A3-A691-D1EA54685540","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18f91ec24b21b2a7d830cd22a183995350bb6f38","datavalue":{"value":{"entity-type":"item","numeric-id":3086535,"id":"Q3086535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d55e1857600fee5a1286c8e8a00ae5406dd40f5","datavalue":{"value":{"amount":"+0.930815","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":"Q454367$9D9B63B3-5A6F-4AA7-A1EF-48FB3DA09A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d98898bebef911e0b79b6ae74a2cba6a9ee836","datavalue":{"value":{"entity-type":"item","numeric-id":4644510,"id":"Q4644510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52a36ca315f17183a39691b9ab1459190f13bd4","datavalue":{"value":{"amount":"+0.9260335","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":"Q454367$60B23445-1A80-4FB0-9BE1-A170B1D5B043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f9b9b5c934709efd014283e75e2a3c7e5bb1de","datavalue":{"value":{"entity-type":"item","numeric-id":2720324,"id":"Q2720324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98db0e030ca1edfeb4b3a4bb1c5b480d6688459a","datavalue":{"value":{"amount":"+0.8984848","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":"Q454367$3C0DC27E-7EF5-4667-B967-7D4436BF78A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3df52f2cad2d6e1b1958b7d00f2db822b33526e","datavalue":{"value":{"entity-type":"item","numeric-id":5485492,"id":"Q5485492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d8e569fef2ef74a803402f5305020a01064cc78","datavalue":{"value":{"amount":"+0.87312174","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":"Q454367$18A1156B-6033-4A1D-B4A9-D505E9925FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b49dddcf8860d99138a3b4cf54373091f78d1e","datavalue":{"value":{"entity-type":"item","numeric-id":3452702,"id":"Q3452702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8983775be28113e342247b967ff2f17be7a76b40","datavalue":{"value":{"amount":"+0.8661448","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":"Q454367$5D7A612F-DC05-49E9-8274-9D06C395A26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb259a68d2a865808f8173ec22e25d86e3e6b03","datavalue":{"value":{"entity-type":"item","numeric-id":763330,"id":"Q763330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1818765480bc8e0b9b1162ec72d4a6f0ac742c94","datavalue":{"value":{"amount":"+0.8602611","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":"Q454367$367327F5-4448-44AE-AA39-A60F56D9B728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"428d1424f7985e9ac32986fdf18e9763c9d73320","datavalue":{"value":{"entity-type":"item","numeric-id":6079173,"id":"Q6079173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f4392d8cf1f86979c1b48db5a14c8065464e63","datavalue":{"value":{"amount":"+0.8576311","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":"Q454367$49B501AA-7538-4A3A-A95E-9DB9E52059BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2948dcd8f75bf44a3d63aee9bc247db1bf0ea00b","datavalue":{"value":{"entity-type":"item","numeric-id":6096729,"id":"Q6096729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50a2d97ab0ce499559f2b5484f14a0b0761bf53","datavalue":{"value":{"amount":"+0.8575976","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":"Q454367$0665C458-FB72-415E-8663-C73324AC08FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4904278f9317b09cca047047663f79d7d2c81d","datavalue":{"value":{"entity-type":"item","numeric-id":5445172,"id":"Q5445172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89da31b0079ed74a633c540eb479826d25c0b7ef","datavalue":{"value":{"amount":"+0.8539946","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":"Q454367$879E1058-9EB9-4F73-AD52-1AD69F3E838A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a208ead7d9a728e21f3465ea1e28b1ebfd9775","datavalue":{"value":{"entity-type":"item","numeric-id":3322103,"id":"Q3322103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ee3a04ae05408abfdc0ad39f9b7d967f50c8f6","datavalue":{"value":{"amount":"+0.8511987","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":"Q454367$701B7D95-F24B-4BED-BC89-869342CC57AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Frontal operators in weak Heyting algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Frontal_operators_in_weak_Heyting_algebras"}}}}}