{"entities":{"Q2007478":{"pageid":2018220,"ns":120,"title":"Item:Q2007478","lastrevid":72318444,"modified":"2026-04-14T04:05:35Z","type":"item","id":"Q2007478","labels":{"en":{"language":"en","value":"Sequents and trees. An introduction to the theory and applications of propositional sequent calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7261255"}},"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":"Q2007478$C65198A2-AD09-4C5A-93BB-B872500A5F6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a863468777fe604adc3b337e5bea984b2d4a761c","datavalue":{"value":{"text":"Sequents and trees. An introduction to the theory and applications of propositional sequent calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2007478$28695C00-7459-444E-9FA7-906EA384B7DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9de3f068cd026e2a15725b493b65e5de972f170b","datavalue":{"value":"10.1007/978-3-030-57145-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007478$39D5520F-EA21-4C0A-A1A7-4EF65F07BE0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007478$C7994416-F149-46BC-B226-47AA2478CB80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b747cf0c9bd19fcbc5688fe3c3f4334a261bd34a","datavalue":{"value":{"entity-type":"item","numeric-id":371439,"id":"Q371439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007478$24C2E33B-AC8B-4B73-851F-BA77DC26D599","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01d421ee24aa6ebdb05b23704eda826b87451a7c","datavalue":{"value":{"time":"+2020-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2007478$51C6C965-AD8F-441A-9514-5EE7B4E6F3B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007478$92B8D8BD-B9E4-40C6-B934-0DFD30ED6E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007478$EBED4332-FF1B-4DA0-BB63-78A90BE15B79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33a2ae7a4c719cf1bea69cb7d1c99db1d1f81a6e","datavalue":{"value":"7261255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007478$3AC8765E-7491-4746-94CD-86CCDF9563DF","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":"Q2007478$332E4A86-1F8F-4D26-8C11-C1AD90030CA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"896464954b6b5a84ecb8b1b2d0b9eb8782d8abd0","datavalue":{"value":"https://doi.org/10.1007/978-3-030-57145-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2007478$E1C8DAC4-792E-4435-9479-F5EB354591E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d36b26a90f368112e9185de4d12f9737307b920","datavalue":{"value":"W3110798604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007478$E514C59D-762B-4254-81F8-94074BFFD504","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f650b25cb4d60aeba6f0ee8890637c39501f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5418473,"id":"Q5418473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92daa1bb109327b874d65293001d453909712bea","datavalue":{"value":{"amount":"+0.8746450543403625","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":"Q2007478$D4D16747-BC14-401E-BCE0-DB0142787852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe87d805ab54c20a83a8caf8a114ef5d2fc1d955","datavalue":{"value":{"entity-type":"item","numeric-id":2419910,"id":"Q2419910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d9a5482b341571106a0d89b8f213facdea9be4","datavalue":{"value":{"amount":"+0.7970758676528931","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":"Q2007478$79C070F7-DE2A-48B0-9070-D8D057B95809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bed460f6ece729df542c05a9adbff173fadef2b","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a147b5fe998bea1664b0d483f576fb0ed42bba8","datavalue":{"value":{"amount":"+0.7575513124465942","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":"Q2007478$A10394D1-8598-430E-A9C3-6ACFD90318EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf515b172681cf39c7e1b4776fe69f5892569cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079a0c8906495983e7f7a3c660cd044d1d5c00e9","datavalue":{"value":{"amount":"+0.7348760366439819","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":"Q2007478$5FF92D81-7D57-49F2-97DB-F1872D6DD79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf84873aa607654ff474162add2a713fb0cf02f5","datavalue":{"value":{"entity-type":"item","numeric-id":3452681,"id":"Q3452681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57dbd7d8cbc752ba92cf1fd2913c1d078560641","datavalue":{"value":{"amount":"+0.7304760217666626","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":"Q2007478$9BD301AE-2D84-4806-987D-BE2E810984DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequents and trees. An introduction to the theory and applications of propositional sequent calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequents_and_trees._An_introduction_to_the_theory_and_applications_of_propositional_sequent_calculi"}}}}}