{"entities":{"Q3173324":{"pageid":3184034,"ns":120,"title":"Item:Q3173324","lastrevid":85993811,"modified":"2026-06-03T13:16:12Z","type":"item","id":"Q3173324","labels":{"en":{"language":"en","value":"On symbolic models for single-conclusion logic of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5950749"}},"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":"Q3173324$803C8720-B9DA-4CF5-BE17-B650B406FDF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49b922e0c0160f0aec48a31cfc9ddbbdd76d9f64","datavalue":{"value":{"text":"On symbolic models for Single-Conclusion Logic of Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3173324$49662A3B-E866-4C93-8025-2F525B92825C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca4cfc179a1a5866976e1ded429aff1abde6ed25","datavalue":{"value":"1250.03120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3173324$679D651B-74DC-4894-AB43-3FF080F2735D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65757813d51547e2d7edf5ed37886a91523943c6","datavalue":{"value":{"entity-type":"item","numeric-id":2710721,"id":"Q2710721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3173324$792588C1-4E43-4549-AA16-1BED46408A3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23abbc7df50e9b56d73974fbfb185282140729b3","datavalue":{"value":{"time":"+2011-09-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":"Q3173324$FAFA9458-F018-4482-AAEF-73EAA2456507","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3173324$41402027-72CD-4DCC-9970-DDB102CF562F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79c3767c7f2b93c307f60a226acc8e9a7ee9d642","datavalue":{"value":"5950749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3173324$6DB5A3FE-6304-4D7A-9470-676637DB26E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3173324$EC4DF8EF-6807-445C-994A-685A2171F53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5758ebfc045dbc93641321bc316b17ba20d2ea77","datavalue":{"value":"symbolic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3173324$E3B5F44F-C0E1-4240-B53A-F53EC766FD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c68a7f0960a495de8c26ecfb01174e6ba9f189","datavalue":{"value":"formal derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3173324$4DE077AB-1AEF-4491-8B43-41E145875621","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":"Q3173324$A2E5F3A3-AF4C-41D9-A8B1-399E914833F3","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":"Q3173324$A9623CB3-B3A6-4012-BA6A-BD05EA901565","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8345c7dbd39b358488b3295115e5c0d0e222e9c","datavalue":{"value":"10.1070/SM2011V202N05ABEH004161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3173324$C77EB162-D2F4-4E1E-9586-434BBC8ABB41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0000182d927fbab5df0f4ab0a9f24b913c3450f8","datavalue":{"value":{"entity-type":"item","numeric-id":3569753,"id":"Q3569753"},"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":"Q3173324$49913C19-22CC-4B10-B340-FDC64DD88E81","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":"16ea2a2efa6d4be9875ebd637724196a9bfe0228","datavalue":{"value":{"amount":"+0.7763825058937073","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":"Q3173324$DCF94908-F8B1-4E22-9DE4-7E992F4AFB8F","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":"6d15ec66b39b278907f63e81bac5b6639cd77b96","datavalue":{"value":{"amount":"+0.7578078508377075","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":"Q3173324$770F8432-F5E4-410F-BFBA-1DBD4CD59FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30317190c333fad242ec05ca51b7424692174132","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"816b0ab59930aabd49ccd787cfb0baf68a08c0ff","datavalue":{"value":{"amount":"+0.7462052702903748","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":"Q3173324$4AFA7C29-F0DE-4DB3-8BD5-BA4BFE7D1DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bade1c4d4b8c83dc9273b03a9c5e330219392210","datavalue":{"value":{"entity-type":"item","numeric-id":5957921,"id":"Q5957921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128470dd70caf12fd0ce72e2079504ff6406f5e8","datavalue":{"value":{"amount":"+0.7399709224700928","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":"Q3173324$1E145C67-1BB3-40FE-BD38-C2DE479D2ADB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On symbolic models for single-conclusion logic of proofs","badges":[]}}}}}