{"entities":{"Q3636828":{"pageid":5666734,"ns":120,"title":"Item:Q3636828","lastrevid":49732600,"modified":"2026-01-09T17:01:45Z","type":"item","id":"Q3636828","labels":{"en":{"language":"en","value":"Dual Calculus with Inductive and Coinductive Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571847"}},"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":"Q3636828$F9607D6B-1F03-47B3-AC4C-9DAB6414FBBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ceb36b68f74fc57c60416f16cf4b539185e4a82a","datavalue":{"value":{"text":"Dual Calculus with Inductive and Coinductive Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636828$A77398B0-7E98-49A2-9CD2-DFCEAF76FB16","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"302c4ce75afc690271eace136e73fbe933d59bed","datavalue":{"value":"1242.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636828$ADC27EC9-99E4-4F20-A946-0ED4F18D55E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b53b716b3e978101683fe801e8dc91b715d43aae","datavalue":{"value":"10.1007/978-3-642-02348-4_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636828$697A0997-50E3-4CBE-9459-BAF0EDE7AF87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b17168131979283ffeacb3fd96d50dbe9ed48e14","datavalue":{"value":{"entity-type":"item","numeric-id":1758659,"id":"Q1758659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$39C03CFA-D6CD-4E67-B0A5-A75AE0E4C953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$4397C93D-650E-4EF7-9873-811D958AF6CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$0BB315CE-91B0-4B18-8CEB-75D074DCE507","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-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":"Q3636828$B6098D38-1806-48ED-A25D-7B7E5D2EEE4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636828$30B80B82-68EB-4475-A2AC-22819D22B5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636828$536F867C-26E1-402D-BB5D-E5E66C0EE2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636828$1D91AB36-56C0-418C-B79F-509735004794","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b871de13dee6d12ee4e465ad455d9610503f144","datavalue":{"value":"5571847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636828$F4A4EB9E-C28B-44F9-B506-3DEB186AB30F","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":"Q3636828$2E154141-E5C5-4FB0-BDF7-28980FBE7383","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04920c0ecf5eb5014e7711b151a01c06893468ed","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02348-4_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636828$26C1B196-5B16-40B0-8CFF-87F78FE4F22F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a25a93f70b9115e1ff167a69b379bcbbb25f80d3","datavalue":{"value":"W1744323313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636828$DB0C90A8-6BBC-4540-9051-343AD3AA15A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1a3788383c9cc058727f1358cfc587595de30c","datavalue":{"value":{"entity-type":"item","numeric-id":1917084,"id":"Q1917084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$3472FADE-94F2-4E9B-A11C-44AE1C99C6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$C0B32CDD-5DD5-4119-A528-8B9583C8F538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$75E826B9-ED74-4568-B700-BCE8C190F19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da40707ee73f9ee320e20b98e46e2ebc2da82e6f","datavalue":{"value":{"entity-type":"item","numeric-id":4411844,"id":"Q4411844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$641F3752-4B1F-409A-B6CB-484FD61264C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b5100e9c60e5a361c2f7d9b8f79e68a1013edd","datavalue":{"value":{"entity-type":"item","numeric-id":3498450,"id":"Q3498450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$B4D3706D-BF18-4928-925F-1A2C8623586E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f1cf971569108cacdad2f6af4c416617bcf4ff","datavalue":{"value":{"entity-type":"item","numeric-id":2639842,"id":"Q2639842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$8F147968-EAE7-46DD-8F46-2A4C9CEB8DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748a5362203b0e3c8347ebddbc722eb15910d45b","datavalue":{"value":{"entity-type":"item","numeric-id":5712312,"id":"Q5712312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$7E7F6DC7-63E4-4B7A-A352-82092CF322C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$D69BE914-D885-4143-9BB7-9B1709E0F0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcaeb1c8d7f99e6d943db19cd7dab3c23ba7a3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4382485,"id":"Q4382485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$F1061F5B-2F30-4E61-BC40-FFF93BDC64F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361356c3f2dc09d85467b4918ae3f277f0e46be0","datavalue":{"value":{"entity-type":"item","numeric-id":4472466,"id":"Q4472466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$87497D9E-D3D0-4F24-9A6B-8572C484AF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$9CEEE89A-0C85-4188-A76A-FCD392663B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$3E1B5E30-4842-4A9C-92B6-7E77946EB2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10b40a7c9ea3e553bbf23c7628f46fd5ebf34f5","datavalue":{"value":{"entity-type":"item","numeric-id":1314420,"id":"Q1314420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$BBE0CB21-054A-4777-9594-CFA5E63C38FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3f2bf5bdd0157f237b95c3e33b17ccd52822b8","datavalue":{"value":{"entity-type":"item","numeric-id":5261275,"id":"Q5261275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$9CE6CE3F-C8A7-44D0-AFE3-A013DB3AA891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2225749455c4dd2dc8c5b8c2994a20623567f8","datavalue":{"value":{"entity-type":"item","numeric-id":5703848,"id":"Q5703848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636828$DDCD055D-046B-4975-BCC0-182FBEE598D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c1815bf0656f13c667314002ab0a2238bf23109","datavalue":{"value":{"entity-type":"item","numeric-id":5479273,"id":"Q5479273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa0b9a61a949bd7e9f88cbd186fdcee99a18de92","datavalue":{"value":{"amount":"+0.92046744","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":"Q3636828$B911744F-A094-4B08-B8A9-D20170EF3299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac12194708e90e17b2cafcd1aefcaa8d751f2cb","datavalue":{"value":{"entity-type":"item","numeric-id":4913777,"id":"Q4913777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7977ee511214445b7462bb7062434f41c6b3f3","datavalue":{"value":{"amount":"+0.91517246","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":"Q3636828$298F45AF-E4FF-486E-B221-DA67A07F4C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f123167db0e80ec2d75bc744cc578e44a7167f","datavalue":{"value":{"entity-type":"item","numeric-id":4635888,"id":"Q4635888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0708391a96079e6d988ebbe7f0e16ce7e43f6c19","datavalue":{"value":{"amount":"+0.91441816","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":"Q3636828$22E02A41-1A00-4F8D-A955-15267911A1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7aaf56b426dccc831732aef684318562caf7b44","datavalue":{"value":{"entity-type":"item","numeric-id":2974773,"id":"Q2974773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a7be790a66fe607dd0d1da05148cae3d249c5a4","datavalue":{"value":{"amount":"+0.91178405","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":"Q3636828$39A503FF-610F-4767-90A3-167122D153D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fe00dd16f83f29e78f1f29866c0bdd4cd88a8b","datavalue":{"value":{"entity-type":"item","numeric-id":4457447,"id":"Q4457447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6817669a4c2a38fcaae8964995ea8d3aba432e66","datavalue":{"value":{"amount":"+0.9106348","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":"Q3636828$BFE81A1D-6F7A-4DD5-B153-7E8F7FE3F804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"387cce94216297b66f69d2aa4feef49d02d8cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":4681362,"id":"Q4681362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6817669a4c2a38fcaae8964995ea8d3aba432e66","datavalue":{"value":{"amount":"+0.9106348","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":"Q3636828$F82F9236-6070-434A-BECA-9F958120685F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3774cac021645a742e372a809e398e85536093","datavalue":{"value":{"entity-type":"item","numeric-id":5887516,"id":"Q5887516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd35c425b65214162d4bb8cb31c4440d72e31fd5","datavalue":{"value":{"amount":"+0.9093742","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":"Q3636828$F7938836-0409-434A-A1A7-6B9443497F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314ffd1a8a0317aa2d60e5bb7cb67fb338fc2441","datavalue":{"value":{"entity-type":"item","numeric-id":3498444,"id":"Q3498444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3973536f8fcc97d3595457c4c98199bf34861d5","datavalue":{"value":{"amount":"+0.907287","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":"Q3636828$2101FD60-2FC9-40C8-896C-14637D952D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59baa381efe4724adbbe4deab319051b5344b208","datavalue":{"value":{"entity-type":"item","numeric-id":6099615,"id":"Q6099615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c1a3a2a35f64b052ff36ac25f887627560b020","datavalue":{"value":{"amount":"+0.9046303","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":"Q3636828$B7143EF1-4E9D-4C33-B605-47225EA544ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67545d5628fd3e254d6d62ebccfc0af8654ad1d0","datavalue":{"value":{"entity-type":"item","numeric-id":5739360,"id":"Q5739360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a4c5503ae0726ad8f172f480595849bb197725","datavalue":{"value":{"amount":"+0.90311503","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":"Q3636828$3149B03F-0010-4209-8708-BC815C42994E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3636828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3636828"}}}}}