{"entities":{"Q4370352":{"pageid":6399951,"ns":120,"title":"Item:Q4370352","lastrevid":41817464,"modified":"2025-05-08T16:55:53Z","type":"item","id":"Q4370352","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1104448"}},"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":"Q4370352$40DFCD63-2279-49D7-BF5B-A2BEB99C168C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97b98ce5845ad1420daa395bba2027436e86729d","datavalue":{"value":"0890.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370352$D1A9063E-396E-4A6B-AF50-D885AED7B6A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"647c63bfabe2cc5aa72008693495435e80f88915","datavalue":{"value":{"entity-type":"item","numeric-id":402116,"id":"Q402116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4370352$91123A34-2414-4E64-B9BC-215D28220D2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f680ab37822a66c306de184badf1c6b2f8f85485","datavalue":{"value":{"time":"+1998-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4370352$AEF75F11-D77E-4E22-9AF4-60F17CCA1E53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370352$ADD180A7-5B48-4AEB-93F7-3E21617007A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370352$939B8856-3526-494A-B4BE-8AD66605C0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370352$40267A9B-BB80-4478-AE90-AC3809C38B37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"184cb21dd0f892b12489f2c87bc73217bfd768db","datavalue":{"value":"1104448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370352$8A431DF6-C704-4AE3-9E0E-1C6A1579C036","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3d855058cd0bf9e0b654a9d7d73edc478bb262","datavalue":{"value":"natural deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370352$9CB5BE8C-18DC-493D-B384-0E18DBD506EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370352$8F06F642-6317-4131-B55C-6CD8358E6C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4640f7d21b781549b81e9a8ce0ff834130ca9bea","datavalue":{"value":"computational properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370352$94FB3C75-9571-4769-9573-4B293DF88175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31589d8cfa86cd7ffa3424000720650e62f95570","datavalue":{"value":"call-by-value strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370352$E5B16E18-4658-473B-8317-40330AA342EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"121baa252e7d119914bbfc62127ff3c8598a03bd","datavalue":{"value":"classical provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370352$EA6B7AEF-189B-4F6B-BC03-307AAB9899E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f64a23878402d21a7bc9c32da5b44608ab265b60","datavalue":{"value":"Peirce's law","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370352$D299D6B4-8B7B-4168-8D10-4445D97D3D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370352$2FF7A671-C1A8-4922-B1F8-B7403AB7F8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7547b0f63b18775f2a3e5101db1500e9847e1299","datavalue":{"value":"CPS-translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370352$1BE837BE-2363-4979-8484-62EC0ABA2BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac47eb3a6f7d5c46e51e9821471a4eb2ed840673","datavalue":{"value":"logical inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370352$F10EDD9F-0FC2-4338-B5C1-C0E9B082039B","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":"Q4370352$A715592C-C32D-46F6-A01C-CBB8D456E803","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f4795c968486eee82bdf9d936de14803eae0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3654060,"id":"Q3654060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd188f2f6dc5c632b2b4487f01e79fa047779d6","datavalue":{"value":{"amount":"+0.8811095","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":"Q4370352$816BCE52-C2F3-4B35-953E-B6421499AFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464bb74e337310f8f27da1cd4b9b07c5093d5e16","datavalue":{"value":{"entity-type":"item","numeric-id":5551458,"id":"Q5551458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a253e64a1acc16ace54a1f95ae861f543e7254","datavalue":{"value":{"amount":"+0.8760777","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":"Q4370352$5EF3D902-3194-40C0-BAD2-3E55A71C940B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acbd36df9a97bd100338aed48371df5cfa5b301a","datavalue":{"value":{"entity-type":"item","numeric-id":2500813,"id":"Q2500813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5ffb81d1cf53358fd4ddd54f15dd29635030302","datavalue":{"value":{"amount":"+0.8723147","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":"Q4370352$7205AFDC-3D9B-4BA7-915A-B251E23C64E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462dfb9b688feeb0ec5aac247b163041151dce02","datavalue":{"value":{"entity-type":"item","numeric-id":4858948,"id":"Q4858948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5033d6302e82c8a083325d96fe69c53e10576cfb","datavalue":{"value":{"amount":"+0.868526","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":"Q4370352$7A79D220-3780-4954-B8D2-F17302260AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd5067d651350b5174b9cb2e8d2d411fe7c324f","datavalue":{"value":{"entity-type":"item","numeric-id":5311259,"id":"Q5311259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c2c58237a9a7101f53d45d5307076953bb4cfc","datavalue":{"value":{"amount":"+0.8678998","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":"Q4370352$48087C51-4434-47C2-B3CD-96FEFE299AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40b1c917e05468129eb6bdafc323c26e423c6e76","datavalue":{"value":{"entity-type":"item","numeric-id":1801306,"id":"Q1801306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b1297ca039aab5e2c624bf6dd85138cce88d0db","datavalue":{"value":{"amount":"+0.86414784","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":"Q4370352$578181AC-56B3-41EC-816C-5E45CEFEACE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ecc4cf8da646662c9091b4b2a1e2ea8db47696","datavalue":{"value":{"entity-type":"item","numeric-id":3016126,"id":"Q3016126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd79c1e1746cff5abc5b1c01fe871b8970022071","datavalue":{"value":{"amount":"+0.8631544","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":"Q4370352$D1175169-4B5C-4395-9EED-90FFB5AEB802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e653c6a3446968fd019febeccb6f5e0a749547d","datavalue":{"value":{"entity-type":"item","numeric-id":2757810,"id":"Q2757810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea3ed444fafe9db28eed3a31ed6cf1292f0f838","datavalue":{"value":{"amount":"+0.8590766","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":"Q4370352$B9B150CF-759B-40EE-84FC-0D2A65D48A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2739fbfff016a5e366eac26cb88c1736bd7b8e","datavalue":{"value":{"entity-type":"item","numeric-id":4282613,"id":"Q4282613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"babff1d50db9838cf684d0521ecb092f7ee4e395","datavalue":{"value":{"amount":"+0.8587603","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":"Q4370352$821DD614-BBA0-45CA-B3E4-255031D934BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4370352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4370352"}}}}}