{"entities":{"Q4644597":{"pageid":6674178,"ns":120,"title":"Item:Q4644597","lastrevid":41673632,"modified":"2025-05-07T01:43:03Z","type":"item","id":"Q4644597","labels":{"en":{"language":"en","value":"Base-extension semantics for intuitionistic sentential logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6998032"}},"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":"Q4644597$22034913-2F7B-42FF-8365-B57D88717FDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76c74cc9ac1f824cadb8385c99eeb357d6cb2e94","datavalue":{"value":{"text":"Base-extension semantics for intuitionistic sentential logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644597$CEBEC137-1781-4532-AE87-AA98BB6749BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5948ecc7ff7dd079ddb2470881fe8b99093e49a6","datavalue":{"value":"1405.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644597$FB6A6A0D-927B-4084-A8D7-C85865B10F34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"781421375c558c7411a54df0fd22d89af29c51aa","datavalue":{"value":{"entity-type":"item","numeric-id":383067,"id":"Q383067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644597$BBF0A051-E1EF-4E47-B4D6-A1CFF41EE2AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644597$BBD298D8-4C98-463C-B8F7-3165990D57A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3189796a6e25998f85d11af15a854e4e25b1985d","datavalue":{"value":"https://semanticscholar.org/paper/3bb39332e00227ec927bda08ff1336a4751de5b3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644597$EEA70614-B1B5-419E-9C51-5DE7CDB5D0AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644597$C4C44A4F-6138-45EB-A1AA-2D0D4631C9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644597$43BFE0B6-F1D4-4D0F-B3D6-A095CF8141F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"044d950f784febfaa79ff0d6f1908ae54e3597c7","datavalue":{"value":"6998032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644597$CECF767E-EA19-4867-9929-7249DA111752","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1149f19db7b7e4dc3d0ed1a0a31645437267fff0","datavalue":{"value":"base-extension semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644597$1FE8E204-CBBE-40FE-B397-1DEB867F71E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644597$BDDE1EA8-9C53-4E15-AA7B-22A45D5E08A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644597$52352207-D14D-447D-9F38-96AC82F0D7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644597$625A8E03-FDA6-4708-ABC7-A48C28227E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58a0c383a387b1f7bf6a0f5a1f896244b5448863","datavalue":{"value":"disjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644597$241AE22A-81BC-479F-B3FE-5E62B196ABF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e21d64a26d04e357687da822fb23f3d1f57a7134","datavalue":{"value":"hypothetical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644597$052F65A8-AC34-44C7-A561-7A17926A6E02","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":"Q4644597$1C18B73E-AD3B-42CA-9182-EF78D37CB8EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4ce0d889d261d646c880d3124f76d16baa3d462","datavalue":{"value":"W2223596223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644597$F2403613-F1F8-4381-8F07-58316161FE19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c3267f33ee7582e620bc26db15e1c3484dc663b","datavalue":{"value":"10.1093/JIGPAL/JZV021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644597$A5B243A0-37E8-406D-8A4F-DACD60A57B85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644597$35E3120B-CD83-45FF-BCB3-5C88206AB56B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fc3780500b6af5f82bd1ab567ceff826d1f561","datavalue":{"value":{"entity-type":"item","numeric-id":5184886,"id":"Q5184886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2ab588db1d983ad4952ecb40cac22a81576c8f","datavalue":{"value":{"amount":"+0.9085367","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":"Q4644597$A087D898-73E6-465B-90AF-73F38DDD5C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ffd3255c50569f31c6d8e8a4c385c0bc099a4d8","datavalue":{"value":{"entity-type":"item","numeric-id":3224007,"id":"Q3224007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72bb7ad21ab1b1849016ffa74d327d390867912b","datavalue":{"value":{"amount":"+0.9026384","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":"Q4644597$4C78A02E-C686-49E5-8F44-89DF0B12AA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2cb3e2a1ab12c8c2843eb69f967b35a6b8245b","datavalue":{"value":{"entity-type":"item","numeric-id":5413327,"id":"Q5413327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7fa5eebf4badcdf92af3144b4fc585a26ec51bb","datavalue":{"value":{"amount":"+0.8915621","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":"Q4644597$088D1B9B-5DB0-4B00-B4FD-194DE249A812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a08c31ef85d04b2238be7649d89f4e2e16f1dea","datavalue":{"value":{"entity-type":"item","numeric-id":4934559,"id":"Q4934559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee8cf0380d40542aade056e2c092bc25dd58e9c","datavalue":{"value":{"amount":"+0.8897848","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":"Q4644597$FEC20C29-27BC-42F4-AE7F-6FEC89779402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7de76325e8ee7d438443eff10240d360d3168f1","datavalue":{"value":{"entity-type":"item","numeric-id":2345400,"id":"Q2345400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f866598e80029e1ad1a08c78e47273f82c15f372","datavalue":{"value":{"amount":"+0.88934195","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":"Q4644597$88C4B6AA-DB94-43DB-96A6-BA5221555B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0005a99c2fb34523cb249f79984559ef4f9c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4830367,"id":"Q4830367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"053119447868e84b9a47ab0bdf9f797aae3b167a","datavalue":{"value":{"amount":"+0.8875796","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":"Q4644597$C4F7225E-8EE8-4F59-9CEF-6EFAF0D6742C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e74ec608941936af4049ccb39a2a0565a93a0e6","datavalue":{"value":{"entity-type":"item","numeric-id":1740610,"id":"Q1740610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f6d6ddc81135cbb9effc959962966c4f5b133c","datavalue":{"value":{"amount":"+0.88716865","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":"Q4644597$8C2A0744-044D-40CF-B923-92FF62D7DE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364643b58367198f9b03efd825af0b7e13fa00eb","datavalue":{"value":{"entity-type":"item","numeric-id":1820768,"id":"Q1820768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55890203991c44e70752ca70aaabb5d80b827861","datavalue":{"value":{"amount":"+0.88629025","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":"Q4644597$C12FEE5D-2AC2-40A4-86BF-FF0D6E89C4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5867bcc381a8b8ffae92c9e19852dd956dc3c69e","datavalue":{"value":{"entity-type":"item","numeric-id":2133458,"id":"Q2133458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0f677dfd3598713df8f07f519a785fa5b2e003","datavalue":{"value":{"amount":"+0.88571346","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":"Q4644597$C40DEF32-F95D-48B4-BDAD-05E8EBA79766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a180d6635d0f9c4652beacd9327e936bf8a3f12","datavalue":{"value":{"entity-type":"item","numeric-id":5365520,"id":"Q5365520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01bab462fbbb307ecb0838a918a67b124d23f9c","datavalue":{"value":{"amount":"+0.8840516","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":"Q4644597$26172DDF-4658-4795-AE51-7A7DBA4629BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644597","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644597"}}}}}