{"entities":{"Q3691668":{"pageid":5721574,"ns":120,"title":"Item:Q3691668","lastrevid":50256545,"modified":"2026-01-13T16:16:03Z","type":"item","id":"Q3691668","labels":{"en":{"language":"en","value":"A natural extension of natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3916264"}},"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":"Q3691668$76B2114D-65D3-450F-8888-4CEA5844B6D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec298a038dc0d3ffce0efb0654aa72dfb3e3b6cc","datavalue":{"value":{"text":"A natural extension of natural deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3691668$170DE882-DF62-476D-A360-25D4B4D67B3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f139eac7d8c13cebb19c5bfe237a7dfbd917356","datavalue":{"value":"0574.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3691668$EC8249FA-D247-483F-8A7A-655921AD6082","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57ad02d67f3eb2a03e6dbbe2cf83615ce716830a","datavalue":{"value":"10.2307/2274279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3691668$A969D9E7-3A7B-4605-8536-DF97B4696396","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a110f1ed4fa3764142d6f2e9807097c2edae37","datavalue":{"value":{"entity-type":"item","numeric-id":383069,"id":"Q383069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3691668$C76C9A92-1096-4621-B5FB-FA6BA6DDF166","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3691668$C9E1CFB5-8A96-4761-B51C-40975483B40B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3691668$0183AED6-3A01-41FE-968C-899E6DF00358","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17252be960d9a3bdac635c36be06f6834f7eecae","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.361.5791","type":"string"},"datatype":"url"},"type":"statement","id":"Q3691668$CBD242AB-4B47-45EF-BF42-BBE528BD7DEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3691668$FEE968D0-3747-4811-9544-BDFB44378663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3691668$DA8CE24C-D8CD-452B-9B96-3B81EB51C45D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a848faf27857d1f0b74c62eea361d69ea88271ff","datavalue":{"value":"3916264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3691668$4C16DFC5-7F87-4CE0-8318-E1D89D14BF6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3691668$155CAE61-3FD6-4CD1-89FD-02D66B608359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa6cd7bcd951a8d2fbf98a8e16152a2b59a52a8","datavalue":{"value":"rules of higher levels","type":"string"},"datatype":"string"},"type":"statement","id":"Q3691668$96CB812C-40AD-4F12-ACBC-53A1AA411CDE","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":"Q3691668$5FB5830D-0953-4ABA-B055-8C2E6A506E84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ced586c5972c890f357f9f38b0722eafdeb156d0","datavalue":{"value":"W2047063760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3691668$87AA64BB-319F-48E1-B7BA-7CC2251B9149","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7196acdb79c8f74031f9c889651b97fbec79b5","datavalue":{"value":{"entity-type":"item","numeric-id":1134146,"id":"Q1134146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3691668$E5F7B234-FC43-45E3-88E1-F63F9DBFCF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492a7fa8a91f6eab1424d559791923c9204fc4e5","datavalue":{"value":{"entity-type":"item","numeric-id":5549787,"id":"Q5549787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3691668$6D7E94F9-F629-4538-9736-5889A65FEE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3691668$CCAEED96-8CC0-4427-8D64-D4AE2A34DDF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae76767485e890b0fb795d6aa2c7c0844ad85f6d","datavalue":{"value":{"entity-type":"item","numeric-id":5187275,"id":"Q5187275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0e636a20db32dca29fe152e8894d7f059e059f","datavalue":{"value":{"amount":"+0.8511260747909546","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":"Q3691668$5449C271-1DF8-44F2-AB48-FC69624286A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e43fa46cd8b690e52191e898df43b3d8cc0f278","datavalue":{"value":{"entity-type":"item","numeric-id":4635835,"id":"Q4635835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a6025439d25464aedf3073059bc7e5dd512956","datavalue":{"value":{"amount":"+0.7852777242660522","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":"Q3691668$A6AEF3B3-A2DA-4007-9147-FF7DF71B08EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e78072e864f619e55c7e7701f2f6142edb1e02f","datavalue":{"value":{"entity-type":"item","numeric-id":4888329,"id":"Q4888329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cf5102e3a3227081519dcee992f515735b0482a","datavalue":{"value":{"amount":"+0.7824305295944214","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":"Q3691668$CB145D0E-34BA-4BF1-891D-4BCFECB75152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66ac5ff790815dc83eb94307506f5ec7e50c243d","datavalue":{"value":{"entity-type":"item","numeric-id":1097870,"id":"Q1097870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd8d28f3536341a7de58785c57242d57dd5f81a7","datavalue":{"value":{"amount":"+0.7824302911758423","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":"Q3691668$F6A1365B-5A06-4F2F-9FAF-1A8BF11E9384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91a0eafbe4dfa7a08c84b3b2806010939cecc37","datavalue":{"value":{"entity-type":"item","numeric-id":5435112,"id":"Q5435112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3089bb61fde1db867d08f1368b999cf80e97a630","datavalue":{"value":{"amount":"+0.7794985175132751","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":"Q3691668$928EAA5C-7312-4960-ABCB-D8961D74B9AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3691668","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3691668"}}}}}