{"entities":{"Q3520242":{"pageid":5550146,"ns":120,"title":"Item:Q3520242","lastrevid":87326759,"modified":"2026-06-04T11:24:20Z","type":"item","id":"Q3520242","labels":{"en":{"language":"en","value":"Pedagogical Second-order Propositional Calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312596"}},"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":"Q3520242$EA750F5F-CC42-4689-A9DA-47A44FF2ECEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6009cb4342b9fa427c2f9505dcfb724be2586096","datavalue":{"value":{"text":"Pedagogical Second-order Propositional Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3520242$8605ED3B-C885-4947-A0C3-87B289C3B655","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4f4f1f65bace9e1825cbc476c152acff3df82b5","datavalue":{"value":"1155.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520242$AF58E3F4-D2E6-4D3A-B990-99C60CA989B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c4e4ec60c79ca2be79b8bf03698ab493279a70e","datavalue":{"value":{"entity-type":"item","numeric-id":688723,"id":"Q688723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520242$21A658DB-8F1A-4851-A042-6B85E7FC6961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"122ace3b6cba703fa5a071a830762e00d52497f6","datavalue":{"value":{"entity-type":"item","numeric-id":732006,"id":"Q732006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520242$3D225E09-FE19-435E-9C40-2E3A9166018D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ef753f84a9df60c660e966b6beebb9738a52b5d","datavalue":{"value":{"time":"+2008-08-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":"Q3520242$E1A1CD83-2DAF-49DB-B3A6-0725E2819F21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520242$DEC8981E-07F7-4554-8391-00F775D497D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520242$68B27A34-659D-4D9A-8569-004B44137172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520242$4612B176-C564-49B8-83A3-411E29EC33A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520242$F8F3F172-5431-43E8-B0C3-AA721D44790F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bed2bf6cf0f4c30ea396fee5c1dc021bfedcc7b","datavalue":{"value":"5312596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520242$223584B0-B460-4A91-A6D9-D6525917042A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520242$9817FBF2-358F-4A89-8BA9-0E56D9361966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb7077fd190b4e0976efc034015a3e1e4379b1ce","datavalue":{"value":"negationless mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520242$EFA209D6-4E25-4E02-BE42-0C0F49B7FF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520242$B47EB20A-0D3C-4E17-85ED-A3B623322BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e80767807aa54bf509951ec4e81886d69c3b216d","datavalue":{"value":"typed \\({\\lambda}\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520242$8ABDD117-0A7E-4459-9FFF-D41A0508E081","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":"Q3520242$01836D89-9F1A-4EF2-8663-956E42C61F5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"105562a83a022bd841303c141b6741c907183d38","datavalue":{"value":"https://doi.org/10.1093/logcom/exn001","type":"string"},"datatype":"url"},"type":"statement","id":"Q3520242$3036C628-173D-4EF1-B914-EB5497426132","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2e34687b84c7b686ab31fa412f147cc94d3e3ea","datavalue":{"value":"W2149552919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520242$A33EDD4D-B51B-4B55-8999-717A2EFC35CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b2d20bca6ea94d00a5297c9dcd0e635d3eabb4c","datavalue":{"value":"10.1093/LOGCOM/EXN001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520242$32F45E48-2ADC-46AA-B866-6EF5B66F2BE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520242$CE43210F-EB40-41A6-8E8E-F3D6BA0F3F66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb738c53204e81318803da94a8f152e4300b3d9","datavalue":{"value":{"entity-type":"item","numeric-id":2996331,"id":"Q2996331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"260d0852316c1cd98e24b82b68be5d4a5a9e33ab","datavalue":{"value":{"amount":"+0.9113211","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":"Q3520242$815C5FCE-0EB3-43F6-9758-75D55A96AC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1aea8517ddb5b7ed3634277fc635559dbb5b9dd","datavalue":{"value":{"entity-type":"item","numeric-id":732007,"id":"Q732007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b90706ddc632355334677c676a39e1bbab414a1","datavalue":{"value":{"amount":"+0.89991474","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":"Q3520242$01C262B3-766C-400A-93FD-8EB15D704B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e703f2bb542fa3d548921ab0230928ae2de1fe","datavalue":{"value":{"entity-type":"item","numeric-id":4459601,"id":"Q4459601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d17a09cd942c8c9415357a0b97959bf795bdd3c1","datavalue":{"value":{"amount":"+0.89346695","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":"Q3520242$98388EE0-B356-47D1-A086-76BB81C156A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab5bc4e7ab5e744d3041a47d0969255471ea5dc","datavalue":{"value":{"entity-type":"item","numeric-id":2499295,"id":"Q2499295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"551f5896347ed174656e32fbc98e8b998fa89f6a","datavalue":{"value":{"amount":"+0.886992","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":"Q3520242$9C07871E-A42E-4D24-A798-57DCC087FEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df18e32cb866610bafd8f3cf31f6ee81c97a6bae","datavalue":{"value":{"entity-type":"item","numeric-id":466445,"id":"Q466445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d42f52eef52d6482f1c3707f8a42dd00c48a012","datavalue":{"value":{"amount":"+0.8867454","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":"Q3520242$67CDEC5C-9576-4105-B9FB-1A066F8F25E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d9dcb91b23bd12df086c4bb96c1b130da3b384","datavalue":{"value":{"entity-type":"item","numeric-id":4523459,"id":"Q4523459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e79e462fda5ef5531c19ada6b25f3841a8ceff","datavalue":{"value":{"amount":"+0.88516855","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":"Q3520242$B3DAF3D5-3DC7-4879-88DC-C734654E3EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a5459415acc6ab60a7d5aefc6930c4ba2f9a348","datavalue":{"value":{"entity-type":"item","numeric-id":4328795,"id":"Q4328795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed2b67e46a40247ddea6d3afdd84612a763ecf1","datavalue":{"value":{"amount":"+0.8836199","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":"Q3520242$3FECDA77-AA9F-4886-8593-9FC2CE2F55B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1719b3e43a422eb0da04125791729778cfe78414","datavalue":{"value":{"entity-type":"item","numeric-id":3586049,"id":"Q3586049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb80dd3df37af2410dbdece65f0d4bfb1d8ba2c8","datavalue":{"value":{"amount":"+0.8825582","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":"Q3520242$579292ED-388E-4278-8315-E2F5B399CDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"707db1981fe6eab7fa775f0479ebe8e86ba0313d","datavalue":{"value":{"entity-type":"item","numeric-id":4428872,"id":"Q4428872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1317c32519eac65fd45521098fe38da77a39cc5","datavalue":{"value":{"amount":"+0.8818444","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":"Q3520242$EAD8C1B2-8F08-4F59-AF9E-B5CA9DF10E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f628b48803ccaf43238230d07a1fbbccec6cf4","datavalue":{"value":{"entity-type":"item","numeric-id":1924326,"id":"Q1924326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64b41defb1d11de956f9393725cecf1cd32cd7f","datavalue":{"value":{"amount":"+0.8817961","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":"Q3520242$715E2275-5979-4D6D-90F3-056153D72D2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pedagogical Second-order Propositional Calculi","badges":[]}}}}}