{"entities":{"Q3644747":{"pageid":5674653,"ns":120,"title":"Item:Q3644747","lastrevid":50819579,"modified":"2026-01-15T07:20:55Z","type":"item","id":"Q3644747","labels":{"en":{"language":"en","value":"Expanding the Realm of Systematic Proof Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5632006"}},"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":"Q3644747$C7DBCDA5-DFD8-4774-ADA0-E736960B7E3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69d2395cba753206bae0f412906597d45a6948f9","datavalue":{"value":{"text":"Expanding the Realm of Systematic Proof Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3644747$04D4726C-C576-47F5-8228-A1B770092ECD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ba034663dd8c37220ce69f45f8e09a16cb73b1f","datavalue":{"value":"1257.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644747$409276AC-BFDC-4239-A5BE-76D4F50570B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"166f392bf519f9c8bde4a11da52fb886370c4a01","datavalue":{"value":"10.1007/978-3-642-04027-6_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644747$EDBEFA6A-1F07-47A8-9D36-AE3CAB175FE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$227312E3-4C0B-4AA1-B0FC-BE9ECA749A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$DE11751C-1223-436D-B89B-A2FDEE81E8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e02fd546ce8d461240920d62f3603cf121b4693c","datavalue":{"value":{"entity-type":"item","numeric-id":271691,"id":"Q271691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$BEE7A979-25B2-483D-B455-D9FFDF8EB7F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$2BED7D37-BCA2-495D-8279-03D263A924D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf6cafc2e90b526a4df9e96f2b96ab84218f45b1","datavalue":{"value":{"time":"+2009-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3644747$E7D590C0-1BD3-49B9-AD3B-B04D8B8F452F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644747$3C42271A-D83A-4EDE-A376-A801C9665ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644747$E7E2E42E-47F0-4B54-8952-D504758B47E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55572c852da56040007fb7b9b1c173d7e994b7d5","datavalue":{"value":"5632006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644747$3A748607-73D3-4A38-892E-7FAD9728A413","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":"Q3644747$731E5A41-DCFA-42BA-BD62-1C8C241CA178","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b428458b2cb31198a5f3416ee6320d2e0fcb8a5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04027-6_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3644747$35CF35FA-F046-46F9-B5E1-62EA5EE68660","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a03d69ef5a5ae6f19a29bd010e7577255d4ad23","datavalue":{"value":"W2244976569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644747$89288CE1-0264-4A95-8198-BD3E9D48A78D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$1CEFD34E-11A6-4FB8-80C1-365A181DA44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$E3BF45A6-E866-4A75-A0A2-9DAF49EB182C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$EEE7C4B6-E66D-441A-A4D3-1BAFB9BAB01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb6160bf113a8677e1ac9b6d647e8b6f9e55f5e","datavalue":{"value":{"entity-type":"item","numeric-id":817693,"id":"Q817693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$C843AD06-CF7A-46AF-8256-AE63E1BE5D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffff87e2ce61cd861027e43ec3257d890208012a","datavalue":{"value":{"entity-type":"item","numeric-id":2457284,"id":"Q2457284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$26AB8914-B6A3-489B-A0CF-B9F88CE18228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3533e6d6f675972a60a671c37af62f3de5216511","datavalue":{"value":{"entity-type":"item","numeric-id":5688807,"id":"Q5688807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$AE8257B2-B7EB-4890-8EE0-37D2A62B85D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e498f4a04beac4654043990270c922c51b05b585","datavalue":{"value":{"entity-type":"item","numeric-id":998759,"id":"Q998759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$FF04F597-218F-4D72-8952-2891AFE9E3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a573059ef7edd2e363f71e1a7ade615ddfc340","datavalue":{"value":{"entity-type":"item","numeric-id":5411445,"id":"Q5411445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$69456A59-82DE-435A-924C-964CC18E9F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e31356ca538c608b26ae7e9529491cb170c50394","datavalue":{"value":{"entity-type":"item","numeric-id":3411997,"id":"Q3411997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$7E0DD85F-60AC-4DED-8EB6-091269E72465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f68e8c5196583ece57f0faac6ebe25d5853959","datavalue":{"value":{"entity-type":"item","numeric-id":5277732,"id":"Q5277732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$D4937895-DCAC-4B7B-8DDB-A8DC66123F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4b57d2c28e8b2a024034c6b7eb038f234e5757","datavalue":{"value":{"entity-type":"item","numeric-id":4440564,"id":"Q4440564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$3BCD63D8-9BAA-44A7-A605-09BB5868B183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26aa43203c28b578fb9e219564d72b07193ff6c","datavalue":{"value":{"entity-type":"item","numeric-id":671512,"id":"Q671512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$A37CE1B1-BC8D-48FE-8BE5-23F14961A253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$FCD69939-C5A2-4FD2-9E9A-6BB35D59EBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$1253FFF6-04BD-456D-B342-E46C8513E439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8dbd2b93540a898c02c61dabf9d1006db2e5390","datavalue":{"value":{"entity-type":"item","numeric-id":4527908,"id":"Q4527908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$171ACD84-A4E6-490A-B9F6-154C7FD740D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7312367626057a1ed18ce459375f7ee2aab280","datavalue":{"value":{"entity-type":"item","numeric-id":3986870,"id":"Q3986870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$607B4584-C2DE-4F27-A240-D702BD98D978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"119c343ed5ad0d1a3eaa370f2346f7ac9d5fc15c","datavalue":{"value":{"entity-type":"item","numeric-id":4123497,"id":"Q4123497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$F3D149A2-515A-43C1-8448-D2FBBB3E0838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556023de527f0a47926ace58f6081826c5c14adb","datavalue":{"value":{"entity-type":"item","numeric-id":5422301,"id":"Q5422301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644747$9D8976B5-272A-4BFB-BF5C-D3A66675584B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a051622b200274dead32cc611d9db4b218b82018","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99048d18019639c92b29503d8457d80b8e7d03eb","datavalue":{"value":{"amount":"+0.7620046138763428","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":"Q3644747$30848C7D-9D19-4AF8-B7C1-BA019C81E756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c73d711422d6c23d53075714f0de54c1fda117a","datavalue":{"value":{"entity-type":"item","numeric-id":5457385,"id":"Q5457385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c69161d236e3445dbf988fe840b43749cff007d","datavalue":{"value":{"amount":"+0.7565162777900696","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":"Q3644747$464041EC-8189-44CA-8E5F-3566753F8F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c20e258639004a3539c2d6b2a73196c6949f688","datavalue":{"value":{"entity-type":"item","numeric-id":730091,"id":"Q730091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b20bb7ed249ee69c97498757743e8bffae9e90","datavalue":{"value":{"amount":"+0.7532181739807129","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":"Q3644747$7A48AD35-C42D-45ED-BB85-224415CDBC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22a05ed2e7e0eeafb05e9788bf11d94e12893d65","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe561ccc0e48161ac7883bd919da968de87735b2","datavalue":{"value":{"amount":"+0.7374356985092163","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":"Q3644747$E66D9212-203A-47E9-A146-3FDB2F5B10F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e31825295d4c4d73708aa65933909e5eb4fdaf","datavalue":{"value":{"entity-type":"item","numeric-id":2259013,"id":"Q2259013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16adb3907c1c9d8dac78fe2778ff71d944f6b5aa","datavalue":{"value":{"amount":"+0.7371498942375183","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":"Q3644747$E6266AD2-86AB-40DB-9F86-C6F8D4828E98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3644747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3644747"}}}}}