{"entities":{"Q368791":{"pageid":370558,"ns":120,"title":"Item:Q368791","lastrevid":61302981,"modified":"2026-04-10T22:29:35Z","type":"item","id":"Q368791","labels":{"en":{"language":"en","value":"Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction'', Rio de Janeiro, Brazil, 2001"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210601"}},"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":"Q368791$6AC1745C-9486-4D8C-928B-F608EBFFBAC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74ab41d99475267d21b9871a7e466763362a0bda","datavalue":{"value":{"text":"Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction'', Rio de Janeiro, Brazil, 2001","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q368791$A0E14AF6-BAA9-4BEC-AF0B-531F082C8EDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b87bd4657e22d1cddaef009866d0be01a6825631","datavalue":{"value":"1286.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368791$4033889C-BA5D-44B6-B321-35E1E8CC6A48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5373565adfca4010ff5b02171474e540aded8f17","datavalue":{"value":"10.1007/978-94-007-7548-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368791$15A05A48-1E75-4618-84D9-A5D8E2041102","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"787dcc6dd11cb904cd0731cf31ea976c84f215b9","datavalue":{"value":{"entity-type":"item","numeric-id":178964,"id":"Q178964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q368791$A17DA4AA-1484-4EB7-A747-C521FA775BB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8fa67e57597c5d021d880560712cfcef304abf5","datavalue":{"value":{"time":"+2013-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q368791$0FA71206-0F7F-49D5-AF76-199FD014E1D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368791$ED579F0A-8F17-4A8D-8963-C9DCFB69A20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368791$C407650C-FCD5-4FB0-8654-766D4E6093FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368791$DF77316E-47B4-4D65-960D-B8D3B8276A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368791$AB0ADCF9-3DF7-4258-8E4B-D19DA72B7073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368791$C61DAC06-93B9-4518-9481-FAF38BFE1C63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d448d7a88cfb5b220d8da179e69f0bc050747944","datavalue":{"value":"6210601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368791$6EDCB084-AFC7-4AD7-97E6-F91D76ABFEB3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"09e96aa2416855e822b4a1b5cc9337c0987b98aa","datavalue":{"value":"Q56994462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368791$97CC42A4-ECA9-4DCC-A2E5-35D2B0043EE5","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":"Q368791$F9A70E33-0C6B-4B07-8636-38B7DC5909AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b19a74cb789f77c0eddb799728ca36cfd47a2b4","datavalue":{"value":"https://doi.org/10.1007/978-94-007-7548-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q368791$0AE4D236-8B67-417E-988E-79E6D0CDBB41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fea2b82735edd5c3148001962819cbbfe4fe76c","datavalue":{"value":"W2500397174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q368791$35D73DD1-CD6E-4FCE-B6C2-67106A1B6BAF","rank":"normal"}],"P1643":[{"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":"0c574387bdf474a840533d14232f017ba6814dd7","datavalue":{"value":{"amount":"+0.8078885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q368791$F0529F24-D81F-4A64-A930-578A62EA47B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512a1a5db7b668d01db4ee6461b348be3f0f3a37","datavalue":{"value":{"entity-type":"item","numeric-id":2286167,"id":"Q2286167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a6d2713760f0d2f43be974b4dfd3f260811d6c","datavalue":{"value":{"amount":"+0.7967009","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q368791$19349218-DDC9-43D7-9C2D-6E227E04D94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e01217ff754315cbcbd3f9307b3abfa04582a331","datavalue":{"value":{"entity-type":"item","numeric-id":5296762,"id":"Q5296762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f03c10dc6d06f68799412083a6d85dc890fb3c4c","datavalue":{"value":{"amount":"+0.789703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q368791$8EB52E23-E35B-4B87-BAA2-CADFE3213ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be5ae1bebf2ff766009419abd2758b8d8096b23","datavalue":{"value":{"entity-type":"item","numeric-id":5213573,"id":"Q5213573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c48f3b92016fd20977e10ddb18b233dc567d52","datavalue":{"value":{"amount":"+0.78704983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q368791$AD12D0F7-1338-4B6C-A57B-71CEF3F6E252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ec39561a84fc7d1a30a765d3dcf03378c44d09","datavalue":{"value":{"entity-type":"item","numeric-id":1653550,"id":"Q1653550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"466119ab6e19fa97427e7375ecd8729c5247984b","datavalue":{"value":{"amount":"+0.7858848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q368791$32D65F4A-E7D1-40A4-99BC-A6CD5318A4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9373fd7b8a9dd06d5693cc9dbe9cc0f12dd60821","datavalue":{"value":{"entity-type":"item","numeric-id":4943267,"id":"Q4943267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18596b635c9967f547dc5df519e7c68382e07093","datavalue":{"value":{"amount":"+0.7844695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q368791$FA8BF654-68F8-49AB-973A-724246089036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"099f07de4a1e1aeeb556cb0f16cace9c906d55e2","datavalue":{"value":{"entity-type":"item","numeric-id":5869608,"id":"Q5869608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b67fc8ea7a1c960e8fd0e045fa02a3e152a4065b","datavalue":{"value":{"amount":"+0.7827638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q368791$3659A8F3-FE40-4E92-A1B7-694E851A163E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a2d0e76bfb62216ff5e3d2b00dcdef72f50cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4507491,"id":"Q4507491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96fac8bfa3316c8b8b16c85502e704a042874038","datavalue":{"value":{"amount":"+0.7824906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q368791$E01FE660-7663-404E-94F5-3A10554CA0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"456bbd395902762ce5c50b64d07470fd87c7986b","datavalue":{"value":{"entity-type":"item","numeric-id":4255356,"id":"Q4255356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce38ea910d04b4b927fdb042e24c3573b268417","datavalue":{"value":{"amount":"+0.7817749","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q368791$A0917D74-F0B0-4FCF-ACA8-FC431FE28D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369ff79a108f5e22c0a0b6f7e932f476cb1d34a","datavalue":{"value":{"entity-type":"item","numeric-id":3680812,"id":"Q3680812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22a81e434ce786784b70bb0e571bbf61c8763559","datavalue":{"value":{"amount":"+0.779305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q368791$F4BA5B58-BBE1-4E50-85B1-10F8D4B17E42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction'', Rio de Janeiro, Brazil, 2001","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Advances_in_natural_deduction._A_celebration_of_Dag_Prawitz%27s_work._Selected_papers_based_on_the_presentations_at_the_conference_%60%60Natural_deduction%27%27,_Rio_de_Janeiro,_Brazil,_2001"}}}}}