{"entities":{"Q495844":{"pageid":497611,"ns":120,"title":"Item:Q495844","lastrevid":52345763,"modified":"2026-01-22T09:50:26Z","type":"item","id":"Q495844","labels":{"en":{"language":"en","value":"The semi Heyting-Brouwer logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6482423"}},"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":"Q495844$88AC5C3C-11BE-4F1A-AB5D-8E9FA74B9437","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be0fd00c7d1ac2b0bb9e7d41e37a8fcacf601b1b","datavalue":{"value":{"text":"The semi Heyting-Brouwer logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q495844$1D6465DB-987B-45BD-9C0C-47BB39FEECDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2ce278dab8f29b3f2da99cb73cedbfd07ea862a","datavalue":{"value":"1378.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495844$58AD5720-C840-48C4-B3FB-105AA67819B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff60f539800112c46879724c5b88cbb0551f5780","datavalue":{"value":{"entity-type":"item","numeric-id":495843,"id":"Q495843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$62DD0936-4B4A-4A19-BC73-92B6ED5ADAF3","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":"Q495844$BB7D0840-2866-4840-A830-741E0D7B67F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e1f4c45c20efe387142809b033c238de6f0855d","datavalue":{"value":{"time":"+2015-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q495844$829CAB7D-F6EA-452D-A78B-DB8D5F83688A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495844$47B81DA8-C4DE-47CE-BD0B-828E69D87405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495844$FFE8AD95-5E2F-405D-891E-80040E9FAC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495844$1B55F6ED-2866-43A4-B288-0223D9DB8AA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6f8f2ed769fc07af0f76bd611665ee21c9865a9","datavalue":{"value":"6482423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495844$FCDD6F1B-CA6B-44AD-B920-173A44434104","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88bb2fe86087f6ae28b741bed8fd7a96298b006c","datavalue":{"value":"semi Heyting-Brouwer logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q495844$AE8455D8-2313-4FD1-8279-D53EC9691F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61f91923718aafa6282d2e7e5ba773fcd1e17386","datavalue":{"value":"semi-Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q495844$7ADDA0F1-35D0-4035-8AA9-ED9D61CFF1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d87974aed13ceb98b07fdd9bf2bf213e2ddc6556","datavalue":{"value":"Heyting-Brouwer logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q495844$9EE0E9B4-A01E-4C99-A92D-9BB7C340AE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q495844$5785F18C-F5C8-469B-B56E-9FF745423D40","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":"Q495844$16B58505-09B8-47DA-AA51-DF077F36147F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67f168019777c96cb23065dd6ad8432a0cbc2eb8","datavalue":{"value":"https://doi.org/10.1007/s11225-014-9596-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q495844$C3F0EE17-A2E7-4F39-AE74-46B47E5B38A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b060631351db23b3565abcd0abff052f478c33d","datavalue":{"value":"W1973860787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495844$547A5651-8872-4289-A011-D71077E9B029","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6419dfa1ef235c9fc41986f39e1fd4f7c199aaae","datavalue":{"value":{"entity-type":"item","numeric-id":2376916,"id":"Q2376916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$65F4ACEA-F540-401B-93D1-AE5DD12C214B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4935540b79768f00534f71779e791e55514c728","datavalue":{"value":{"entity-type":"item","numeric-id":1138007,"id":"Q1138007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$5E516361-BA94-4D24-BB5F-F4F0B47E60A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db4334fad07a61c2b2b8228e69e16c405504889","datavalue":{"value":{"entity-type":"item","numeric-id":763323,"id":"Q763323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$60A108E4-598E-4C27-8AD5-6E068409FD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25c9346400d5d268831a5056493682abe2667eba","datavalue":{"value":{"entity-type":"item","numeric-id":2352456,"id":"Q2352456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$EFFE739C-AC04-4956-9E7F-58A62BDC14C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e6baa3f2d1b108638e63f44444eb15fffd0961","datavalue":{"value":{"entity-type":"item","numeric-id":5940919,"id":"Q5940919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$5D1947C0-7107-4566-89F7-DBF6424BE0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4198ce3dabdf90b9900bb8805d1e27c3f47767df","datavalue":{"value":{"entity-type":"item","numeric-id":4823807,"id":"Q4823807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$BFDFC088-9483-4F55-886D-E99DE562FAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2dfc188569540d0bb56e9b9daac826d6a18b37","datavalue":{"value":{"entity-type":"item","numeric-id":1220483,"id":"Q1220483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$508820A3-574A-424B-9613-238BEAC8E37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$A1A3E22F-E417-42CC-BD6B-2AB353A8915A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f0a2cf77b174e42853c03d75a923ff685e9de7","datavalue":{"value":{"entity-type":"item","numeric-id":2721200,"id":"Q2721200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$395D94CD-26CB-4894-AC75-3648EC335691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9636a73b754cd6072bad3d3f034217fb03c2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3406690,"id":"Q3406690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$02702B83-B2D2-42EA-9DB5-A9FE51D24333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011fd0dc657f95a5f080525666aa54d66a669d5a","datavalue":{"value":{"entity-type":"item","numeric-id":3086939,"id":"Q3086939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$092F09C3-3EB7-4DF2-A369-340C734D01A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78050cc02c5f875745fc1ec00d777109eedadaba","datavalue":{"value":{"entity-type":"item","numeric-id":1138008,"id":"Q1138008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$FE772A85-958D-4A16-BE0E-2D1878B2A0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60eea28edfed7e1c618a79fd16007e8ab860324","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$C87F718E-42AC-41E2-88FE-B65B9B867D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be1f4182e5ee541d75600c8cc7a8798b7ca4dbcb","datavalue":{"value":{"entity-type":"item","numeric-id":1404389,"id":"Q1404389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$21545ACB-0DAE-40D7-8A7B-201B16EB4787","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":"Q495844$49DCAB83-98DE-4ECB-9A84-0CA8836093C8","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":"Q495844$24CA92D5-EA74-4283-9202-36F96CF78368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5aabcec04ea68cd3492777e2e271d92d3e496d1","datavalue":{"value":{"entity-type":"item","numeric-id":4052120,"id":"Q4052120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$54A2FB53-BE49-47A7-8B8C-EFBBEC4753D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37959abe365ef80037a753de9cc6df3d3f8fa2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3884093,"id":"Q3884093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$0805305D-59C5-4CE3-8179-E7A590222011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a40b964fcb157a25c533b4d3df94445dcd3f29","datavalue":{"value":{"entity-type":"item","numeric-id":3605557,"id":"Q3605557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$B9C9A451-B8DC-43C3-964D-21C573F65ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19259581b483b4d9f7139fc51ccb474bac80cc23","datavalue":{"value":{"entity-type":"item","numeric-id":763318,"id":"Q763318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$B45DDAAA-8A05-4554-831E-12EE5A489FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afa30a9b8eac202ab30f84481370f60ff4f5fac","datavalue":{"value":{"entity-type":"item","numeric-id":1272827,"id":"Q1272827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q495844$6D387AD8-B1E1-438D-9336-1C3970D1B462","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8487b3eb47bcbca5a51c310b2daf20df45ac1618","datavalue":{"value":"10.1007/S11225-014-9596-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q495844$E5B4E8FF-1FC0-456D-9FFA-14380AC5721F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f72cae399e5e37c9ea9252cbcc122660d90e6e","datavalue":{"value":{"entity-type":"item","numeric-id":763323,"id":"Q763323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5273bb771b9dfa0a14cbf7f8f4b990a2317eee0","datavalue":{"value":{"amount":"+0.8416759371757507","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":"Q495844$0C1797E5-68A6-4A00-849F-02DEA9810FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079a5545608790ba99c8fe6a8953366e9f7a5ea1","datavalue":{"value":{"entity-type":"item","numeric-id":2352456,"id":"Q2352456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b90f3cd3820e1e56d6e43bc51bfb0e40109bbba","datavalue":{"value":{"amount":"+0.8388370275497437","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":"Q495844$BC469548-B208-4950-93EC-261871C5CECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed2a7e5bc5fb1722e7010cffa93b58804e39960","datavalue":{"value":{"entity-type":"item","numeric-id":514513,"id":"Q514513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d185af808d7239ec4228465ec5be6f50e714e28","datavalue":{"value":{"amount":"+0.780146598815918","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":"Q495844$1D7116B7-007C-48A2-8F1C-A56853A22DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1d9d84e26888855d0a672f28bf8ba74ed36b30f","datavalue":{"value":{"entity-type":"item","numeric-id":3688377,"id":"Q3688377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37316a01a8c212b9467318bdd55cdd2bf05d088f","datavalue":{"value":{"amount":"+0.7771567106246948","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":"Q495844$385F4C06-606B-480D-9F79-8D2671D5A417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5af3d6ffb19ffd468ac2d7b417ff4d927475a072","datavalue":{"value":{"entity-type":"item","numeric-id":5283965,"id":"Q5283965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea4489b108c4e7a07bcdcb0b379b1cddb978a3f","datavalue":{"value":{"amount":"+0.7738456130027771","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":"Q495844$65450CC7-5C05-43C0-B027-9550049D80C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:495844","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:495844"}}}}}