{"entities":{"Q6108814":{"pageid":13243121,"ns":120,"title":"Item:Q6108814","lastrevid":47868643,"modified":"2026-01-02T22:39:32Z","type":"item","id":"Q6108814","labels":{"en":{"language":"en","value":"Into the Infinite - Theory Exploration for Coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7704984"}},"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":"Q6108814$42452769-655C-4B92-B238-A98190F4E9E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"728408881dbd7f6c1b034a5a907434c4a41b6c8d","datavalue":{"value":{"text":"Into the Infinite - Theory Exploration for Coinduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6108814$4A33E16F-0EF6-445E-B9B6-6869CF22F4A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"662287ec0ef568836214ae0038495627658f1867","datavalue":{"value":"1515.68343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108814$EFEF51BF-CC9F-4A3D-8889-D9D3B80AC326","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de2270e039013b6257cabe8695cc25674139fd41","datavalue":{"value":"10.1007/978-3-319-99957-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108814$81137BF5-F9D0-444D-A81B-43150E9A3F7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c451471aaa1300128f3250571177f391f954066","datavalue":{"value":{"entity-type":"item","numeric-id":6108813,"id":"Q6108813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$D6EFB7A4-A04A-436A-A1E3-5E2394AAAD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ff9a748cd6fc1ff0926984ae3ee01554f12fa14","datavalue":{"value":{"entity-type":"item","numeric-id":287274,"id":"Q287274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$E569918E-4D61-4395-9E8E-96ADD4E69E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c576e290d89c249adea9f2616a7cfc2d1b21a82","datavalue":{"value":{"entity-type":"item","numeric-id":1687763,"id":"Q1687763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$2EE3F598-3AE4-4B52-9797-FFAC2A46A280","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d890af79c9ca3ac61d434a598eaae0d88b56c6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5302894,"id":"Q5302894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$6BCC1A81-DD8B-421A-B678-FDDDC0EBA5BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71476e68174ce61b1b2a41ccdbdaefb9b107de95","datavalue":{"value":{"time":"+2023-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6108814$39F8D03C-D4E9-4B67-9CE8-CE8B4FF258D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108814$A858ACA0-094B-4646-BE23-F31AC020F923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108814$959D4BB1-CC1A-4CE9-9ED8-82F70E541E8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cb43f5f7fc74ed0310600be8ba871215cbc0b89","datavalue":{"value":"7704984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108814$CC04FD5E-D84D-4591-87C4-C6630EE46BCC","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":"Q6108814$33E409CF-ED29-4789-B2B4-2ACCF9B2A8C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49d1cfc0fcd2c1ab512a7cf9eaf69d147cd13bf3","datavalue":{"value":"https://doi.org/10.1007/978-3-319-99957-9_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q6108814$8FC45EE8-F890-47D5-92B7-3E42E1D20D52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc69c1ffa0583a1d626b1292ee2b8a903dc0045b","datavalue":{"value":"W2888385076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6108814$5A05BF63-E9C7-4084-BC1E-26B4E28AD210","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"435cf13af67db4829ca178e89f130660572eba08","datavalue":{"value":{"entity-type":"item","numeric-id":5371960,"id":"Q5371960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$CB7E3FBC-8C88-47A6-90D0-4B8C356D53B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27af564deade6f382327dd892208b67d4051da26","datavalue":{"value":{"entity-type":"item","numeric-id":2988636,"id":"Q2988636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$C0418F06-9289-4960-AD87-C97737EEB3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d993f7be3ea77cad4a800be898a39b5ce70ed5","datavalue":{"value":{"entity-type":"item","numeric-id":2879246,"id":"Q2879246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$F042FD6D-2228-4599-BB88-826082AD5FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcd8291ba5c6a4998751398a7b8e0aca800ee1d4","datavalue":{"value":{"entity-type":"item","numeric-id":5144617,"id":"Q5144617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$DA1F1FE9-C47E-484E-B46C-DB539304E719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"891b68750ed32518a9a712f13cb431304bad6b82","datavalue":{"value":{"entity-type":"item","numeric-id":4780208,"id":"Q4780208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$DF6532B4-EE00-474E-A1E6-923896CA4896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4097ecb980e2df6f5072c854a7151168d79b8bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4928454,"id":"Q4928454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$A5B1822F-B38C-480D-B6A6-A6BD2C2BF59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720317f07a75a6f52d17c91804e0bddc91fd12e7","datavalue":{"value":{"entity-type":"item","numeric-id":2798268,"id":"Q2798268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$9D9242B0-DFA3-43E4-834E-3C44D719B283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f7ca26c971bc69787decc3ce6effd7fe1a33d6","datavalue":{"value":{"entity-type":"item","numeric-id":3021409,"id":"Q3021409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$80ED511E-4B68-470F-973F-D1D4B0C21A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931978369782d19e981ab830c97bdd5e32e18f56","datavalue":{"value":{"entity-type":"item","numeric-id":1603477,"id":"Q1603477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$2797EDA2-50EC-4ED4-B415-60EE44FDCDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$B7F8F15B-CB19-42FB-865B-8BC0079168E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b457657b2bc0e74cd9171583ece7883a99c7582","datavalue":{"value":{"entity-type":"item","numeric-id":1687709,"id":"Q1687709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$6B76C208-ADE5-4331-B5C0-A330A1917FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc68d0c63fc526ea5871bf3910e143d716cf06f9","datavalue":{"value":{"entity-type":"item","numeric-id":438543,"id":"Q438543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$A5836A84-25F9-42D0-9008-DEB2771EB7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0933abcee6e71217a619391222ae8646b0eea736","datavalue":{"value":{"entity-type":"item","numeric-id":5495917,"id":"Q5495917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$870B5F83-6F8D-46FD-AE3F-4067E883AA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35062ed57b0b6abc8e529ecc41b02bf58ebd4c6","datavalue":{"value":{"entity-type":"item","numeric-id":2888503,"id":"Q2888503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$53035C63-014D-488F-B63C-A17CECF4E9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$C281EBD5-46F5-4EE2-89D8-B10839B15F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251a5f7985125591a1eaf13172311f0e5f6fe6a","datavalue":{"value":{"entity-type":"item","numeric-id":3558243,"id":"Q3558243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$2BD84F51-13AA-4577-B761-D6E5920AF21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$4BE07F2D-63C8-4D47-8D74-8C553DEF329B","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":"Q6108814$1594C1E9-2548-450E-B671-8E44A7C7693D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f927eef2ff97bc2ae67635a63548bc51b9896f2b","datavalue":{"value":{"entity-type":"item","numeric-id":5371995,"id":"Q5371995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6108814$ACA9472F-F7C9-42BE-B38A-837D970EA9CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8b671d2377fddf734ddb65ec2e118032724f1a","datavalue":{"value":{"entity-type":"item","numeric-id":1687709,"id":"Q1687709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c6d95c62f26af3bde2ba6ceec67ca33e3abe546","datavalue":{"value":{"amount":"+0.8371188640594482","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":"Q6108814$E1A992D6-30C2-4C6A-A330-EF4B378BFD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7f034221b4fe3cf9cd1ad0e17d3f6f5ecbbd2b","datavalue":{"value":{"entity-type":"item","numeric-id":5495917,"id":"Q5495917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0fe7a2239ef4fc068ab0e6d38bd9b08ab3ae560","datavalue":{"value":{"amount":"+0.7861445546150208","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":"Q6108814$B1237180-7D7D-4588-9C1F-84B053440732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dfa61574fc575acc4cb7d0ca05a72ef1b08a526","datavalue":{"value":{"entity-type":"item","numeric-id":2287904,"id":"Q2287904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178b482b4a4d1de6a0fa1b740b5e8becf761f444","datavalue":{"value":{"amount":"+0.7452464699745178","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":"Q6108814$F3B09AAE-CA80-4994-9C10-E4B068795336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8b950c83128d11d71296f04dbe09c8f568420f","datavalue":{"value":{"entity-type":"item","numeric-id":4928454,"id":"Q4928454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7486ef2512abb2241188ffd9c63b8975ba6ca0d7","datavalue":{"value":{"amount":"+0.7373117208480835","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":"Q6108814$A0840B0D-7665-4E0A-AD5C-8D5820E96100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88afd69a9b242c093828197147a90fd80978ffa3","datavalue":{"value":{"entity-type":"item","numeric-id":4499159,"id":"Q4499159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b53976381c719d681ea856a6f39bdac514399975","datavalue":{"value":{"amount":"+0.7307837605476379","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":"Q6108814$E543640E-0E07-43B6-B277-8D3ADC019DFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6108814","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6108814"}}}}}