{"entities":{"Q5427794":{"pageid":7457368,"ns":120,"title":"Item:Q5427794","lastrevid":101136179,"modified":"2026-06-05T23:58:06Z","type":"item","id":"Q5427794","labels":{"en":{"language":"en","value":"Pandora: A Reasoning Toolbox using Natural Deduction Style"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5214636"}},"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":"Q5427794$5EA76B59-BAD7-46B4-81C4-DE165F466B60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1f3b046d70dd7dec5d233fe10fd8c8dd61c5513","datavalue":{"value":{"text":"Pandora: A Reasoning Toolbox using Natural Deduction Style","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5427794$806FFB44-603A-4908-A5F3-D8A1EC365B41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5046ad1b41fd297b593373f88da2a9e8d6ff02d","datavalue":{"value":"1127.03300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427794$35AD7380-4580-4179-8E35-3130BE88028A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0394f40c65c304c629babf424513df2d4c2d163e","datavalue":{"value":{"entity-type":"item","numeric-id":2900539,"id":"Q2900539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5427794$B45EF517-0F92-409A-BA75-0B7F0C38FAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b8a4d4a85553444921ab67d1b3a9b4ad44b99cd","datavalue":{"value":{"entity-type":"item","numeric-id":5427793,"id":"Q5427793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5427794$0ADA25D4-FD06-4D69-922F-D9B222D02108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb6c7004fc536fad03d07451c8142aa101f1c3dd","datavalue":{"value":{"entity-type":"item","numeric-id":2324212,"id":"Q2324212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5427794$02791F50-657E-4452-AF90-B237FB1854A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83494b9ab1842cdcc26b2ef852f144a8f08ae352","datavalue":{"value":{"entity-type":"item","numeric-id":324689,"id":"Q324689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5427794$AB49FDE0-2A0E-4ABC-B4E1-ECCA86EACA9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d3c81716afce7f45572d1eff1ccb9e36c259bf6","datavalue":{"value":{"time":"+2007-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5427794$DD42206E-A91E-416E-A6C5-0174675963C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32e3769b730bd71b0d820bd9b3e3f4f0fe341c3c","datavalue":{"value":"https://semanticscholar.org/paper/a8c7a38a8d0b7402f94e19c9ce2bcb414ed18693","type":"string"},"datatype":"url"},"type":"statement","id":"Q5427794$662267C7-4A6E-4C3F-8722-804680CE3937","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427794$A7930031-B41D-4CFD-8AF2-B5BD09FACFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd2488fa5387264618f9d0753309e41d713621f6","datavalue":{"value":"97U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427794$CBA89E30-69E7-45EF-BE85-C244DF1B91A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cdc6607323b1932e270dcc852c92792416514a3","datavalue":{"value":"97U70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427794$19DD0105-981A-4A96-AF5A-F74970662D70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6012ebf78545d314167ccbc6af0b09b4aa094426","datavalue":{"value":"5214636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427794$4486F5D3-4BC4-4B59-8297-7926C5810214","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427794$CF9B9CDC-248F-47A2-8ED3-9DACAB5D13AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30a5644d9814ba1043f9963695b8fc83c0ef5a70","datavalue":{"value":"Fitch box proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427794$0D683144-D698-4F50-8D34-81AA6C9A2BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427794$26F3217F-15A4-478D-BCAD-696202CD6FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427794$AC9577E3-666A-4659-90C2-A3F8781FAD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d03315480081185908007e49d84429a4e057628","datavalue":{"value":"teaching","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427794$B02C58AD-2FF4-445C-B043-0FC7ACFE7715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ca76faeb672415cff41bbc3ad8454e227be1fa","datavalue":{"value":"learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427794$AA904800-A243-408B-ADAA-C568609A10E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e854c29377036175bff52e9c32ad531d2d04bb3d","datavalue":{"value":"e-learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427794$850F684D-DA0E-4538-8AFA-DE11C4A65867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3300d494d834018bd4caaa8717cf9394d7055b92","datavalue":{"value":"reasoning about programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5427794$6902E869-8CD0-48DA-AE0A-ACFA2AEAE31C","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":"Q5427794$43429D30-673B-4A44-8224-B713B0B9E22A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c7d558c0c4782d905583cccadbff3658e411158","datavalue":{"value":"W2053119509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427794$C0B1985E-51A7-44CC-8902-18EFB11A81F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7344f943b033498b6382a5fcfc86e0381997bd5a","datavalue":{"value":"10.1093/JIGPAL/JZM020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5427794$B52AAC8C-A01B-4D00-9C92-9FFDA817E958","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":"Q5427794$5E19731F-7EE4-45D8-8EF2-BD0874D8BE47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7079c30424d27b7f8c1f7e218dc3fe286210acd9","datavalue":{"value":{"entity-type":"item","numeric-id":5427804,"id":"Q5427804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"976cd47ce131937a7cc5cd35750e8f49fd6a164b","datavalue":{"value":{"amount":"+0.7148952484130859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5427794$D464B3B7-BEB9-4BB4-8A54-C1BA5C0DB8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d791142e1e65a80dacca3a17722b4ad0e5718b","datavalue":{"value":{"entity-type":"item","numeric-id":3696551,"id":"Q3696551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9802ba34d8d437988e9abee34498326451249930","datavalue":{"value":{"amount":"+0.7133628129959106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5427794$3D8457A5-1BE0-4DAC-90A5-84BE48544578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab8385e60b2d92832b7d9f00cb7ee75d33b687c","datavalue":{"value":{"entity-type":"item","numeric-id":4499291,"id":"Q4499291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7543adcfdab6ad73bf0cc0d814bd4c56a4c2ebc6","datavalue":{"value":{"amount":"+0.7069509029388428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5427794$52E94734-BE22-4F07-BA8F-FBDF0D7944EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38e415598554742df8b597e0c7f30c25756f3423","datavalue":{"value":{"entity-type":"item","numeric-id":3637307,"id":"Q3637307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db20b0cb7358e6b8b9f24867f7213d3190cfc923","datavalue":{"value":{"amount":"+0.70503830909729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5427794$5ADB6C2D-7AA7-4B63-B604-6C0CD7941DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ae1c1113de1d9f4710725b0caa639fbfdd9b4a2","datavalue":{"value":{"entity-type":"item","numeric-id":5210814,"id":"Q5210814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76ccc8fd1616c3c05d407c7f5af217578c6de72","datavalue":{"value":{"amount":"+0.6990788578987122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5427794$A2299297-E79B-4925-ABED-ECB643DD08EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pandora: A Reasoning Toolbox using Natural Deduction Style","badges":[]}}}}}