{"entities":{"Q3406688":{"pageid":3417391,"ns":120,"title":"Item:Q3406688","lastrevid":80404883,"modified":"2026-05-06T16:07:13Z","type":"item","id":"Q3406688","labels":{"en":{"language":"en","value":"Analytic methods for the logic of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5673420"}},"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":"Q3406688$AE5809D6-E80E-4D30-8F58-B1DFF402F90B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99782c293f95cfe6a7955cb9a294a89a5cb49a98","datavalue":{"value":{"text":"Analytic Methods for the Logic of Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3406688$AFFAF07E-A0D4-4F80-A0BA-2DB180A36089","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a93874da69d0d49c91f45bf2d46859666cea40e","datavalue":{"value":"1189.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406688$BE51C459-C1CA-4725-AD39-0A6B71E020E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"538aac5482944b23b9509c42900acf09751a5dcb","datavalue":{"value":{"entity-type":"item","numeric-id":385020,"id":"Q385020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406688$4C0DF4AB-5010-45A3-86EA-1E36942E1019","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2009cf31b04258b52435dca8e437f90280925b0","datavalue":{"value":{"time":"+2010-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3406688$74F26FC6-A850-4D59-A35C-BC4F55D23A02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0743d38afd245933a2c0bc6b8f20be5d8c4eff5a","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.546.1765","type":"string"},"datatype":"url"},"type":"statement","id":"Q3406688$181CB8CE-E332-46D1-A7B8-D4C8FAFDAC56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406688$4CBEDB05-9F60-4EEA-82A9-800C7F7ADFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406688$24500E00-8497-42AF-8FD5-91E96880E1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406688$84D03271-6FD7-4B62-9E23-CDB910765442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406688$CF04F781-F0A6-487A-9D95-E91C76CE5291","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e420ac2688a4974f5782c32d16bf408b099e0480","datavalue":{"value":"5673420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406688$53E0A848-C235-4711-8156-5AB891E3977D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406688$2D4D478E-E631-478D-AD71-49EB3DB48B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4421b72da5e69352497a79d6545f19cec17c3a4a","datavalue":{"value":"tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406688$368569FA-75E9-423B-AF14-F67AA9A1CE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c4e8ea42b7131203fb857cc83b9ae8526d6bfd","datavalue":{"value":"KE tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406688$7A1FC3D1-C450-4CD9-87F5-1DB8C8AA2C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8c06d585fc9cb5de8b766d860a769194264743b","datavalue":{"value":"prefixed tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406688$45E06BB1-9D0C-44A4-A914-148CC66FBF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa357fc2096980479b47537cc173280e2b227ef0","datavalue":{"value":"single-step tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406688$65E1E416-55CE-426A-9F06-5F8AD1903C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c185ffde099e1623dd9c06e1e2d053184028465","datavalue":{"value":"proof constant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406688$22F9653B-A5AB-4D95-B76A-37B0A6374E98","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":"Q3406688$72C20626-95CE-4496-A5BF-968FEE3CE6FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac2193fd7c93dd063502cc7341ae0c7249ac586a","datavalue":{"value":"W2042676082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406688$DACFF2A7-B8B2-4B65-9FEF-149DE07ABA6F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a069adfb5beb6312452ffedf6e9ecf5f5afaa330","datavalue":{"value":"Q117021978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406688$8182BA03-B052-4053-95D4-B8D3D0ECF2E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41f96adea818b4d46c9add5b5a89c6dffd970c8e","datavalue":{"value":"10.1093/LOGCOM/EXN065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406688$AAEF6CA5-60AB-45A5-93FE-9276623C8D87","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":"Q3406688$3F5F0C89-66F8-4659-ACED-7EE066D22846","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f0206eee7ec92afebd05ca513872623e5a8e30","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1a7f100149a150dd5c39d82db456bc141611033","datavalue":{"value":{"amount":"+0.8171684741973877","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":"Q3406688$03B28A8D-B88B-4B48-BDAC-62E954EEC515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0d0fa343c0b96a269f5396808d56db680ae857","datavalue":{"value":{"entity-type":"item","numeric-id":4829857,"id":"Q4829857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473dcc9e1453a6956580572f253a50275d5896c5","datavalue":{"value":{"amount":"+0.7998626232147217","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":"Q3406688$AB950DC2-5768-429E-A813-AE93924156E6","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":"ad56d2f674ce8f3d87e9abc562e9c21e87a62ef7","datavalue":{"value":{"amount":"+0.7975481748580933","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":"Q3406688$FF4812C5-412C-4F1E-A8AB-CFF9A58BF8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1179604e13f068b59eb285e9dea483e3dd0a9e00","datavalue":{"value":{"entity-type":"item","numeric-id":5232011,"id":"Q5232011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cd7bbdd7ea619d2532f0c3a8bb5353e08accc09","datavalue":{"value":{"amount":"+0.7961267232894897","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":"Q3406688$6E8BFE84-B03D-484A-88E1-A717E1FB600C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed1f66166bebf532b4f7ccf833376ce160348b19","datavalue":{"value":{"entity-type":"item","numeric-id":4329233,"id":"Q4329233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9fd4d6d18aaa803a59e8abed31df3fabaea5db","datavalue":{"value":{"amount":"+0.7953153252601624","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":"Q3406688$5243EAE6-8E41-47F9-991B-84349A0ABE00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analytic methods for the logic of proofs","badges":[]}}}}}