{"entities":{"Q4192035":{"pageid":6221636,"ns":120,"title":"Item:Q4192035","lastrevid":28411858,"modified":"2024-03-05T13:39:50Z","type":"item","id":"Q4192035","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3630694"}},"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":"Q4192035$2B3F877B-DC3B-48F9-A592-1A2765539ADD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"485f3411113ed39681c31791299ebe5762ab67b8","datavalue":{"value":"0406.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192035$BE004350-FBA3-4FE4-96DE-3F2EA54D9768","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11035fa3efce7d0fe52c64cf70479f10850580c9","datavalue":{"value":{"entity-type":"item","numeric-id":1137993,"id":"Q1137993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4192035$AEACD1EB-E157-4957-96B4-D72BA0C4586B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4192035$8DFD61BE-FBB1-46A7-8FEC-6576F6C424B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192035$AB3DECE0-78EE-4F8A-87DA-F1071C594738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192035$BC182451-4032-40FC-AC78-61B468AB2A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192035$B01B6BEC-3BC7-45FB-9B20-98A5530AAC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192035$B656676C-0F5D-4BFC-B8C5-5385382A5539","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9243a629fd0d2d9e79aaf0caf86eb2fba35cd13","datavalue":{"value":"3630694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4192035$819CA7BD-21DF-4D46-AA50-09C209D5BCC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239013b7671f817df98bfa7ac866ea82181456a6","datavalue":{"value":"Resolution Method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192035$66962606-DE04-438B-BC40-E13371964360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd67bae26ff68169c678b0e4223e91979356017e","datavalue":{"value":"Mechanical Theorem Proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192035$DD5E69DE-E5E7-4C9B-B9C7-46E73DDFDA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955ce586541d3a6900ce8e580b11ea4acd60fae7","datavalue":{"value":"Proof-Theoretic Analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192035$F3F5509A-7EC5-4E28-94B0-DA28F8548FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048fa9cf42e7a5e757e1358216f6b8eefc809cda","datavalue":{"value":"Gentzen-Type Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192035$78CD3B12-A456-4406-A763-8B3C7303D724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c22e06ba1cd50039f090740d34c974cc0720824","datavalue":{"value":"Elimination of Cut Rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192035$BA2FBF72-10AA-4AAC-A541-B2660A52222E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"191dce4efe972fec49e842a63e92b70b04497a80","datavalue":{"value":"Inverse Method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192035$07A31539-9B9F-4780-89FB-57E0CA99B401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d52ebdb70c9c19bd85472a7a982f977b4bdab719","datavalue":{"value":"Complexity of Derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4192035$F5C93B37-5171-44EE-AC40-6EBA978467EB","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":"Q4192035$FF300549-D2E8-4DD5-AF1E-76B393B24558","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4192035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4192035"}}}}}