{"entities":{"Q5156473":{"pageid":7186044,"ns":120,"title":"Item:Q5156473","lastrevid":41212596,"modified":"2025-04-19T20:57:27Z","type":"item","id":"Q5156473","labels":{"en":{"language":"en","value":"Iterability for (transfinite) stacks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410402"}},"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":"Q5156473$8D7E3FEF-051D-4C30-B40D-F5457AEA442F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6384feb040461a484c2ed29aaa7625d24eebde90","datavalue":{"value":{"text":"Iterability for (transfinite) stacks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5156473$6ED59C85-47A7-42D2-8092-C23E7F024A25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da135255cdf356fafafee045b285d18fb27786f1","datavalue":{"value":"10.1142/S0219061321500082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156473$D8690B44-5F59-4F20-A114-F343E394F959","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7c127e90f3bdb626ec3e36ebc57f0604031b78a6","datavalue":{"value":{"entity-type":"item","numeric-id":2732505,"id":"Q2732505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156473$A8679EAE-E6BB-4BC1-A425-F033DF08691E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5156473$A15A5228-410D-49C2-A9C4-28533B055CD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bd6ef80e34a1e73cf378caf8506929e4fdadbdc","datavalue":{"value":"https://arxiv.org/abs/1811.03880","type":"string"},"datatype":"url"},"type":"statement","id":"Q5156473$95CBE153-0C7C-44C3-9A00-02945DAC38DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156473$86EE8330-34DC-4C4A-B892-232E878A2A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156473$B2F338C4-061A-4AF3-919A-45D1037DB35F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47cb0b7c2f7e507c3164f881b59adf3042955cee","datavalue":{"value":"7410402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156473$AADCE1BC-8736-4172-A893-B383313CB222","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"455f7028ce20d8220e961432a243eeaf98da4981","datavalue":{"value":"inner model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156473$8D9A8340-1FC4-4778-B88B-5ED1902F4159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"610f63b7bd6968ca5a91aadf21eed85daf62b7c0","datavalue":{"value":"mouse","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156473$08621085-9B6C-43DB-A191-EE2DE8B23B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cec250cadd78f6949fdc8b378652bbc459dd263","datavalue":{"value":"iteration tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156473$88335B0A-3D0D-49FC-A80B-26AB978D9DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2172efc8ea8bcda7da24b21dfb25713599e80e00","datavalue":{"value":"iteration strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156473$8F17DCFA-1AF1-40B7-AA23-6DA7D3217762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad94c914eb9e3a8111c5558e8caca3c2a803039","datavalue":{"value":"iterability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156473$EBE5A787-5F1F-41E2-9A79-7661DBFAC952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8954d6f76799365dc5b870fd18e348b2083a4841","datavalue":{"value":"condensation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156473$47E7B854-8FB2-4B93-8E00-657077221D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554b0900e884a95eac3b2b57073a827a6b3cd976","datavalue":{"value":"stack","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156473$EF8B08B3-B1EA-4DB2-8C94-6735865873F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156473$1C95C019-8F90-498E-9A53-E80D7C81E34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126e01284d834e0003cc7f95deee337ba6b91338","datavalue":{"value":"large cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5156473$E8480BB2-9C71-4290-98DD-4AD297DA8F20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c361eabe7a6f78dc496198826e0e38e43499bc1c","datavalue":{"value":{"entity-type":"item","numeric-id":1633898,"id":"Q1633898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156473$08411555-EC7F-4D0C-9D5C-7EAFBF3B6C50","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":"Q5156473$14ED20C8-31A0-436D-AABE-69E5425C1DEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f55333bc31a49bd999856db7ce681bd44da7180","datavalue":{"value":{"entity-type":"item","numeric-id":4291791,"id":"Q4291791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156473$6E2BC970-2791-4407-BDB2-CC081986824D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef41caedc3c24b6e43145e9617ba66c61e969a0","datavalue":{"value":{"entity-type":"item","numeric-id":4934040,"id":"Q4934040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156473$2721C912-3EDB-48B0-B1D5-684FFEDA31AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120bd7da98387a545f5d5b7557406adc6879c6a1","datavalue":{"value":{"entity-type":"item","numeric-id":2944997,"id":"Q2944997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156473$D9941C09-F8DB-46D8-A582-F57FFFFD759A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b5ac4167e3f28f22789468d6ed7aa2f8b73ef5","datavalue":{"value":{"entity-type":"item","numeric-id":4579804,"id":"Q4579804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156473$1F696C3E-7D37-4971-9B36-F5BB869F4DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba8a8919b1f1b4c4e1fea2717501e322b031d42","datavalue":{"value":{"entity-type":"item","numeric-id":1896486,"id":"Q1896486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156473$E9A5856C-A2D5-4142-83E0-9B8EF738B78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c4e2fdca0f86fb2644598f5d09f996798090f1a","datavalue":{"value":{"entity-type":"item","numeric-id":4894730,"id":"Q4894730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156473$A9C3C8EB-7196-4900-9605-6BD405C7D52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0321996845ea96dbaa5178ba503fe2fa1e8f3866","datavalue":{"value":{"entity-type":"item","numeric-id":3399177,"id":"Q3399177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156473$F6D45026-63AD-48CF-B264-372F0BAAEC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"590d4ee1846fa856c6a8e495485ffc2957024707","datavalue":{"value":{"entity-type":"item","numeric-id":4899164,"id":"Q4899164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156473$2596E0B8-9AAE-4C8A-8677-FAC60B69A2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab4db1a75cb981387d79487bfda8e317acfd82c","datavalue":{"value":{"entity-type":"item","numeric-id":2195634,"id":"Q2195634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156473$AEE12BD8-D565-4C5D-B88C-1E8EC57BF921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c56f12cbfe5e737b53f6aff75ada7b5fe2662861","datavalue":{"value":{"entity-type":"item","numeric-id":1633899,"id":"Q1633899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156473$833F9EE0-DACB-4E71-B034-E200BE3871AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6a8bf8b994d68b52578a6bb51287e3b6c09cc8","datavalue":{"value":{"entity-type":"item","numeric-id":5690487,"id":"Q5690487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156473$D27C9F39-92E8-4624-BD51-A7B914EA36EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64527fef4b906e17ba8fb3bb677fb4a237760c16","datavalue":{"value":{"entity-type":"item","numeric-id":4779661,"id":"Q4779661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156473$E68503CC-98D4-4DDC-B72F-1231D1DF857E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1715b21d3827201f2954c42ede5da55060c37cd4","datavalue":{"value":{"entity-type":"item","numeric-id":3053906,"id":"Q3053906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156473$DC06B08C-B020-4F7C-A902-877840C4D41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ca31230c67c3d2f888b5cfd4340c67d61e5719","datavalue":{"value":{"entity-type":"item","numeric-id":5950797,"id":"Q5950797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5156473$B3B0CE74-19B9-4746-9687-82D5B23CFC42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ffcced2d4b26243d3bd53bbb5855631968aa7fd","datavalue":{"value":"W3082247464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5156473$A7454398-B8FF-496A-8A4B-E38B68D379C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437f8236575e9d6b2b8db1ee88615f3e567575b2","datavalue":{"value":{"entity-type":"item","numeric-id":510712,"id":"Q510712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95456c7902815b9d8a51352624cd99fb2194c716","datavalue":{"value":{"amount":"+0.86337537","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":"Q5156473$1563292E-6186-427D-8A88-798261326F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21bdbd47c7db758ff8ed151b8ca3b79c3b04ba82","datavalue":{"value":{"entity-type":"item","numeric-id":4644025,"id":"Q4644025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68cc33424285c910225fa17805eac0b73df78db0","datavalue":{"value":{"amount":"+0.8493948","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":"Q5156473$4B673E79-A016-4660-A1D5-42B31A098705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc73c3d171748b00ea2dd838465cf79f2ff5def","datavalue":{"value":{"entity-type":"item","numeric-id":385073,"id":"Q385073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f79c1167d5657a5a0ae5f0aed04e93c1c3ab52","datavalue":{"value":{"amount":"+0.8450007","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":"Q5156473$2FAF43CB-5C78-4B73-839C-2AF6671E086F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5743479573114d7efb37561e2657f4523cc5a0","datavalue":{"value":{"entity-type":"item","numeric-id":1004388,"id":"Q1004388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054d477aee2784a4ba924d14dbaec8e0f1729239","datavalue":{"value":{"amount":"+0.84051096","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":"Q5156473$1CF27893-F792-4917-8543-5A9E3F1A87D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5051f3d89b4eee9658f4552bd982080443164503","datavalue":{"value":{"entity-type":"item","numeric-id":750941,"id":"Q750941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab24216017d41290666e0036b610973940e0553","datavalue":{"value":{"amount":"+0.83599377","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":"Q5156473$B48BC936-1136-480E-9CF6-F58C61852C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08755b74ef10f30bf3bb47b931bbe39d5dd88fa5","datavalue":{"value":{"entity-type":"item","numeric-id":2801679,"id":"Q2801679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3faccd6917910a3d0e4de45f8db92da8a7969607","datavalue":{"value":{"amount":"+0.8355356","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":"Q5156473$E3B44BDD-3FE9-4566-8C99-185C7F5A9DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47c9fafd3c04704bd061422a81235540789bd95","datavalue":{"value":{"entity-type":"item","numeric-id":1712930,"id":"Q1712930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad264f72949a22d411c5c86b34e186e8d4030a65","datavalue":{"value":{"amount":"+0.8344679","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":"Q5156473$003E8EE7-4DAA-40A8-A6BE-DC22A6A5BA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c391683395b4c1372ddb89a59aa8ab0c627d51f","datavalue":{"value":{"entity-type":"item","numeric-id":3370737,"id":"Q3370737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6848507edb72d20fd444bb9a041c654f4d9f40c","datavalue":{"value":{"amount":"+0.83378375","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":"Q5156473$B3686862-F04D-4712-B8D1-7DF44B067463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cf0aecffebd33de300f01c93718199be77de171","datavalue":{"value":{"entity-type":"item","numeric-id":664750,"id":"Q664750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e12aa5b7278def95353664dfcb45c720c094fb89","datavalue":{"value":{"amount":"+0.8337747","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":"Q5156473$745A1558-535D-4A0E-B3F1-167CF2A4D719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4661d97f7d72df449567e3ce676736f1bf24242c","datavalue":{"value":{"entity-type":"item","numeric-id":4675263,"id":"Q4675263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7502a59afa96c288d7b04aae7e8a8f21c2031ff1","datavalue":{"value":{"amount":"+0.83371234","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":"Q5156473$67B9C977-B1F2-4D47-9F5C-C39856E4924A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5156473","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5156473"}}}}}