{"entities":{"Q2003246":{"pageid":2013988,"ns":120,"title":"Item:Q2003246","lastrevid":53478272,"modified":"2026-01-25T00:48:52Z","type":"item","id":"Q2003246","labels":{"en":{"language":"en","value":"Recognizability in pre-Heyting and well-composed logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7080942"}},"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":"Q2003246$7F76E048-FA97-4F3B-8882-FDE9A0FFE527","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f6c872f183c3706789462865adecf2e045b0dce","datavalue":{"value":{"text":"Recognizability in pre-Heyting and well-composed logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2003246$5C272D00-62E1-4357-B7E8-68E42EBF68AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8891ae8c332cec7f3b097edad48242dd66590cca","datavalue":{"value":"1432.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003246$904DF751-EE85-4F4C-82D3-E7D87890684C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bc98d936db46c33f702afb90a4de40ed305eaab","datavalue":{"value":{"entity-type":"item","numeric-id":2003245,"id":"Q2003245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003246$189D92A3-D4B7-489E-9E6F-ECE4DE3D89B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003246$B16F9535-A4A5-4F0D-B8AB-AF458F4F658A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"381c566766a63bd118903101d2a1403320bd01ff","datavalue":{"value":{"time":"+2019-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2003246$36F314C6-36CA-4BCC-88AC-1476B9EA2854","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003246$C3DC857E-42F6-4BB5-806B-486D5948AE0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46d9ff7b98928eb867d4b0a2860ba84c6235f9fa","datavalue":{"value":"7080942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003246$32DB9860-3B68-4A9B-9125-40114826BC2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91d54445cd84cdc32fedf222f5fe79de1ccb78d7","datavalue":{"value":"recognizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003246$14A15EA9-F8EC-4751-8D10-C8C819D89D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4ddd4898c9715691b875af4a6e7c651d7752a91","datavalue":{"value":"strong recognizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003246$BB758A73-DD4C-4657-990E-32B5A5AB486B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003246$595D5753-37CC-4721-8C78-D6C3185A9FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b98e2a6721adbf4e66231d2340192edbff3103fa","datavalue":{"value":"pre-Heyting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003246$C49705B3-1D97-4D77-B610-71F8C147D6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7baab1d859d7e82a4d6d1531126dff71b15b81","datavalue":{"value":"Johansson algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003246$4B40BF74-E53E-4115-864B-40E8014ADB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003246$867D6AE2-D071-43C8-8DD4-58732D014D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003246$149908D7-F203-4BB6-A21D-D97433A74C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6d957d91ef03efb279b574e0523c3609dd7cde","datavalue":{"value":"calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2003246$1AD82010-3CC2-4744-8D20-0AC9C8E19D2A","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":"Q2003246$97167A44-E450-472B-9EB0-4C99BF3F8058","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97519485f14ff3cf38765dbb98a31637df888b3e","datavalue":{"value":"https://doi.org/10.33048/semi.2019.16.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q2003246$84CF0837-6CC9-47AB-BF54-2C9E687170C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c17d6ecc91977246ca3830d2ca7c609091f610bd","datavalue":{"value":"W3015191523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003246$911D0CB5-3554-4616-9ED6-A80B2FB94546","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0a4977072d6f8937dcd17ad8c09aaa7c5ff6b1","datavalue":{"value":{"entity-type":"item","numeric-id":887647,"id":"Q887647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003246$06C6FA10-1557-4235-8355-38F3E34C0504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5da709f097e49c406e19317044744e69e67d951","datavalue":{"value":{"entity-type":"item","numeric-id":683376,"id":"Q683376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003246$A5CA9CE6-35AB-4440-B1D9-52465D368370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76ecd91067334967b0d7de67c1bf2a2ecd86ee9","datavalue":{"value":{"entity-type":"item","numeric-id":1703280,"id":"Q1703280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003246$165B4762-C278-4300-A8CF-264FCF89AE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41429a7e8e6ab5eeb3e6d816f59a6b55342f310","datavalue":{"value":{"entity-type":"item","numeric-id":4664638,"id":"Q4664638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003246$DC1A5B78-7F3E-45E3-B86A-7944B76982D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9397b189e714eb83e17a2f5556f745f3105868dc","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003246$41D41870-744D-4231-B93E-4514D18D758B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461665a8cd72ee64c5d5f57cc13f520d4915ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2402134,"id":"Q2402134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003246$0D39D16E-94A4-4F72-AF8A-91ADB8AE11A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03db5bea4c3a2c0b2333f655fd107271ecce9fe0","datavalue":{"value":{"entity-type":"item","numeric-id":4521286,"id":"Q4521286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003246$70536338-6C0F-4090-A6D8-E1DF97F569A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003246$310D9A0E-2D04-43A2-BD7C-CDFE0CB34F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc607fbd1fab85d76c416d6e499ba3d2145f78d9","datavalue":{"value":{"entity-type":"item","numeric-id":385070,"id":"Q385070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003246$A4656608-AB29-4294-8B88-C886F043C874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cfc35f925f6d5c884b1d0d79906d162784c29f","datavalue":{"value":{"entity-type":"item","numeric-id":4451641,"id":"Q4451641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003246$460FB61C-F314-46E8-AF02-EB2170AC7B3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e1e6ed971891a433833c2c176fd7c9027193c91","datavalue":{"value":"10.33048/SEMI.2019.16.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2003246$D62F6063-59A2-4B7F-9B40-8DCCB0E66EC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2003246$9BE63B29-523C-477D-9880-737F088A5C99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ba792d710d46dc21342df20a06aff2465b44f79","datavalue":{"value":{"entity-type":"item","numeric-id":2200986,"id":"Q2200986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4505c9930fe162b707fa2822be8a8f1c25bc654","datavalue":{"value":{"amount":"+0.8865267038345337","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":"Q2003246$6453B783-C3B5-4080-A6E4-0AA24AAB8E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d92707f012fc4c8a7bbeabfddd3d2ae3beb6087","datavalue":{"value":{"entity-type":"item","numeric-id":887647,"id":"Q887647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7fdddd41036963564e20588481538d2ffe9f66","datavalue":{"value":{"amount":"+0.8741356730461121","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":"Q2003246$05988530-C0BA-4AC1-B797-E9B84EC7EF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d987af9dec212e5538dfd6e2d95d52c0d073d19","datavalue":{"value":{"entity-type":"item","numeric-id":1703280,"id":"Q1703280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04126f916168e7051642e7529fd7efd2447d07a2","datavalue":{"value":{"amount":"+0.8124793767929077","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":"Q2003246$D8F62D78-9F7D-48EE-AD0F-1E390C06D346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f79e32583b048caeab5f86f31bfa1114f3193c3","datavalue":{"value":{"entity-type":"item","numeric-id":1642315,"id":"Q1642315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f687a60cafc4c7eb505eeb363644d5a05ea3985","datavalue":{"value":{"amount":"+0.7900917530059814","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":"Q2003246$972E4788-6B87-472D-B021-2B25C3E05152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28b4876a56e69a2952925d517566ad862af5cea3","datavalue":{"value":{"entity-type":"item","numeric-id":1617985,"id":"Q1617985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8eaeeebafa5e06ba4342019807af7b8f8c44e2","datavalue":{"value":{"amount":"+0.735129714012146","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":"Q2003246$0F4C68C4-F86B-4503-82F2-675A5951A5FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2003246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2003246"}}}}}