{"entities":{"Q1653550":{"pageid":1664291,"ns":120,"title":"Item:Q1653550","lastrevid":72441888,"modified":"2026-04-14T04:56:16Z","type":"item","id":"Q1653550","labels":{"en":{"language":"en","value":"Natural deduction for Post's logics and their duals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6913949"}},"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":"Q1653550$8EA86976-057F-498F-AC80-EDA848E523CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfa203d8c16f2742e93e8019e9a986bdd8314fc3","datavalue":{"value":{"text":"Natural deduction for Post's logics and their duals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1653550$F5287544-1BFA-45A2-8562-0F3A100E0718","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c94d5140221d4277d9e3b5051a4472dceb5c295","datavalue":{"value":"1456.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653550$4EF2F67D-3999-41F2-9A41-F9C63D3CD9B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$A1A030B0-D31A-4C3C-B7A5-A555358A0C36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82b8b38224589a81cd806547430f6d71715c9a97","datavalue":{"value":{"time":"+2018-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1653550$C3F471EF-5D32-4630-8660-53827311A33A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653550$86458AC3-A65F-499A-A674-F19EAA0CFCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653550$CD39DC19-14BF-4B78-A461-EF7FBBFAA451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653550$7BA8822F-F60E-4FF9-8045-0D60DEC875A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c7a763024ceb84853030b604cb831984d648601","datavalue":{"value":"6913949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653550$927C420A-4FBF-4072-8630-39A0A6572A56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653550$18844DD0-0037-4569-B230-36E04A54D332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1eeda886cc1d9c605d090cf7cad957a066f1c06","datavalue":{"value":"Post's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653550$163AA60E-C8C3-495A-9E8B-96980AC131C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8990f6217e4a7d43bc3e3b69fb20b9041d80d745","datavalue":{"value":"Post's negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653550$E4EC8A37-0B8E-41CC-AD1D-8AD88ABEF9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810065673e46b97faadd65c10b64ed39a1a77cf1","datavalue":{"value":"cyclic negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653550$19EFAC8B-14EC-42CD-9F2C-A32A318F8BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72a1e5078205b59c446aa7cf773e05594d085467","datavalue":{"value":"dual Post logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653550$F4426342-8139-453D-A78C-24375ECBFD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653550$787FFC8C-0B98-4881-AA36-0EFD872BC88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1653550$FAB907EE-F278-4C8C-A0D9-22AA5680B01F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"669cdb901f5adc2391e652d6dfa8ffc64eb0addc","datavalue":{"value":{"entity-type":"item","numeric-id":1689567,"id":"Q1689567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$BF4CD49D-3170-485D-A68A-121093B3C0DC","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":"Q1653550$E1EC241E-294B-451B-8FE4-1C4686CE830C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4563039db6278399aba22916f479bc39e15bf36c","datavalue":{"value":"https://doi.org/10.1007/s11787-018-0190-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1653550$A4C601C5-6649-4AA1-8A91-525F09783F40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef400ce0f8f8e3433977ba03bc6c53c86eba2ba5","datavalue":{"value":"W2800354409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653550$BC039043-2DD9-491C-A718-054F8A0520A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"037eca75943d6370cb5b907148842abde09985d0","datavalue":{"value":{"entity-type":"item","numeric-id":5526948,"id":"Q5526948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$46EF9211-2B86-4B7F-92E7-F0C7E0CE33BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3188862d9f3cad20dc8c66e05fa7f899f56e1cc9","datavalue":{"value":{"entity-type":"item","numeric-id":5559563,"id":"Q5559563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$FC7157A1-9746-4855-9FE6-A1893D09783F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6303ca57bfd409e46da3f06dff87ebf659cf634c","datavalue":{"value":{"entity-type":"item","numeric-id":4141243,"id":"Q4141243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$70F2BB91-FF16-42ED-A4C3-6D6562BB8FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80a973270310d1a76c577be08cfed0eeec32fa4","datavalue":{"value":{"entity-type":"item","numeric-id":5590049,"id":"Q5590049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$04D698CE-023D-4DE2-854C-8390A7EEEBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4e51ce78bd8297b6c871836b1a8e658eab53ac","datavalue":{"value":{"entity-type":"item","numeric-id":4600826,"id":"Q4600826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$313F5B31-88DB-4AB2-B03A-7122B2B3F2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51101dc78ae1c0c7784b4a45e05d8608d32ba6f0","datavalue":{"value":{"entity-type":"item","numeric-id":5607971,"id":"Q5607971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$CF4CDDB1-1C65-4351-B613-80BA31459660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8206136bb1a3e3206c15b8c3fd64eecf1b0ab","datavalue":{"value":{"entity-type":"item","numeric-id":2757760,"id":"Q2757760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$85F3F404-FA17-47CB-9693-899114339CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ed7574dea8508891356f13dbf822e65d9c4732","datavalue":{"value":{"entity-type":"item","numeric-id":2259008,"id":"Q2259008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$74E43E79-F7B3-40A0-9995-67B38C5FA55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d007362d415b2596e800a3b8b7ca82d37cee748","datavalue":{"value":{"entity-type":"item","numeric-id":5525338,"id":"Q5525338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$408BFEF6-2017-4C52-A3CC-9E3091946489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733bc46bb99076a013ef3cf7076f9eef2dd18db1","datavalue":{"value":{"entity-type":"item","numeric-id":5565089,"id":"Q5565089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$96B42A8C-306F-4279-A8C0-5CD4092A0B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6baf185b0f9f31d195844d6e2371ab310c19a9","datavalue":{"value":{"entity-type":"item","numeric-id":4899968,"id":"Q4899968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$6A5D071A-8D45-4F02-BEA1-BFEBE6E5AFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f60581b9b7d2f30018a2526cbb677b2dad531e2d","datavalue":{"value":{"entity-type":"item","numeric-id":5675345,"id":"Q5675345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$EF7A454D-73E4-419D-AE0D-32488372DEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$0E29D99C-BE9D-4BF8-8533-55B698FFB56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0125583dec31c1a4a10b7b23bfddc3c13dee5202","datavalue":{"value":{"entity-type":"item","numeric-id":4113830,"id":"Q4113830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$871B7F93-B766-4F9B-AEB7-B1F1E7845E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d855aedb6b8689008dfa235ba2981fd83a136c50","datavalue":{"value":{"entity-type":"item","numeric-id":5661846,"id":"Q5661846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$B71A6299-A428-48DC-840D-B0C4767F8887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7ee33bcb2d029edd849bb5b81b19fd9f5126058","datavalue":{"value":{"entity-type":"item","numeric-id":2559473,"id":"Q2559473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$1711A6DA-0A87-44A8-8197-6ED7E339F22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d5dd1d87dd8bd30145ff98968d2bfd498e810f","datavalue":{"value":{"entity-type":"item","numeric-id":5834646,"id":"Q5834646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$5A09CAC7-DDFD-4800-B8C8-65AF3743B0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02c8fd5a0c3234de52455be624291c050a5c6e6","datavalue":{"value":{"entity-type":"item","numeric-id":5534913,"id":"Q5534913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$DA7FAA6B-FAB3-4661-B6F7-FFA090629D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062756f4c7f0d74215849710f2d8409b43d6f41f","datavalue":{"value":{"entity-type":"item","numeric-id":4770382,"id":"Q4770382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$F43D0CA9-4804-4511-AAAE-942CA64EFECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af488b78758a4c45cd4abe764f75a0c22a3792dd","datavalue":{"value":{"entity-type":"item","numeric-id":5596222,"id":"Q5596222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$025BB199-6848-4936-A0A0-E08AE031B6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed247cfaa9f806167217df5f2ac409bdf00e763","datavalue":{"value":{"entity-type":"item","numeric-id":4982110,"id":"Q4982110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$50CB8A0B-58EA-4D69-B2A7-509F8A5CF046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60873d5605252fbd7b162567212adcecd72ec4f","datavalue":{"value":{"entity-type":"item","numeric-id":5331483,"id":"Q5331483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$B79DB94E-74DD-4739-ADAB-A910BEDEB1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51ec5a58e83047d474cb90cf4934f5ca24572b4","datavalue":{"value":{"entity-type":"item","numeric-id":5557882,"id":"Q5557882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$C9A2EFBB-4D3A-42D0-9328-4BBD0415F0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef431f6fdf6a1076d293d405fb6e236888815c1b","datavalue":{"value":{"entity-type":"item","numeric-id":5561935,"id":"Q5561935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653550$C4465E19-9247-448E-B284-7964DEE78A96","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"60ccfa475d0b83e6b863aa0fb69a6b6d2033b88d","datavalue":{"value":"Q130043215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653550$A509A103-2175-4C51-99B7-2254C1C41CF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8f5af46ea7457f245f68c6396b2335b7db83b78","datavalue":{"value":"10.1007/S11787-018-0190-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653550$E45E0E86-DB70-4C40-81DD-35904E646CE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d72eec3ac0cb3164caaba58d4db956cc6c230b","datavalue":{"value":{"entity-type":"item","numeric-id":694491,"id":"Q694491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc8ed488a2238ccc72634d8b41b452e95a1c651b","datavalue":{"value":{"amount":"+0.7996134757995605","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":"Q1653550$74F03E79-4638-4CA1-9E77-34D4868A40C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94103f48d6ae8ef250d591b86ac15ca5a8d20df5","datavalue":{"value":{"entity-type":"item","numeric-id":2534158,"id":"Q2534158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646ba87f074eb968cb6cb26ac2f9a03acd82f501","datavalue":{"value":{"amount":"+0.7790555357933044","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":"Q1653550$148E990F-E9E2-442C-BAE4-52FCA9E05D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c6a83d7b77d89dcbc07064a73bab7605039031","datavalue":{"value":{"entity-type":"item","numeric-id":4260371,"id":"Q4260371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81717d8a6e4293fa4aa6a06640da4e36f1e32bb0","datavalue":{"value":{"amount":"+0.7733505964279175","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":"Q1653550$363901FD-679D-475B-9E04-B71E5C932131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbdfdfac758ed1d954834907a9396c2dda4607ec","datavalue":{"value":{"entity-type":"item","numeric-id":5240589,"id":"Q5240589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d2bdbdb939b2801cdb42336f465bb6789f1827","datavalue":{"value":{"amount":"+0.7720047235488892","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":"Q1653550$BF4183F1-CC1C-4933-A982-A105DDB87904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5032bb635eed503cb160acac5e60a62b4871e6d0","datavalue":{"value":{"entity-type":"item","numeric-id":3142560,"id":"Q3142560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80cc04903e21b98c8fb9994943f6419d55b98761","datavalue":{"value":{"amount":"+0.7647282481193542","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":"Q1653550$8ADE6231-C3A6-464E-A1CD-322F2904ED99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural deduction for Post's logics and their duals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Natural_deduction_for_Post%27s_logics_and_their_duals"}}}}}