{"entities":{"Q3812205":{"pageid":5842111,"ns":120,"title":"Item:Q3812205","lastrevid":53537654,"modified":"2026-01-25T05:13:08Z","type":"item","id":"Q3812205","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4081512"}},"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":"Q3812205$EFE1BC68-767B-4293-89E5-C3E34AD00B28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"853b303b8fcee320c8e5b90222df6c67c64cd135","datavalue":{"value":"0662.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812205$FD45B8FA-C30B-41EC-B9F3-44C8778224B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ab027706a4e5bc7beca9796c59bde7a3b309dc4","datavalue":{"value":{"entity-type":"item","numeric-id":1091382,"id":"Q1091382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3812205$8AE0BA45-8F03-4159-A091-2C73D075DA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d63d74a5a6e2695e6477a407b81c4f2bd4597ca","datavalue":{"value":{"entity-type":"item","numeric-id":1055757,"id":"Q1055757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3812205$AB44469E-3E87-4DDF-A4C4-9959793C6E8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3812205$F7851ECF-DA39-4F7C-88B2-5399B3DC38D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812205$ECBFF334-AE34-42C5-BE68-52475C51BA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812205$930240F4-EFF0-4990-9C7B-49754B7274CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f849438c82b142ce47a6fed457868027257581a","datavalue":{"value":"4081512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812205$BAB5E6BC-278C-4F24-BB4B-F5C4A91C0543","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5146dd08dfb33e7c2210b7c97869503c2d37ddf0","datavalue":{"value":"Sheffer property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812205$D70FC85B-D582-4AED-B3F1-2A4511784AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812205$6F66AAF3-822D-491F-AFA9-873F168B4EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812205$5C847DA5-F913-4A65-83C9-FEE44AC97843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a59e5500877f3c7b4ae679b4ea3d4fe42bea93","datavalue":{"value":"intuitionistic completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812205$A0E68A01-E883-463D-B524-9238E6404105","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":"Q3812205$D18B4B92-AABA-4E0E-9CB9-C0AC96B3556C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0f695abcc7b52f942c85ff6747566b0577cfe8","datavalue":{"value":{"entity-type":"item","numeric-id":2915893,"id":"Q2915893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2207d8944379add8985d737e6fdfd67194dadfa5","datavalue":{"value":{"amount":"+0.9122332","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":"Q3812205$566A3999-E85B-450B-AD5D-E286AB5D87A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7711afdf877725af8e431071b470ffbd337d1f93","datavalue":{"value":{"entity-type":"item","numeric-id":3533140,"id":"Q3533140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f189aeb656dae4e24911b9abc88635d4c5991b8","datavalue":{"value":{"amount":"+0.9057873","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":"Q3812205$AC2A482D-7B53-456F-AB89-CB75E8464CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f05c6b792e8a989d90b0a0e517ac9ccda51d60b","datavalue":{"value":{"entity-type":"item","numeric-id":4451650,"id":"Q4451650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b8efb679c5326e894851d0dac1350e61f4b5f3","datavalue":{"value":{"amount":"+0.9009739","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":"Q3812205$48DC65A9-9801-411C-BA11-AE4D497C11FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93ee4cd51ebaea685cf2c4022901efe8fddfaca8","datavalue":{"value":{"entity-type":"item","numeric-id":5446293,"id":"Q5446293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b834ea532f3c03c5588e5da17008d7087cef63b6","datavalue":{"value":{"amount":"+0.8936784","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":"Q3812205$8FFC6CED-70EC-47B9-880A-FE44D03B70B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62e91e7a087c922ca357193cceae70d4687843a4","datavalue":{"value":{"entity-type":"item","numeric-id":2713113,"id":"Q2713113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32c770574761f82edb66c735835fdf2c809fe9cb","datavalue":{"value":{"amount":"+0.89211667","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":"Q3812205$339F103E-EBB6-45F8-A050-9102CFCA016A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d2caeffbead1231f1c502582d110a26f551ebee","datavalue":{"value":{"entity-type":"item","numeric-id":1593940,"id":"Q1593940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74bf1fe4d508541a89d40de0cf3df638cdf8af6","datavalue":{"value":{"amount":"+0.8867438","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":"Q3812205$B587FE09-2B1E-4E3F-B83A-30B4E5B9BF4C","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":"c74d01aa488e9f2520262c56613e52153772ca93","datavalue":{"value":{"amount":"+0.88487935","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":"Q3812205$DACEE31E-906F-430F-8AB0-62ABFD82D308","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":"3fabaf6d77e6e69a74ddb204611fb42e7d8e1267","datavalue":{"value":{"amount":"+0.8819852","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":"Q3812205$B13A237C-E59D-4F6F-8B43-CFAB2F59C3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feab4987655ee8ff831358259907c0909b656225","datavalue":{"value":{"entity-type":"item","numeric-id":3373957,"id":"Q3373957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"194d2593327c9ed4fc655f0aa6efcd94132399da","datavalue":{"value":{"amount":"+0.88184345","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":"Q3812205$BF43B531-9278-4B24-B674-5515732DEA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0acd65abe5e61d84d9cd0fde83cf7ad8f34dd0a8","datavalue":{"value":{"entity-type":"item","numeric-id":4455251,"id":"Q4455251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5150d516eb7807f10f66b33b1dffe661b827d4d","datavalue":{"value":{"amount":"+0.88103294","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":"Q3812205$B9403F68-289A-4D39-AB50-AD64CA83DF9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3812205","badges":[]}}}}}