{"entities":{"Q4593059":{"pageid":6622644,"ns":120,"title":"Item:Q4593059","lastrevid":58286394,"modified":"2026-04-04T14:00:20Z","type":"item","id":"Q4593059","labels":{"en":{"language":"en","value":"Proving infinitary formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804611"}},"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":"Q4593059$2F15B765-5D3C-4333-A702-5D45CDEA53D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ee2fba460b526a401d0b786b226b55e09f9e873","datavalue":{"value":{"text":"Proving infinitary formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593059$47F7DEC0-11C6-46F7-A4DE-B593E2E08D48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3201c8c18be7fd7f908cbdcd6620138795dd2271","datavalue":{"value":"1379.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593059$7BA7B303-AE49-40BA-8B08-22BC4FB9FD0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09d43a62984721477532cbff5047cfda85fa24a7","datavalue":{"value":"10.1017/S1471068416000302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593059$3BC713BC-B600-40C0-BF50-9786D7A145EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31527fd5fa2d485080ce4997c33daed29d656ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2851268,"id":"Q2851268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593059$1DDA1AF5-3F92-42AE-9D69-3613BD05F35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593059$B6DE3144-D4E0-47C3-94FF-9510A4A15905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b41e1db72977c1417b7012b5bc4082626d9a0624","datavalue":{"value":{"entity-type":"item","numeric-id":4593058,"id":"Q4593058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593059$FBD1C823-29DB-458C-B1A4-FE787AF12FAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593059$462576B3-22DA-48D1-970F-185D59CDEDBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4593059$19D884E3-BCC7-4482-A12F-5D34E7D9B147","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"473f8d59726e14f4429e1126747994cb9b161ff3","datavalue":{"value":"https://arxiv.org/abs/1608.01626","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593059$D9DDAC82-7866-484E-AB51-7ACEFF6C3722","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593059$7CEA6FD5-9194-49DA-8A0E-DE19B3F4A4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593059$F6ADF545-5D85-4C51-9E4F-46CBAC8B6F30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f4f89345aecde4bf1e063cf10d12e88ebec2c34","datavalue":{"value":"6804611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593059$4AE214CE-19EA-4957-A92D-5EB3D0CB2BA6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d6e84e9c36b0c6a2477129394fe7ca01650b7f","datavalue":{"value":{"entity-type":"item","numeric-id":16800,"id":"Q16800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593059$B0F981A1-A2A1-4733-92F2-5350A12C8093","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":"Q4593059$FBD42752-2006-4A6E-AFC8-155E79066AC3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b273b391188706ae47701c609a62531d91c6e90b","datavalue":{"value":{"entity-type":"item","numeric-id":4592989,"id":"Q4592989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593059$B572A5A9-DC9E-4726-A700-3F4265AE61DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2729c88c33051a0b3121b400e2322b3a6dea92bb","datavalue":{"value":{"entity-type":"item","numeric-id":3449222,"id":"Q3449222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593059$E9198551-7BE6-406D-A417-DB5A964B9DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2038f0183acfa0ce782f0d7bc3187371edd4c0","datavalue":{"value":{"entity-type":"item","numeric-id":4592970,"id":"Q4592970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593059$18FAC1AB-A3DA-42FA-94FB-B37D6082BEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d3e515340606ae45d58314f0c72b73f8af74a7d","datavalue":{"value":{"entity-type":"item","numeric-id":5537356,"id":"Q5537356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593059$67B8789E-2D00-47C3-BED2-E2F82C4AE02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb35696373cedb65b23a9c1f23955e8ed120359","datavalue":{"value":{"entity-type":"item","numeric-id":3184604,"id":"Q3184604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593059$7359451A-3AF5-4C4F-8E50-96B0186C0092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e23772db96e9bf015553350a5ee3dfa756e876","datavalue":{"value":{"entity-type":"item","numeric-id":5425408,"id":"Q5425408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593059$92B1DCBB-A381-4F60-8B50-441C7CD8CDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d235b13b6189b04afc72d8494188fd02e92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593059$C515BBC5-2FFD-45E2-84FC-8560F9E9CBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cab127ced1638ab08ee90c61f35c1117d8b73b0","datavalue":{"value":{"entity-type":"item","numeric-id":428469,"id":"Q428469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593059$5B69DFD4-25A8-4FA9-8F35-19A65C04C7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebcf9cd174870188d902e446638ebf9ee84dd1d8","datavalue":{"value":{"entity-type":"item","numeric-id":771031,"id":"Q771031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593059$164E4B1F-C61B-4FD8-A69D-F2BA3E21E956","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59beb209f791a40b2486657636c6f0a4cd5fbb63","datavalue":{"value":{"entity-type":"item","numeric-id":2870117,"id":"Q2870117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52da46a2ab956b64c10c2f36b6047c149a0ba447","datavalue":{"value":{"amount":"+0.90608287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593059$5934BA33-7B18-48E7-B380-019891B5FB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cbb82bd6d55f04d9ea47f8c3d281f6ef6f9e996","datavalue":{"value":{"entity-type":"item","numeric-id":3638246,"id":"Q3638246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704de4ff206d5af4ec60475f3bae44d220246c82","datavalue":{"value":{"amount":"+0.89167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593059$E0781A36-670E-4349-BFD1-7DBC5D5A000B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2819e08124e828c711d26abcdaa404f679b9cd7","datavalue":{"value":{"entity-type":"item","numeric-id":5268998,"id":"Q5268998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9134ae14ddab5f5a3c44f226249c3dbaa956411a","datavalue":{"value":{"amount":"+0.88428676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593059$84BC80D7-C32F-474F-9DC7-8C8B4199C5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a353884fcbb18bbc91d8b1ffea1bd012a5d5a7b","datavalue":{"value":{"entity-type":"item","numeric-id":2625364,"id":"Q2625364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a82bc35625964d1e549539fdeceec60b40c96c4","datavalue":{"value":{"amount":"+0.8685841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593059$A557865D-FE9D-4E92-81EC-7DC50214253F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0918840400f796ab8aa5a45848f781f41890ca59","datavalue":{"value":{"entity-type":"item","numeric-id":4948625,"id":"Q4948625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e51ec2bd3e2065d40fda6a146e39255a94f28ed0","datavalue":{"value":{"amount":"+0.8662697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593059$AD9E5A75-37C7-4CCE-A7B0-5093BC5AE468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af74796f9a1f2eebd44fd8c031cdf0377bc351be","datavalue":{"value":{"entity-type":"item","numeric-id":4381421,"id":"Q4381421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"829a29a83c9e46de745d23775a8e74a31bada8ca","datavalue":{"value":{"amount":"+0.86300254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593059$E988FEDF-AFFA-4978-A6EE-438A6022A44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab7780ddfcb4d5a7de64ccc9cf1aa9dc8f97d5fe","datavalue":{"value":{"entity-type":"item","numeric-id":1193598,"id":"Q1193598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd10bed6d588c7187a1457cb736da63748d3de21","datavalue":{"value":{"amount":"+0.86267865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593059$FB086886-66A6-4441-A280-B736CE5CC412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b434f8d4b9cff2d577c29c21901b9e9d78b4e5","datavalue":{"value":{"entity-type":"item","numeric-id":3694724,"id":"Q3694724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21c224f65257c31ed29abd71cd454bb46dd192f9","datavalue":{"value":{"amount":"+0.8620665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593059$75843FF6-B5AF-45D9-88A0-EC95F6FB828B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bef5569fac1ddda9a204ac143662e1fcd9d4a18","datavalue":{"value":{"entity-type":"item","numeric-id":5278431,"id":"Q5278431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de066e1f3ad63005edbb436600f627ea9254001","datavalue":{"value":{"amount":"+0.86013293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4593059$158E850B-1ACC-4FB0-857B-8B7B68DAD787","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4593059","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4593059"}}}}}