{"entities":{"Q5127961":{"pageid":7157535,"ns":120,"title":"Item:Q5127961","lastrevid":53857232,"modified":"2026-01-25T20:20:08Z","type":"item","id":"Q5127961","labels":{"en":{"language":"en","value":"Boolean atoms of Heyting algebras and their application"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7267042"}},"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":"Q5127961$CD431DB6-5BC4-4DCE-8D34-A0853458BF81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68eca4f970653ec1d07035e031abc38d7e577be6","datavalue":{"value":"1463.06041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5127961$991F113D-8BAA-45F1-8BC4-221669EE2671","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee16e822b6f0c72822159c95214899af9b4a6613","datavalue":{"value":{"entity-type":"item","numeric-id":5127960,"id":"Q5127960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5127961$C532157D-F844-47A4-BE3E-A163EC8D12E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"461fb4812df032eef1b6e69e3cbdb6df83a1a205","datavalue":{"value":{"entity-type":"item","numeric-id":3306802,"id":"Q3306802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5127961$32C561A9-E259-4946-BAFD-2DF57775145F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac7559a7fb30bce9c38cc143b67c14d8992e46a2","datavalue":{"value":{"entity-type":"item","numeric-id":433100,"id":"Q433100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5127961$7C32EE05-E72D-4F79-A7E7-B648F58897EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e96c211c6c1bd548b28ba402cff609519e380594","datavalue":{"value":{"time":"+2020-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5127961$ED0CD3D5-4C17-4BD0-9FB3-B4615C33BB81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5127961$A84D9C95-596B-42E1-A12B-9CB286B743A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d62fafd2d5233c7130ef1e968ec5fd104038023","datavalue":{"value":"7267042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5127961$9C314C3E-11EC-47CB-B8BE-77EE90E358EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5127961$D49EBE17-9759-4514-97EF-8A2EE041E256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5127961$F4290C9B-0732-4D82-B845-E9FCF46DF0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0672d0ed311fd9de88afbed70ee5cc98409c2e5","datavalue":{"value":"Boolean atom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5127961$86C9F7AB-7BA9-4968-B0B6-AF82BD856E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5127961$5D2BC197-CCF0-43FC-A2B0-14F7998581FA","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":"Q5127961$67B20655-F815-4D1A-B684-E6675A33331C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4da8997eb57625968b2e6d38aba946d2c90a9ea4","datavalue":{"value":"10.6040/J.ISSN.1671-9352.0.2020.031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5127961$3D5C6C05-BB64-401B-9403-F32785654AE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6807224e3d817a225911f118015304f520c17047","datavalue":{"value":{"entity-type":"item","numeric-id":4695117,"id":"Q4695117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69bda802f8b51b845bd23e2d56e001e330347dce","datavalue":{"value":{"amount":"+0.7894232869148254","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":"Q5127961$23482D90-0EB1-43A3-9ED1-2486EDDBDE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3495e17fc834814603463d045f38b5c429ef5d","datavalue":{"value":{"entity-type":"item","numeric-id":3836005,"id":"Q3836005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b76386486762e59c60c2f8df5f88aa5259f96b6","datavalue":{"value":{"amount":"+0.7748254537582397","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":"Q5127961$77B2DE98-35E9-40E1-8588-067AB246D896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6be37e185d1121410afab9b5ea2f1dc7b3cc6dad","datavalue":{"value":{"entity-type":"item","numeric-id":763321,"id":"Q763321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b47c7d504124b4276229749c1e4007a99abfd78","datavalue":{"value":{"amount":"+0.7671974301338196","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":"Q5127961$AEBB7B43-619C-4824-81D1-0C9070A91759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f571a2216e0576fad9f3917aa46a1f439683730","datavalue":{"value":{"entity-type":"item","numeric-id":3027063,"id":"Q3027063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a78e84fe4df80579ebec992fcf98bc96fcac9264","datavalue":{"value":{"amount":"+0.7565730810165405","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":"Q5127961$7341B817-BB53-451A-8D06-D84B80848390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"689668c0a1912805c028e1852526245e58093f89","datavalue":{"value":{"entity-type":"item","numeric-id":739832,"id":"Q739832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103c6179704366a9f1d8eb1d98046e73af672f3e","datavalue":{"value":{"amount":"+0.7553526163101196","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":"Q5127961$8CD33FBA-BC0D-4CBC-AA84-4E90B793839F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5127961","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5127961"}}}}}