{"entities":{"Q3569753":{"pageid":5599657,"ns":120,"title":"Item:Q3569753","lastrevid":90310028,"modified":"2026-06-04T19:50:33Z","type":"item","id":"Q3569753","labels":{"en":{"language":"en","value":"Symbolic models for single-conclusion proof logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5724129"}},"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":"Q3569753$8D50BD54-4BED-40B7-9926-A2FDAF8E2E98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ae23b37f29bdbb6308a28e0e6f2c25c68c9669a","datavalue":{"value":{"text":"Symbolic Models for Single-Conclusion Proof Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3569753$683D5AE6-90D8-4708-A693-3F5FF24B6ABA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fc274969a9eefe6b82fe61ed66f600faf32f74a","datavalue":{"value":"1284.03266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569753$E179CB22-7D00-40AD-8320-F496186CBBB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b74d1d843763cc13c4419ad34642742fef6a402c","datavalue":{"value":"10.1007/978-3-642-13182-0_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569753$233B26BC-CA75-465E-A1EA-317A32A27E2A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569753$2FCAE108-3767-43B6-9E36-9DE651FB3AF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac94dd57b5c65400291c38d5f09a7ad8c1a5f3db","datavalue":{"value":{"time":"+2010-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3569753$5FC7AC38-8407-4D99-A1D6-017ED8ECF5FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569753$097F2AD2-4268-466B-88E3-97C0C936F5B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c2a4a789bfa0af194bc903c040cd6ebee9c04dd","datavalue":{"value":"5724129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569753$EDBD6A05-5AD4-48E5-9E4C-2779BC14A77D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e292fd46d1d7fbb245a80944eeb8caa59f97daab","datavalue":{"value":{"entity-type":"item","numeric-id":785961,"id":"Q785961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569753$738246E3-3DAA-481E-B605-3A9B50A3F191","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":"Q3569753$B586F506-A537-440B-8B75-551EA3A2EC89","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdd2aea1e0a8df8c70e3b35b5ff66bc89fd87804","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13182-0_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q3569753$0AED33D8-955E-4B0F-9CB9-54F1FC29AFD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b8f89286c13c1d1ebd44c93703103266311c014","datavalue":{"value":"W1593882330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569753$C8A2796F-44F0-471A-85C0-2E256790F516","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121f9e2ce3f64d7b853e7d0e3a801cfe0453f321","datavalue":{"value":{"entity-type":"item","numeric-id":3173324,"id":"Q3173324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3998271a3b14152ec5103026f6e96c37c87591","datavalue":{"value":{"amount":"+0.8949859142303467","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":"Q3569753$9F157626-9630-4D02-9945-0B32A538A3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db244f270ef3cee52ca0891abe5c7b980e5f2766","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a7b0fd3bcd5921f2900a33c626941e1bf0b4a9","datavalue":{"value":{"amount":"+0.8673012852668762","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":"Q3569753$44DCF96A-56B2-460E-B9BE-3CE5BAB5AD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b89b84c9849a461725254fda73679b2b24412e1","datavalue":{"value":{"entity-type":"item","numeric-id":3431965,"id":"Q3431965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5cef25e06c1e3951b7a23cce29e70046c2dc1a8","datavalue":{"value":{"amount":"+0.7537617683410645","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":"Q3569753$9231B97A-086B-4181-A676-7516A75DEC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33b1a50d1b3a1a502ea8e44b5e262dde9e24167f","datavalue":{"value":{"entity-type":"item","numeric-id":5452174,"id":"Q5452174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2036cfb64c40c5c6d0efccbb797fcc1242332643","datavalue":{"value":{"amount":"+0.7388582825660706","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":"Q3569753$9DDE2A2A-890B-46DD-9FAD-9F9A6167D8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65e03e19c49765b519c497dc77daa59b7b4d463","datavalue":{"value":{"entity-type":"item","numeric-id":1924755,"id":"Q1924755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f857bff0dae75a4627aca6cf9abe4fe2c2ca6994","datavalue":{"value":{"amount":"+0.7356077432632446","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":"Q3569753$2199D27A-60C1-4C20-94E8-A1AAF1DA69DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic models for single-conclusion proof logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_models_for_single-conclusion_proof_logics"}}}}}