{"entities":{"Q1762733":{"pageid":1773475,"ns":120,"title":"Item:Q1762733","lastrevid":74173305,"modified":"2026-04-14T18:47:13Z","type":"item","id":"Q1762733","labels":{"en":{"language":"en","value":"An approach to infinitary temporal proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2133517"}},"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":"Q1762733$4C7920BC-6607-43ED-B3F5-BAD41E6708ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e67499ca8ad9eaf9a9a7bcc6eeecf7f94c809e79","datavalue":{"value":{"text":"An approach to infinitary temporal proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1762733$C747F8C0-94F5-4248-9090-1258D537BD0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2554ecc2ae11e48d8abcb2aaf6a1bd78a6b5d62","datavalue":{"value":"1059.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762733$34EF24C8-F5D8-49BE-AE0B-05F2A786EA86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41727d55f4d48c1029c1bbe7a3cee1640d697b9d","datavalue":{"value":{"entity-type":"item","numeric-id":200743,"id":"Q200743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$0F9B175F-C679-42BC-80A4-AD81DFC0719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b68d0e89e7b621c100d1bdf2782ef774a2f362","datavalue":{"value":{"entity-type":"item","numeric-id":1044835,"id":"Q1044835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$EF403E94-5E7D-43C7-82CD-A11F479AFD12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$F97C8EAF-3830-43D8-97F4-BFB4A024D9EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5596d9d431c014306023aa27a7b00ce60a426d45","datavalue":{"value":{"time":"+2005-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1762733$B2BF484F-1A5B-492C-910C-F3212F18A023","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762733$FBCB8C81-0F19-468F-AACB-C6ABA20FAF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762733$858D5B06-1CD7-4224-96D6-2F7DB752DA5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc72d529545f9f38932578161fbc6f2da743000a","datavalue":{"value":"2133517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762733$45AF55C7-4FD5-4691-A7B2-C1E9AA6806D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762733$0BDB3AC8-23DD-4A26-A8BA-B6CB17EB24B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e40f5d1fbef6746028d4f56f5695b4fe70ae3901","datavalue":{"value":"fragments of Linear Time Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762733$9602E273-7286-4182-99D6-2A20E44B84DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1762733$26A4A830-9204-484C-BE0F-CEF7ED18C2B9","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":"Q1762733$380242CC-5CF7-4784-8088-BE5F45B6DCF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"720c409a0490d858b47f7ccbfd0c297147f18376","datavalue":{"value":"https://doi.org/10.1007/s00153-004-0237-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1762733$8023D654-341B-4BC8-A165-80D8CAD3F82E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fc4e6e3ea7fb26ea25225ac20ed42f27b01ba09","datavalue":{"value":"W2074901796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762733$8D7F0904-75EF-4188-B2E5-A6F97D666024","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a068703dde9b5280ee9a65f63f5583c1d1d4eaf","datavalue":{"value":{"entity-type":"item","numeric-id":671986,"id":"Q671986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$E64B243A-C85F-497C-9A66-E9B044A2C4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8325beea8130b47d267a7f2f8cea1b793f81443c","datavalue":{"value":{"entity-type":"item","numeric-id":1408856,"id":"Q1408856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$19A00E5F-6DBF-4AE7-9EEC-3AEC545ABA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72827dab051e44c54a6dc51a6cabe4f8f498a44","datavalue":{"value":{"entity-type":"item","numeric-id":1289100,"id":"Q1289100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$25F52E25-F0F3-4EEA-AE2A-E519CE56816D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79204ae6fda83ae6c32d8ef6f69da9d33193c8db","datavalue":{"value":{"entity-type":"item","numeric-id":4247687,"id":"Q4247687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$F144C026-AF89-4B64-9D51-A153528CC414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$47D8D8B4-1205-433E-B6EB-DC76CA9635BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$7E06846B-1515-4B1B-855D-E357E47F2DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204f2846aa5f6dcc7929ed3391d28e2c9bd41326","datavalue":{"value":{"entity-type":"item","numeric-id":4342097,"id":"Q4342097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$21D3C069-D68C-4564-AD97-D6E7BEBFE896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$7BE58184-E935-47FF-8F7C-F62304D10795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31d86df45fbc971c98e4ef4a3803e6eeef4f4d43","datavalue":{"value":{"entity-type":"item","numeric-id":4221772,"id":"Q4221772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$BB568B71-78EE-4A31-9E50-66EBFD43D73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$DBAB6BC3-708E-42E8-BBA8-6785110165BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc86be7cd3e21eaf4eb57c5ebd0be7e5704d962","datavalue":{"value":{"entity-type":"item","numeric-id":5688812,"id":"Q5688812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$CFB763BB-4108-46CF-89A4-948BFA2A0F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e788202b4da67662f58f920f8e400fe73756e51","datavalue":{"value":{"entity-type":"item","numeric-id":1207545,"id":"Q1207545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$A52477B1-4EBE-469E-8EAF-32B93D16373E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6440aa6eb5d414713f792f7d809d5508c4bdc0ba","datavalue":{"value":{"entity-type":"item","numeric-id":2758043,"id":"Q2758043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$026962C6-6383-4EE8-931A-793FC1825B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$F5E45B72-6397-4C6A-A9FF-DB49F7CBB45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29914b3e56cb84cb7b0a226433f420ce4b8adcae","datavalue":{"value":{"entity-type":"item","numeric-id":1332142,"id":"Q1332142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$E02D5AC1-CE8D-44E3-93CA-07A83ECB86A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$5E7F2BDC-37DF-4272-A5C5-37ECFC9924FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56abf17fe38c9d6f19bb07c76c7c037b3d964b6","datavalue":{"value":{"entity-type":"item","numeric-id":1102941,"id":"Q1102941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$7950CA80-B25A-4241-A809-D9337DEB0039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae8a5d15762dafef840880913ae9330327163a45","datavalue":{"value":{"entity-type":"item","numeric-id":4874650,"id":"Q4874650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$B3094E1A-6BC7-481F-9E32-E60306C0CE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$5F343F0D-529B-4969-893B-ED40366252AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1762733$2640B0B7-F511-4191-AA58-07ECDEC5F439","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2e03b42f32a46a35ebe415271819deb41e1bc68","datavalue":{"value":"10.1007/S00153-004-0237-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1762733$F7C468B1-948A-41CD-83C9-10E9B8600D45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd097637b33dcb3fa00a8d4528cacbfe5d3faa32","datavalue":{"value":{"entity-type":"item","numeric-id":3358711,"id":"Q3358711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114624236d846620bcae7bc5679a92d04da50373","datavalue":{"value":{"amount":"+0.8569705486297607","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":"Q1762733$5AE89AF4-D77B-4D49-BBE8-DEF09EE631ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4d93c4d76a7ba344882e3131065a19fde672a6","datavalue":{"value":{"entity-type":"item","numeric-id":3751561,"id":"Q3751561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7edc9cf7879fe1447de666fe34f88e14492b0f7","datavalue":{"value":{"amount":"+0.8374664783477783","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":"Q1762733$0ECDF1FB-3B46-4C35-B1F0-DC96F1AB47DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2edaffa804b74d87e038d748335f23a598307087","datavalue":{"value":{"entity-type":"item","numeric-id":1589838,"id":"Q1589838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9e31ef3727778b51f761624f2ba6d653d3c139","datavalue":{"value":{"amount":"+0.8253702521324158","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":"Q1762733$62B8CBD4-722F-4400-A321-AC28748D85A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e5ee5f4227ed63fd2fad30b7785213d7f4733f","datavalue":{"value":{"entity-type":"item","numeric-id":2577594,"id":"Q2577594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f06b881930b2876b3b328e3780185e63a8bcd63f","datavalue":{"value":{"amount":"+0.8239873647689819","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":"Q1762733$87A9F107-0C3D-4EC1-A715-BCE95326DABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05aa3dcda7621c0f67f1f397a8e1414dd729e7a","datavalue":{"value":{"entity-type":"item","numeric-id":2757840,"id":"Q2757840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c8fa3210287f2e1efa3191a0a181774c83cc40","datavalue":{"value":{"amount":"+0.8202317953109741","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":"Q1762733$E75EBDBD-204C-457A-9364-C07B25D47428","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An approach to infinitary temporal proof theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_approach_to_infinitary_temporal_proof_theory"}}}}}