{"entities":{"Q1577339":{"pageid":1588079,"ns":120,"title":"Item:Q1577339","lastrevid":70745688,"modified":"2026-04-13T16:28:22Z","type":"item","id":"Q1577339","labels":{"en":{"language":"en","value":"Normal natural deduction proofs (in classical logic)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1501368"}},"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":"Q1577339$61EF7D78-555C-4521-8667-16FF0620FC2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bf6450b35ca6284abc5b3acd569c1be302890b6","datavalue":{"value":{"text":"Normal natural deduction proofs (in classical logic)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1577339$67FA5A58-8988-42C9-922D-DC2C596619E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"268240f246b78e0fb0d4567e24a51e71cab9ab16","datavalue":{"value":"0954.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577339$ACDF538C-9220-4544-835B-AAE12457BDB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95f113bb8d60b493f24155f4942dae1916e4f0ba","datavalue":{"value":"10.1023/A:1005091418752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577339$DE48FDA5-B9DF-444C-B3A0-7B0803700CB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baf65bf84a9471e07b9412f58991eb0597943057","datavalue":{"value":{"entity-type":"item","numeric-id":762483,"id":"Q762483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577339$83A1E1CB-1368-4C8B-B4BE-0472563685D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de983fa01487cb385a63e795131616046caf6b81","datavalue":{"value":{"entity-type":"item","numeric-id":1577338,"id":"Q1577338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577339$FEA25C7C-B20C-499B-B555-7F03AE4FD3C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577339$EDF1D870-EB14-4AF1-8C57-04815001D1DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ecffbcc861d67047b31e273d774ed7bc043622f","datavalue":{"value":{"time":"+2000-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1577339$8660B11E-4F1A-4726-8ED6-2787EEC86326","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577339$FBB4DC5D-838F-452A-8AEC-15619BD3AAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577339$96E500E4-907D-475C-A3C9-12E1FD67D522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577339$5D50119D-686D-48D8-92C3-C599C571934D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577339$F3255617-0537-489A-862F-3DA930CC9416","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45f113e4ab9c8510c8656d4f87d21d0771d1e063","datavalue":{"value":"1501368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577339$A946A3C8-4F3F-4E7F-B04C-D7CFD2A2C0CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2cb0bfea13f1a55e16d9d31f0f73b6369620267","datavalue":{"value":"natural deduction calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577339$D1C371CC-BA24-4D12-934B-C92D4CD5C77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577339$81F24969-9919-45EA-9212-223F12AA07B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577339$5F1160EB-E453-4553-BA6A-DD3E1FCFEA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72408e7175e8f95f895d5003de2d4e1a618fc15d","datavalue":{"value":"classical predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577339$9D7282D7-7052-42CB-9AF7-34F72FA98E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577339$D7325CBE-EAAA-4FBA-9ABC-6C872BA10390","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577339$3BEB32BD-CC4E-4A55-91FB-7CC147A5508F","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":"Q1577339$1C19B888-DA3E-4F70-9A43-334F3A841FE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96094b309dc39503e057679a26762867285c95ae","datavalue":{"value":{"entity-type":"item","numeric-id":5717439,"id":"Q5717439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c83d48060fe5032778946510e79149a8cd7556b9","datavalue":{"value":{"amount":"+0.98041743","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":"Q1577339$FD24CBD6-3075-4F33-8928-F86458DACEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849ca33231c4feda7d3112ba6036c47e5d9eba02","datavalue":{"value":{"entity-type":"item","numeric-id":1813231,"id":"Q1813231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3057f3c26aa3845d7ac08e8f63edca18842ab9ca","datavalue":{"value":{"amount":"+0.943071","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":"Q1577339$F0F24AD9-43E0-4FA5-86B9-631E9F9116C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9f633fbfc462c62fc2b5a1a1bd52c4b4f11392","datavalue":{"value":{"entity-type":"item","numeric-id":2890694,"id":"Q2890694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c7189ba1279fdcb1ce788e5126b4ab4851b50d","datavalue":{"value":{"amount":"+0.94057626","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":"Q1577339$B786D941-42DD-4550-9772-7C0FC2F24617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53e9a01682f573a023f87d8533a65f54de2941a9","datavalue":{"value":{"entity-type":"item","numeric-id":3007254,"id":"Q3007254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b911b635ac6a847146621112e44bebff7b2716","datavalue":{"value":{"amount":"+0.92116034","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":"Q1577339$038BEC26-57EB-4DC3-8669-DC65F3DF1D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0243f4d23771544088dce9ece1c4730ffdede91","datavalue":{"value":{"entity-type":"item","numeric-id":1577342,"id":"Q1577342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f7fa4527dc15b73c9c84f1809db856904fc25e3","datavalue":{"value":{"amount":"+0.91161644","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":"Q1577339$D00F67A8-8E63-44D6-A76A-2ABCE2CBC0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b692ce3de9122d8fcb53989f11735e3ac2ddea6","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d55ec36fa07417b3cba9d55361a89ad55dc7625d","datavalue":{"value":{"amount":"+0.90759575","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":"Q1577339$E335FC5B-8E5A-44DC-99F4-6672E7BA15A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24c0a2d0a8faf7e005d2b893339ed612ee0cfcc9","datavalue":{"value":{"entity-type":"item","numeric-id":1903127,"id":"Q1903127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ead06d8a06043e514b6b058cd5dadbafc02a9a5e","datavalue":{"value":{"amount":"+0.9064545","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":"Q1577339$77A7861E-1406-4733-A655-6925DA05A0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f28a5c91bde99ec730640fe8235faf82bde747","datavalue":{"value":{"entity-type":"item","numeric-id":2307304,"id":"Q2307304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"918270d5d3387082b300f581087f133ac8acbfaa","datavalue":{"value":{"amount":"+0.90524626","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":"Q1577339$20138DA8-9C3D-4ED0-B017-4D5C8D648A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0408c0d7dfc173c00f52df72da5ff9eeb3b8e2","datavalue":{"value":{"entity-type":"item","numeric-id":3981450,"id":"Q3981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad640969a3135ae677752de5896a36fe6be8f70e","datavalue":{"value":{"amount":"+0.90506244","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":"Q1577339$527D04A6-3E6E-4045-AD64-47D45D142470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab288cb8f1586cdfdfed4adfb5db2340af152dca","datavalue":{"value":{"entity-type":"item","numeric-id":3503742,"id":"Q3503742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"108e692a531bf20661d1ee57072d6db296049493","datavalue":{"value":{"amount":"+0.9046805","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":"Q1577339$3F6C7F09-9657-4C8C-BE5C-B13C546A361B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal natural deduction proofs (in classical logic)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normal_natural_deduction_proofs_(in_classical_logic)"}}}}}