{"entities":{"Q3149962":{"pageid":3160678,"ns":120,"title":"Item:Q3149962","lastrevid":47993191,"modified":"2026-01-03T07:27:15Z","type":"item","id":"Q3149962","labels":{"en":{"language":"en","value":"Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1808585"}},"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":"Q3149962$AE751402-EC74-4E8A-B452-379B13D3E36D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a1ebac2f1164e531627bb7bd1d015ac163498b0","datavalue":{"value":{"text":"Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3149962$155030BA-C78C-49FF-BEEC-6EA6810388F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1df6b4ce785e370adbe5758de8b4456b6ef98ebe","datavalue":{"value":"1005.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149962$B57519D6-E0A3-4C10-BEEE-BC26986F7C78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ea1d3345eab29b43449eb33b691a170a98efa68","datavalue":{"value":"10.2307/2693965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149962$AFCF905B-390C-4CF5-B9AB-6283F90EA77D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a110f1ed4fa3764142d6f2e9807097c2edae37","datavalue":{"value":{"entity-type":"item","numeric-id":383069,"id":"Q383069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3149962$69417DC6-516D-4759-A087-449D3408BECC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3149962$6FAF57C9-A5D0-4BB7-9459-A92066DFCB01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d938f7e86a16fca407a88e08e757329bded54291","datavalue":{"value":{"time":"+2003-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3149962$6B825861-026D-4F75-9867-8AB1179B0AAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"378ff7bfc14214df50553da5487d2d4bab418f6e","datavalue":{"value":"http://www.math.ucla.edu/~asl/bsl/0802-toc.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q3149962$DA395852-7485-4E98-A78F-7615320D40AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149962$822049BB-A537-4595-B3F6-C05BBC023A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149962$93C770D7-AED7-4375-98F8-F689F1B51492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149962$327020F4-4846-41BC-A325-FCF31282DCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149962$8F0A5B57-2897-429D-81A0-DA1E67B82D5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"998f2770d879da0e47c5438c5f8e6ca302c79c7a","datavalue":{"value":"1808585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149962$56CFD44E-8B13-498A-8EE5-F0F1E5A2A02C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca4e55c135db49f0b202c71a129ec742d2888e6","datavalue":{"value":"structural systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149962$E18E68B0-33A1-4208-8842-8AF598D90D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149962$0114686E-05C1-47CE-B1CC-562EA6C3FA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9e40e78cf8127ada154fbd9fa6e45bbce8b7844","datavalue":{"value":"structural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149962$3B6E2D0F-1A43-4139-A72F-FD4560B98F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"410d0b0ba76fd55f4991d8e4fe518dda310a6621","datavalue":{"value":"structural proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3149962$B5ED8B9E-1A08-4823-A95E-95B9F945C17A","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":"Q3149962$94D41FA7-5786-4E30-A645-E387C693F776","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ac292b2d62d5897552340777e8eebf9ace1d478","datavalue":{"value":"W4249736578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3149962$C96BA3B1-7BA5-41CC-83A8-B14DC29B2E57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4d08511f79a48a0b9a74e4993234cb389d3a3d2","datavalue":{"value":{"entity-type":"item","numeric-id":5416141,"id":"Q5416141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf457c0a85eb622c844f0926f725ff52a3b1170","datavalue":{"value":{"amount":"+0.8289318084716797","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":"Q3149962$D6BC2296-E5CF-4A10-BDD0-61DE93FE1EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0842711ab5a8001d19500c57a6667657e8e5f4ba","datavalue":{"value":{"entity-type":"item","numeric-id":5251188,"id":"Q5251188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"becfdfff7d5d09c027f06754252c999fac3cad2c","datavalue":{"value":{"amount":"+0.7821410298347473","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":"Q3149962$D21B4849-6CE5-4652-9D6E-358393A6A5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a6a7011bb26cd043a16ec0fa49b94a8d1e3cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3459084,"id":"Q3459084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b4b1a7c3e393278a3f85fa6612db8a09674736e","datavalue":{"value":{"amount":"+0.7611944675445557","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":"Q3149962$8F36A7B3-12B3-4A68-8BAB-359CF073A973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a05ba94db997397fa74a11f1ad87975c1d3bdab3","datavalue":{"value":{"entity-type":"item","numeric-id":5169377,"id":"Q5169377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96d821409981fbf175617597c9511ec649bc35a","datavalue":{"value":{"amount":"+0.7259750962257385","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":"Q3149962$5AB6E58F-49E5-42F7-9838-F8D804CF5A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37739c2067251206687248e32614dc1cbcab14f4","datavalue":{"value":{"entity-type":"item","numeric-id":5213620,"id":"Q5213620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa7e4e4d99eb4fc7f9bad500e34055ca471e990e","datavalue":{"value":{"amount":"+0.7160300612449646","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":"Q3149962$12659A00-F94A-49C0-AF21-0102C38A8E18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3149962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3149962"}}}}}