{"entities":{"Q2901201":{"pageid":2911926,"ns":120,"title":"Item:Q2901201","lastrevid":51515042,"modified":"2026-01-18T14:25:05Z","type":"item","id":"Q2901201","labels":{"en":{"language":"en","value":"Label-free natural deduction systems for intuitionistic and classical modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6058055"}},"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":"Q2901201$4EE2C21D-98F9-4814-B47F-D3B88F3894CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79648323b8e8b6dfcfae992ea12ddb3536a4e60f","datavalue":{"value":{"text":"Label-free natural deduction systems for intuitionistic and classical modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2901201$A7BAF980-25C6-41C0-8270-90414BC62EC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c5d3649249ec2587b59daac594ac6a4e1ad52df","datavalue":{"value":"1242.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901201$E9290B0C-F455-4F4E-9FED-DADE655471AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901201$011FB5E1-9435-48AF-844B-2BB669518F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0618ef01335eda4cb324f37481152385c7ce02d6","datavalue":{"value":{"entity-type":"item","numeric-id":262132,"id":"Q262132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901201$4ED3F86F-7181-447E-95D0-B6D6AE023393","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901201$87870F1D-8955-4B39-95D7-16A44EF8FD98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84ece3a61d19e8a79724038a31d8c2f410ad0a43","datavalue":{"value":{"time":"+2012-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2901201$3FAB902B-1274-4447-833A-739B2D78BBE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901201$36BD9B9D-3DE8-46B4-B6FA-1F564887F37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901201$30504FA2-D42A-49B1-B0A3-EF5396756640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901201$7AD96A53-00EF-4F6E-AE31-8F108C51ADDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22bca3a7fa616c6624dde61d1cef10a5424cc144","datavalue":{"value":"6058055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901201$7D6380B0-2CD2-4F81-BF1E-9E0B2E3CCC61","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":"Q2901201$D72434E1-9939-4D8E-A7E7-8B4447245196","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42b7d2b5e51f282cfc869c3c3f5f8523dd47beb2","datavalue":{"value":"https://doi.org/10.3166/jancl.20.373-421","type":"string"},"datatype":"url"},"type":"statement","id":"Q2901201$6089699C-6B49-49D3-BB68-F0CD3BBD5956","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"566bfacf2e5565ab89cd81d71c582c2117d3f9b2","datavalue":{"value":"W1964202571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901201$37C1BA6E-4253-4741-A98B-510FCD6D1E89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71681916ff11f8a3fc6dbd9d1ba8a9a2a0b03154","datavalue":{"value":{"entity-type":"item","numeric-id":4724618,"id":"Q4724618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901201$EC2CD79D-1C91-4320-8EA9-57E680FF5E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f321a0fc908382b7af5ccbc5e8641c69656fbac1","datavalue":{"value":{"entity-type":"item","numeric-id":1591340,"id":"Q1591340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901201$D891AA26-37CF-4B9D-907A-D59C1CFC6671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901201$C18A89D4-2A23-42C2-A9C5-F6591DAB1F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"362ca69c6b19a733ea89beb6bae2ffb416ff0dda","datavalue":{"value":{"entity-type":"item","numeric-id":2521681,"id":"Q2521681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901201$A7AE4B37-57A4-4F49-BFDC-DFA08B1F5CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd19a4e2034c91a5498cdb406e681e58c88076cf","datavalue":{"value":{"entity-type":"item","numeric-id":3410675,"id":"Q3410675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901201$B4A09853-967E-4A71-8770-678440ADC4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901201$316DFC10-B260-4A69-A64C-E32069CE532F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90947c7ce47766a127d7aac2ad60fe05870443e6","datavalue":{"value":{"entity-type":"item","numeric-id":1249166,"id":"Q1249166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901201$EC08C46A-033E-411B-8DA4-4BC5BC658919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901201$8269EE52-43B5-4613-BAFD-9B1A1137141B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901201$F89A6F6C-D66F-484C-8E49-1307EC835E65","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":"Q2901201$B70D1519-168B-4B01-989F-D463AFC2099A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40f32c9074fb8ce4cee5381207d2c25991065aa","datavalue":{"value":{"entity-type":"item","numeric-id":1220917,"id":"Q1220917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901201$500F3EA7-3D41-421E-A791-A15E3948A8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901201$AA4A081E-42D5-4D62-8981-891DFA9B2303","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5fca29ae299323b9039b8582f34a2e2428c97d4","datavalue":{"value":"10.3166/JANCL.20.373-421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901201$2201EEFB-1947-4889-AE05-31BA6A61627D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c745365d72f15e1f383418bdd3ea9fb7ef7e2f6f","datavalue":{"value":{"entity-type":"item","numeric-id":4636304,"id":"Q4636304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e67565af117b2034e2b986fdb9a6670f34d9d47d","datavalue":{"value":{"amount":"+0.8566983938217163","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":"Q2901201$DE914589-94BF-4149-A977-37BB8C868E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc0c7b03c404c3987dcded0e7e7a6accf38b89de","datavalue":{"value":{"entity-type":"item","numeric-id":3066103,"id":"Q3066103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5319d1edf3b4c42d966e1cb55f4036ed8f20a13","datavalue":{"value":{"amount":"+0.8428025841712952","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":"Q2901201$75913F18-9025-4D0A-821B-B50D33D5C803","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":"c53e7d225beeb44b3d890e87cdce853c7e21c37b","datavalue":{"value":{"amount":"+0.8260830640792847","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":"Q2901201$5A656512-4990-4AE5-B9F0-82EF5A221B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670e534e0734308496cf4891636d157d96384dc8","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ef996a7090c1d36009f08326a25d857ac10672","datavalue":{"value":{"amount":"+0.8127302527427673","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":"Q2901201$82E12CBE-21DF-4868-BB3C-82C2998B6585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ed717ff049f6f389174b6b3ec8e69d3c379f6e","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36ee197c2cdccbce93e535e686f5d1c2e80e568e","datavalue":{"value":{"amount":"+0.8079097867012024","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":"Q2901201$0985E098-EF5A-460C-96E7-CDB26CBBB6DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2901201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2901201"}}}}}