{"entities":{"Q5283217":{"pageid":7312791,"ns":120,"title":"Item:Q5283217","lastrevid":52863470,"modified":"2026-01-23T16:22:28Z","type":"item","id":"Q5283217","labels":{"en":{"language":"en","value":"Tower induction and up-to techniques for CCS with fixed points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6750828"}},"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":"Q5283217$E016413E-9201-473E-BF89-B94F211C7DED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ea77776b9a10ab6ddf4957d0178387a1608140b","datavalue":{"value":{"text":"Tower Induction and Up-to Techniques for CCS with Fixed Points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5283217$A6782271-D63F-48EC-B838-7D47F57C61FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"649ec2cd77b6459b92211b6ba104194cf1abbf93","datavalue":{"value":"1486.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283217$02980664-FC8F-4DC8-9A4E-A3CF6EFC20EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec88b026cd5bfaed147e511324188ff159f93ecf","datavalue":{"value":"10.1007/978-3-319-57418-9_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283217$AC0D3943-FBAB-4941-A831-BCA30BF252D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1370b9d4217752da1d149dfd73835d63dc5da1b6","datavalue":{"value":{"entity-type":"item","numeric-id":2945647,"id":"Q2945647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$6ED04CEE-A25F-4F81-96F5-3B23F0D11C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$D677D60B-1677-4FAF-9685-FC9CA5DD0E8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$6F30EB8A-1DE9-4EDB-A2FF-D7E752EA8D9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283217$07C908DE-57A0-4960-AA85-0BFBD2B10583","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283217$D0C5628E-63F3-4E66-A420-DF938380E82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283217$C23F8AA7-2430-4228-A8CE-FECCBC5C6758","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58d92f8ae1f43719c92ab50d077de50298df50cb","datavalue":{"value":"6750828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283217$D84BB56A-6306-40DA-A3F7-5FF428FC8144","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$E513B630-A6DA-43BE-8ABF-559C09090B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8fb5f6da2df561a79b128a652d1df41678f66c85","datavalue":{"value":{"entity-type":"item","numeric-id":22838,"id":"Q22838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$B0ADADAF-0A51-40E9-B6D1-9829FD485130","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":"Q5283217$FAF13278-2C61-4084-89A0-2853FFAC06E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"184a66e9d45cfd7b00495ae645d30817bddf03a1","datavalue":{"value":"https://doi.org/10.1007/978-3-319-57418-9_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283217$D0863704-F8B8-46AD-9B15-C4F88CF071F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acac043ef83e5113db097ff80aed7585e699eecc","datavalue":{"value":"W2609910004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283217$4596CE2E-BC93-49B8-9924-A9AB4960AE75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7651946351829281edb6e9c299e3fa3b5f82af70","datavalue":{"value":{"entity-type":"item","numeric-id":5898169,"id":"Q5898169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$10CD70E8-7A87-4CAD-A347-99DA310B78AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807b82362e683c4f0af7c15a5f6b427da763893d","datavalue":{"value":{"entity-type":"item","numeric-id":3557858,"id":"Q3557858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$7CA5140A-E328-4524-88E8-E7CE0F5A5080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ac7220b224887c3d7368dab53016f76b888f56","datavalue":{"value":{"entity-type":"item","numeric-id":2841501,"id":"Q2841501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$0976817C-3FAC-4A9C-91FC-4BD665E80943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$DA2B3567-50AA-400B-B071-FBC4837AEA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2583f34f3ba476ef3ed853ba8693dbe27f9970f7","datavalue":{"value":{"entity-type":"item","numeric-id":2931796,"id":"Q2931796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$66A0D3A2-49D3-4B5B-9398-0D743A8C1409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f101e8616f930409d8e944ae3903ca4e677e434","datavalue":{"value":{"entity-type":"item","numeric-id":5739896,"id":"Q5739896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$3C1C64EF-6A5A-4831-A058-A29BA258E034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e010c4ea079b9aad48aa967871b2e9777a74f284","datavalue":{"value":{"entity-type":"item","numeric-id":5756594,"id":"Q5756594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$6B3AD9BB-4D3B-4466-A420-1F52757FD724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c5c50666947331e6627a00bf159a6a4deda17b","datavalue":{"value":{"entity-type":"item","numeric-id":3498446,"id":"Q3498446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$9CB7723D-3D52-401B-A2EB-1F0F7663BE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19067979a65f5f9cffa8d51a2008c8cba42d74e4","datavalue":{"value":{"entity-type":"item","numeric-id":4635886,"id":"Q4635886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$81CADBD2-DF98-4BC6-91D5-21A62F72D45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$567631AA-0A54-494C-BADD-1D14F82BC64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdfc6c2a229e09846d7ccb887c26192d20ce0f8","datavalue":{"value":{"entity-type":"item","numeric-id":2945649,"id":"Q2945649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$E3904B94-D449-4BBF-9F50-588DE7CC4000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e31bf26ad172e8e6a08a70c9fb1153ffbdb8f4b2","datavalue":{"value":{"entity-type":"item","numeric-id":2945651,"id":"Q2945651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$E006F74D-99E8-46D7-9169-5F731FF3523C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283217$ADAE7CC1-CA16-40CC-9F73-BC5A1F50A674","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdacffe350b0172db6270b2a9b59777bc6a7500","datavalue":{"value":{"entity-type":"item","numeric-id":4635886,"id":"Q4635886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"949d96e5ec68864198ef70f68668ce7eb64cb163","datavalue":{"value":{"amount":"+0.7835673093795776","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":"Q5283217$568BD032-8AD6-43E2-97F6-67F654323BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef65eab2c4369c40ecafa90adcdc2b0fa4acf334","datavalue":{"value":{"entity-type":"item","numeric-id":523132,"id":"Q523132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57012d0bf314610ac38a63d05c89432c264356c5","datavalue":{"value":{"amount":"+0.7783558368682861","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":"Q5283217$B8F83314-DB92-46E6-90C9-37E47E6E91B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a2c69a2ef12c76a4abd1b71822c03c31c1b6fa","datavalue":{"value":{"entity-type":"item","numeric-id":4635603,"id":"Q4635603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fad37b13fcedd2597dc8aa267e3f40f559defbef","datavalue":{"value":{"amount":"+0.7714344263076782","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":"Q5283217$4B0984EF-532F-45D3-AFC0-345891EC4E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9534c0b4d37f293b8f0874a0b9e15b3cc0e37022","datavalue":{"value":{"entity-type":"item","numeric-id":5716822,"id":"Q5716822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76e925e01480657a6477f35bf2acfb2fb90ef49d","datavalue":{"value":{"amount":"+0.7695030570030212","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":"Q5283217$F38BCB89-1458-49F3-B7FD-374CC7F8B5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9773ee3d70debc794eac4ab34c8a660087718bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3591388,"id":"Q3591388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dff44935ca559e9598745fd2c35ef1de7484ce8b","datavalue":{"value":{"amount":"+0.7677569389343262","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":"Q5283217$DDB58550-EEB2-4FA8-B18D-E5DF6BEA3FF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283217","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283217"}}}}}