{"entities":{"Q5215503":{"pageid":7245073,"ns":120,"title":"Item:Q5215503","lastrevid":39810775,"modified":"2025-01-27T17:47:00Z","type":"item","id":"Q5215503","labels":{"en":{"language":"en","value":"Remarks on Stable Formulas in Intuitionistic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7166055"}},"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":"Q5215503$75186145-1D4A-40E3-AD61-B69669F89C92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f6a199d375b49fe76fcaab4d32948887dc67146","datavalue":{"value":{"text":"Remarks on Stable Formulas in Intuitionistic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5215503$5F68D342-AAB3-47C7-BB07-555D22D33274","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7f428ab00e50cef4f7935655a8319a965d88c08","datavalue":{"value":"1453.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215503$CE7BE727-18B3-4B83-BAA3-ACDB5B2B91EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ad4e7982c0eab78a8fa6e1502fba992efcfec8d","datavalue":{"value":"10.12775/LLP.2018.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215503$7A2BE9AF-B725-46FE-B08E-867B2123E5DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0f73a265893792f659b86cbbcd3535bfad35112","datavalue":{"value":{"entity-type":"item","numeric-id":246769,"id":"Q246769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215503$E92A3E6E-A95D-4FE4-9976-BB2E99E36212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4eea75173707b947671ff27e923ef030581f1d3","datavalue":{"value":{"entity-type":"item","numeric-id":5032027,"id":"Q5032027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215503$DD2AE3EB-B342-4E8A-95BD-57A4B3C08F7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215503$5BC03910-210B-4393-B44B-EB62C2F9CBBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b6e2eeedf8e55f06b00a7b5e5c6475d26222915","datavalue":{"value":{"time":"+2020-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5215503$3D25E0AD-FFA2-46CD-8251-16C21E3E22F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215503$D95D39A7-C39B-4887-86AA-22417B11C0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215503$3D744C77-D9AE-4758-B9BD-AEA194483985","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f72f13a1905ab4fad1f1bc5b5a3a994d1a90508f","datavalue":{"value":"7166055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215503$101C13C6-9442-4BC8-8B2A-C2E15821328C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215503$BC0E2DE0-4B7C-463A-8DCB-796540E3FC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215503$91676EE3-E487-4DDF-9AB7-BC94D0B31DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1b4f715dca8fe71bd8f979ca4f5747cb1808547","datavalue":{"value":"subframe logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215503$00CB5C6F-3D0F-4A04-AB99-B1B84AC6A591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"760349e65279eb0bd705c0ae0ce7dc2ada38417d","datavalue":{"value":"monotonic maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215503$FACF4B86-01C4-42F9-B591-F430CCF5C864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b33ca728f1272a72a02fd6d6db6f9b007341f9a","datavalue":{"value":"stable logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215503$226C2099-0D74-4BB8-849D-840D102B3303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10e50043caa31854dc8b58b0a7dd3fb00047b296","datavalue":{"value":"uniform interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5215503$02620F11-BFC8-429A-88A7-3E4C3F477E03","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":"Q5215503$7181A0FD-65FD-4F5D-A93D-AAEC7F1792A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"792fef42b85a3ec25283a772a91cc556fe1ff056","datavalue":{"value":{"entity-type":"item","numeric-id":509602,"id":"Q509602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215503$9336F94C-157F-472C-89F0-ED5F8F73197C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4014c49296c42b6742ff0cf22e5d825ad13145","datavalue":{"value":{"entity-type":"item","numeric-id":1782236,"id":"Q1782236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215503$BD9DE666-1B44-420A-8F47-8F55C602A793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea5f9d9fb9b9d6a750290fe7f7b2898d938f52b","datavalue":{"value":{"entity-type":"item","numeric-id":4835534,"id":"Q4835534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215503$8FFF31C5-D34E-4043-A0A0-A5F5BD24EFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61348cbc7897006cbf43596adc1b3a59cad5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215503$7011AFC4-E311-49F5-8148-9B23180C42C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3422a46904c0317ecd3a4dbc57c1bc180165ca8","datavalue":{"value":{"entity-type":"item","numeric-id":920079,"id":"Q920079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215503$F5987E1D-0D4D-4559-A984-93CD41D76C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c84bd6b5a534f67b6b7d4c37a09d43bc1c1517c9","datavalue":{"value":{"entity-type":"item","numeric-id":4894720,"id":"Q4894720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5215503$E86CBA85-1A51-4598-AD51-796B250E00FD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"144c7c7c385b50c656bb3050825be8d212a616a2","datavalue":{"value":"Q128918973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5215503$03A6C679-2F86-4441-8ACB-3D9CDA765812","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2142d54ec6bd34ea6158405c365882b6ed200bac","datavalue":{"value":{"entity-type":"item","numeric-id":1782236,"id":"Q1782236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508f084593595dfa0598939e8b88a0cb7a76a1e7","datavalue":{"value":{"amount":"+0.8426395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5215503$CB763D0F-E941-46D4-ACA1-3D28DE758C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d49424c2c9ebc9041688ba5d57f936aff5250fa9","datavalue":{"value":{"entity-type":"item","numeric-id":5224694,"id":"Q5224694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8de1eacbd41dfe614b988086162af808164cdb63","datavalue":{"value":{"amount":"+0.8270761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5215503$6C7878CD-542F-4EB1-B3D8-53B74344233C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1796a605fb60696b26a48ca67392177a7ab2a751","datavalue":{"value":{"entity-type":"item","numeric-id":5858134,"id":"Q5858134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f509dc0fadd7257ad7c5bd30c601d4d3b85d542e","datavalue":{"value":{"amount":"+0.8164202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5215503$5E5B3E09-AC3D-471E-B7C9-E449B2807C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dce7c84e782719acf493847535fb127d67b1a5b","datavalue":{"value":{"entity-type":"item","numeric-id":761445,"id":"Q761445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e80b8d993e681bd35b08291ae0811a02d5ec1b6","datavalue":{"value":{"amount":"+0.6559404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5215503$F6A9CEBB-E260-41A8-AC9B-F75E5B80C98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a545541794e43a0ccc19ca2c8ec26408e47fb0c3","datavalue":{"value":{"entity-type":"item","numeric-id":4893674,"id":"Q4893674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e103cd12109a4c3c40307bc4b320f1f4018e65","datavalue":{"value":{"amount":"+0.6556795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5215503$19070B5F-4630-4D0B-B163-50E12CFD665A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c61314fd202ada89535bf8f031a291ef172369f9","datavalue":{"value":{"entity-type":"item","numeric-id":4241052,"id":"Q4241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b9579421a535815e29224b8d290b57d77aba3df","datavalue":{"value":{"amount":"+0.6473989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5215503$75F39315-B336-45CC-AED3-8AFD7D6F3977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5c5cc73a69f525cf2ebc68b8cf5e328113b36bd","datavalue":{"value":{"entity-type":"item","numeric-id":5354805,"id":"Q5354805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96bd340e5e03899467fc5513ceaeb504800350c","datavalue":{"value":{"amount":"+0.6451706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5215503$CE7E6BAA-D17A-4733-A2BD-32224DD44306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3187da52d657f3d21f3a7fbbada305ab2d80e756","datavalue":{"value":{"entity-type":"item","numeric-id":985006,"id":"Q985006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"954907b21b0a6342383ef7176f864c9ca6bbcb04","datavalue":{"value":{"amount":"+0.6437487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5215503$C644CF78-78F4-4F2C-88AE-C5EADEAAF16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f7f890aa798cd6e0466741dfcb30f0be9af264","datavalue":{"value":{"entity-type":"item","numeric-id":1102267,"id":"Q1102267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5dbeff469244e34fd0c745e5f0f6bfc996896d1","datavalue":{"value":{"amount":"+0.6419696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5215503$BD88CB6B-14A2-4CF9-B47F-420AC85F6BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"148b6424623c0f8a98bea0093bb943ba0d3968cc","datavalue":{"value":{"entity-type":"item","numeric-id":6111083,"id":"Q6111083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4577026cf95423e3effd2f6578d7e4087751d8f1","datavalue":{"value":{"amount":"+0.640757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5215503$6100B90B-16DC-43AB-B0FE-81A9B6BE7642","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5215503","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5215503"}}}}}