{"entities":{"Q4286223":{"pageid":6315824,"ns":120,"title":"Item:Q4286223","lastrevid":41865998,"modified":"2025-05-09T05:11:21Z","type":"item","id":"Q4286223","labels":{"en":{"language":"en","value":"2-Sequent Calculus: Intuitionism and Natural Deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540341"}},"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":"Q4286223$9CC14158-F0CE-4F42-8FF7-7D19119FFEA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0bdec465cf9034aaf3cca8b9389eb8044f8a7a2","datavalue":{"value":{"text":"2-Sequent Calculus: Intuitionism and Natural Deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4286223$151567AB-E1E4-454B-AD80-DDB00B3047A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f92451de2c02b005a2d68f724a364023fe0ba03e","datavalue":{"value":"0793.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286223$CAED1DDB-304E-49BD-A050-AFD7229949F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2ff807ad8f5a0fb377ff80be6081b48f28988df","datavalue":{"value":{"time":"+1994-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4286223$CF364C9B-3531-4C7F-97D9-DB3D4B6481B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286223$D540D289-2EF9-4F0A-8BD1-41D65EA59408","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6739508e6e8933c9c9cdf6f302e9d41c37466b9f","datavalue":{"value":"540341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286223$634516F2-4336-4A6F-A791-6388AD6DE5EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286223$15D92474-8082-451A-AB07-73A27DE92E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e097dc4d0737865e3868f546de17bb04bfb267","datavalue":{"value":"indexed tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286223$C5AB3D99-EAB1-4C61-B7BA-DCF727EE02E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2385bf5cc575bcb5507e8587180ff2befc5f2257","datavalue":{"value":"sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286223$E84AC012-FD6C-478B-A730-444478958A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee8982d07df948110e8c530b7afcc06bd29d0d11","datavalue":{"value":"possible worlds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286223$DBDB5C02-0B7D-4DB4-BD57-C72D17996784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2e048ef58cc16b0e8a2f2ac615516114298c119","datavalue":{"value":"S4-like intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4286223$04A0A849-3B90-40E1-8237-509DFB03A753","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b68d0e89e7b621c100d1bdf2782ef774a2f362","datavalue":{"value":{"entity-type":"item","numeric-id":1044835,"id":"Q1044835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286223$8D59B71E-5372-4B9D-8426-45D097B5E4C8","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":"Q4286223$DFB45DE1-17EE-433D-867D-24C7174AF181","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b546393c22b955253bc4c1994312bcbd4e1d133f","datavalue":{"value":"https://doi.org/10.1093/logcom/3.5.533","type":"string"},"datatype":"url"},"type":"statement","id":"Q4286223$7876A7EC-4E60-4A2F-BFB7-02E901D6A43A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afd6f8de103207fbd472f8f59cd613c3be6cb031","datavalue":{"value":"W2023557900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286223$918D9694-F0A7-4880-8BDB-273D7E674605","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f39a01f6abd7b74c7c6e36638b99f63def728eed","datavalue":{"value":"10.1093/LOGCOM/3.5.533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4286223$50AE12B0-73F0-4A96-9AE5-48E1CBE36321","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4286223$1AD62EBB-86CE-4A8C-BF60-9D59D136C6E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eb2b55222873a335bce64f8dbe4a23d690588af","datavalue":{"value":{"amount":"+0.9344615","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":"Q4286223$94C719C3-0981-4BB1-959C-6C0D67782986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33310595e1574e652ed32468dc0b65f1b05efe40","datavalue":{"value":{"entity-type":"item","numeric-id":1207545,"id":"Q1207545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0dfcd4cdf9f4d8e72a54acffce59820e5b6eba4","datavalue":{"value":{"amount":"+0.9332274","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":"Q4286223$79C109B3-E5B3-402A-998F-7BCF02947273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb840e493a31e9e70894062df7a2e55b4029a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4903811,"id":"Q4903811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f60866e43dcf1e9e9fc45eaa6897762dc2f2f090","datavalue":{"value":{"amount":"+0.9165813","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":"Q4286223$77CBBAFB-63BF-4ED4-9B89-4158DA9C2E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e26ce1230c9b8bee351f13d20c5d280087553d","datavalue":{"value":{"entity-type":"item","numeric-id":4328835,"id":"Q4328835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d32773dd0bf70c52f3cdf035482045dfaa8cd11","datavalue":{"value":{"amount":"+0.9133253","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":"Q4286223$6BD24043-7E50-4E06-A633-C84ED26EC73F","rank":"normal"},{"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":"e0728933726e13ee30d87fe15441fabe4ae87129","datavalue":{"value":{"amount":"+0.90827394","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":"Q4286223$4AAC6972-3ECC-404C-A691-3ED45EADB04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a04b4836b361e137d6a04c12838a0dad11784bd","datavalue":{"value":{"entity-type":"item","numeric-id":3005996,"id":"Q3005996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29bc9c90622e863db476a499df640291f4c8b610","datavalue":{"value":{"amount":"+0.90532863","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":"Q4286223$5B44E6AC-F211-49B0-9CF9-1C9B78374FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97cabf5f2c4a3e5f3456b0f010aa873907e2dc1","datavalue":{"value":{"entity-type":"item","numeric-id":4434498,"id":"Q4434498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6503d76aff8a6bec8306e7255cf39a3e7a2c7d83","datavalue":{"value":{"amount":"+0.9039468","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":"Q4286223$4733D4AD-5E86-4FA8-BB84-CFE3009FA273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6448074e4b3dbbcc45d55632bdaa4bfcd3ffc4","datavalue":{"value":{"entity-type":"item","numeric-id":4261096,"id":"Q4261096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d709ea21ffc392ca80c0791ebc890997f562a1","datavalue":{"value":{"amount":"+0.90023","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":"Q4286223$B98B50DA-BF89-41C8-BF88-B63C302F7A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389bb702319181239c6c2af1aa841c75a81e41fd","datavalue":{"value":{"entity-type":"item","numeric-id":5869659,"id":"Q5869659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc524e96bc0079eedd47d8ca1936e93fc4c6e0d","datavalue":{"value":{"amount":"+0.89592","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":"Q4286223$29530786-75F9-42D2-8628-3A81375BE2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5071a321d9ad45c10f41a9a40976a18b7f80a197","datavalue":{"value":{"entity-type":"item","numeric-id":4794047,"id":"Q4794047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12fccdbac5d3aae406556604ef251a7e09271dbf","datavalue":{"value":{"amount":"+0.8937411","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":"Q4286223$28AEB5D6-F4D5-447E-B622-140F02E7B9CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4286223","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4286223"}}}}}