{"entities":{"Q4635886":{"pageid":6665467,"ns":120,"title":"Item:Q4635886","lastrevid":41615275,"modified":"2025-05-06T09:42:06Z","type":"item","id":"Q4635886","labels":{"en":{"language":"en","value":"Coinduction All the Way Up"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863500"}},"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":"Q4635886$27008765-C075-4BAC-97E4-09014389115A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e067d3121b0d130a29f07a120c69ec9f5c7331f","datavalue":{"value":{"text":"Coinduction All the Way Up","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635886$73EAD24A-5E1D-4D3E-BE49-3D3B2170CD01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ff8837d1900ba50b4c863b0b8f4dfab7b93e529","datavalue":{"value":"1394.68352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635886$E9249904-60CC-42C5-9C68-A0DF1AE77CDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f5a6f3e60f7dffe2e814017daa23fac0e710019","datavalue":{"value":"10.1145/2933575.2934564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635886$00185D60-EFA8-4240-AB0C-35622E8697DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635886$F0262A44-4043-42E6-9F9F-BF1E21A2D701","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"046029701eaa27e11deafdbb503d5ba484152a43","datavalue":{"value":{"entity-type":"item","numeric-id":4635856,"id":"Q4635856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635886$DF6DF0C9-B96F-4E25-849C-2967018D9664","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635886$B51733DD-B20B-402D-989B-2BAFF05C2AD3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635886$56324387-6A36-4487-9CAA-4E1D32E5854E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635886$4C73930E-9945-4EDC-9D17-D9393DA3C412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635886$80F3FD23-FBD9-42D0-9698-C3F903CA08FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635886$370FDC17-FD69-4092-8E91-6BBFAB599265","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83e727bb701c15f5d3185896557f3cb2eb5387a0","datavalue":{"value":"6863500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635886$9682B7CA-0F2F-4280-8903-F188CB8FCA15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635886$798F799E-8AA4-4F70-B6F8-41F9256D1849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8d63bd162dbdb7e6310553fa4e73e95ac8f4ba9","datavalue":{"value":"complete lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635886$4DAE47EC-411B-4903-A044-3C203A83302B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dacc52b088d33a17a1c3452b357397b375cb0fa","datavalue":{"value":"enhancements","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635886$9DA6B7DC-6660-48F4-BFB1-9BC4E735C131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc8538ec2b6e0c1d788e7c5ba4d4f4d4edaee6b","datavalue":{"value":"GSOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635886$5E84356F-39FB-4A42-AC91-3F2B1FD331A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a1d1231d3d251df8ec8c91aba6558e0c0392aa","datavalue":{"value":"parameterized coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635886$0A485878-26E4-41F5-AD90-4365480956AE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0902bb2ede5a2bfd50bf8c0f49f5ce31952757c0","datavalue":{"value":{"entity-type":"item","numeric-id":20240,"id":"Q20240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635886$36F9E52A-6644-4564-B2B4-C362F6CB10B9","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":"Q4635886$695F7AFA-1559-4A08-A324-0DB1AF1ACF34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d5aac46058f3a68979d3e7295f97fb5f6058e66","datavalue":{"value":"https://doi.org/10.1145/2933575.2934564","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635886$1C490A22-D116-4ECE-A0E1-472B9141FBEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5a24257f964d39315e0d4374ed66a45498ec08e","datavalue":{"value":"W2530227870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635886$07EF8DDB-9ACE-4A8D-9E5E-F547230AC730","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"179d54390d949788dd819b235f87215a0e9b23a5","datavalue":{"value":{"entity-type":"item","numeric-id":857695,"id":"Q857695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c774884a22dea4a313ce64018fc51bc57a88ee0","datavalue":{"value":{"amount":"+0.7948019","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":"Q4635886$37D1DCD3-9A10-42E8-BD30-7A741AD71FD6","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":"7ad8ad14fdd1ec8f267229d6acd6bc0b12f5e2c4","datavalue":{"value":{"amount":"+0.78159225","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":"Q4635886$BD849BD6-A69C-42F0-8671-10025CD15712","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":"6c0d267cb89d0f938a7cf169ea810df3acb50e98","datavalue":{"value":{"amount":"+0.77546144","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":"Q4635886$1D3BA5EA-BE92-4452-AD97-F97E7DEB7798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0146f4e00e17944e30e5ce99e378c5d0b60a12f6","datavalue":{"value":{"entity-type":"item","numeric-id":778734,"id":"Q778734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2b5a7f9668a7082f3fb0928f76cd90fd3720f1","datavalue":{"value":{"amount":"+0.7399601","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":"Q4635886$333A7918-E9A8-49B0-8D85-36E34E6F3304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2331ec4df3b5429b5494c641126472a7edd5ef4f","datavalue":{"value":{"entity-type":"item","numeric-id":5361147,"id":"Q5361147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"448a01b30b4d86ee8b8748895774cbec43cd2b0c","datavalue":{"value":{"amount":"+0.73350745","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":"Q4635886$5D28134B-92C2-4298-8E72-4BF9C48B800B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a319bb2aef078d0c82d9a7be10d2739971ef986","datavalue":{"value":{"entity-type":"item","numeric-id":2940889,"id":"Q2940889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570c8a6da1fb16c97e5477adb03a28c26474aedf","datavalue":{"value":{"amount":"+0.7235261","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":"Q4635886$0C6B6612-080C-40D0-BD6E-8B3204665F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e35b75905135670d2c408294c83ab684659344f","datavalue":{"value":{"entity-type":"item","numeric-id":1175386,"id":"Q1175386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f978f17b6d947d900bf7b042245e51d18f38a15","datavalue":{"value":{"amount":"+0.719074","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":"Q4635886$213E164C-D67E-41E1-8CEC-303BFAC685A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635886","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635886"}}}}}