{"entities":{"Q4943545":{"pageid":6973127,"ns":120,"title":"Item:Q4943545","lastrevid":41076835,"modified":"2025-04-18T03:48:59Z","type":"item","id":"Q4943545","labels":{"en":{"language":"en","value":"Monotone (co)inductive types and positive fixed-point types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1416501"}},"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":"Q4943545$89F6B041-4554-4E01-B645-B667BEB8FD85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f67dd365900e8a5403a0dbba5551bcf55562ba8f","datavalue":{"value":{"text":"Monotone (co)inductive types and positive fixed-point types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4943545$A1832699-63DA-4109-B176-D5184F4B74A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7948c2ec6b68ef8d0b7a4c4e20006d86dfaaf841","datavalue":{"value":"0940.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943545$E4C3F644-BD3D-4DC8-911D-6C82A5B35428","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f31cf0ba649c82a71b5cbd30114eb63bfddbeed","datavalue":{"value":{"entity-type":"item","numeric-id":627203,"id":"Q627203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943545$5B8C00A8-B53B-40C2-B086-A26C273CF509","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943545$81533B43-6634-4407-A2D6-7EA3419B9869","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6bc2311a1e4c7e0048fc3ed2a563730637474b4d","datavalue":{"value":{"time":"+2000-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4943545$500EB8F6-1691-41C0-A53E-A46F0205F7D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e97a3b111cca22c1334172bd7e67e9c893dec66e","datavalue":{"value":"https://eudml.org/doc/222026","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943545$F9B4738E-BBEF-4320-BED2-94B232B1E77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"672f38aea9b75de89f07a547f2d30126d5acea14","datavalue":{"value":"https://semanticscholar.org/paper/526b3a7806d8c6c49602aad71714ed512166a83a","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943545$F034215D-0C48-4354-92B6-E47C76BB1E22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943545$50509937-F354-4459-BFE0-94F9FA561E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943545$B771EC56-9E8E-40E8-835F-795BCCAA7C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943545$1C245B43-D621-47F0-9166-4B8695694F04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f789015c4ed39eb5d27802537a1794698039e93e","datavalue":{"value":"1416501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943545$56FC52E8-3ABB-409D-B00D-0630E6C5D667","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9706ec94d366e67eb2fe09f35843434ef2223497","datavalue":{"value":"extensions of polymorphically typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943545$F05F3ABA-2CAC-4BFF-82DB-3A97FE213F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33fd81627acd56a240fde0d4d7060d89e19d0782","datavalue":{"value":"System F","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943545$1C4CC935-2FA1-42B7-85DB-443A3ADE41E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be86e0cc3c9a992a4159ffb9b890a2c28c124da8","datavalue":{"value":"monotonicity witness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943545$4F6CE6BE-5CC1-4813-BD54-40C62E2996AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ee1c10f05dd180d830ac045cdbaf777ba56a8ba","datavalue":{"value":"monotone inductive type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943545$ADB6D090-6151-4E64-BA4C-9C937B871061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10735b114d54d5189494d55fd829707af6e58828","datavalue":{"value":"monotone coinductive type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943545$EF861BB1-7BA3-4EE1-BC5C-5C82963B605C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac91c497e5a12b747663afac74f58bf2ab28eb97","datavalue":{"value":"primitive recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943545$94A63DC3-48E1-4542-83CE-E16D8BE50BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f67c56007db65d6ca948fee5ac8a06adda05a55","datavalue":{"value":"primitive corecursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943545$A04A5754-1F22-471B-9FDC-1C5F61372D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43bf7eef5baa39898efba8eaff82cbeef31aeb2","datavalue":{"value":"iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943545$E88AEB44-2B7E-4EF5-BC92-5777199F11EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa88eeefda2663ffe31ef72bf67fc4a581e99203","datavalue":{"value":"coiteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943545$CDD5953C-E734-46A4-B27D-E4AAABA00674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ec47a34441bce59d08fceaa96a4ccf474e2dcae","datavalue":{"value":"fixed-points of monotone operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943545$9B78B408-02DA-4239-A980-C7F368835D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7865c4e056f68dfbbc0855c53a7492e687bc119b","datavalue":{"value":"retract types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943545$F8F783B7-5C40-40BB-86B8-6B60CE8E5CAF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943545$C22358AE-6338-407C-A053-B86EFB458813","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":"Q4943545$FA265B18-3E3B-44DF-AF10-8EA0E62F8DE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63a7cbd0f475feae1a3eeddb565a78052cac9927","datavalue":{"value":"W2059906894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943545$F213403B-AEC3-421D-803A-F03EBCC332F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4dfbcd316000fd216f8da3f726b728dfcd10917","datavalue":{"value":{"entity-type":"item","numeric-id":4263807,"id":"Q4263807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943545$F6820787-2F33-4CA1-843E-9C7C670AE9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943545$ED00B135-3FBF-4A5C-8359-5DBC79ED5982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7e7dfa9d530d207d8af0616a7342a81c167185","datavalue":{"value":{"entity-type":"item","numeric-id":4720069,"id":"Q4720069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943545$13088AC8-AA67-48C7-A46E-AD277D277932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32371224712c3013bdc19605ccedf407ef52a6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4263804,"id":"Q4263804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943545$25E1177B-5A17-47A0-9100-C5320840DF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe478b1c9e3755ecb4683bf76c070eb4413865c0","datavalue":{"value":{"entity-type":"item","numeric-id":1407578,"id":"Q1407578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943545$E07F6971-8D57-463A-93DC-F03060707FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943545$1B37B2AF-5EC3-42E3-923E-6F64F6874C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943545$3DF85AE0-8F88-40F1-896E-A8336A410E21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50df35258470814f6a43475424ea79b31f17e51e","datavalue":{"value":"10.1051/ITA:1999120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943545$25051095-2EC0-4099-9D63-1F1BF1968C4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8edee560c86da45f3cd0928f14ffd38e58796ac9","datavalue":{"value":{"entity-type":"item","numeric-id":4263804,"id":"Q4263804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d14b142b132df72338aa11764ef1b66e459d2c","datavalue":{"value":{"amount":"+0.9216161","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":"Q4943545$551646A9-A414-470C-A5BD-B1F54F00E41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b7573672c4c939f3a5e35e784d783f036c8f05","datavalue":{"value":{"entity-type":"item","numeric-id":1868162,"id":"Q1868162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56763b04bbb51424a27eff94b9b10e1706a3c469","datavalue":{"value":{"amount":"+0.9118735","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":"Q4943545$5BE1078C-F8E4-477C-BFDF-A49C2D9CEFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b32bcc7cec9f697bd90a481d30824eee72e748","datavalue":{"value":{"entity-type":"item","numeric-id":3976325,"id":"Q3976325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62643e816caf2ca58125f21c7f83eb8a4b34da5","datavalue":{"value":{"amount":"+0.8929196","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":"Q4943545$9C8BFAB6-F8F9-439F-A96A-60ED2B29B2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca06730be80f4c0a160483c72f27d0c235c9f6f3","datavalue":{"value":{"entity-type":"item","numeric-id":4853338,"id":"Q4853338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b53ce7faffa7fa5ee74b0d0e02debeb39ad029","datavalue":{"value":{"amount":"+0.88706326","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":"Q4943545$1816E725-EB89-46D2-87A0-A259C9CBEB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d68d128f5362206664bf741ea88f5f40c22565","datavalue":{"value":{"entity-type":"item","numeric-id":4981275,"id":"Q4981275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e99f035e7f9a16443f220d4ef56bf16ea5cf7bca","datavalue":{"value":{"amount":"+0.8858814","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":"Q4943545$C8CADDE9-3BB9-4340-B455-F6BC69DA120C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c027ff71ef6f4a51f3191e0025701e82217bec8","datavalue":{"value":{"entity-type":"item","numeric-id":5567831,"id":"Q5567831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88369d884ef1a2d2abaccebc2899971ad08980eb","datavalue":{"value":{"amount":"+0.8854037","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":"Q4943545$2BDA2D25-EE78-4BB4-820E-A445CF0FFEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f5cd59a78c7606aa8dcab55a2a93692a8a6818","datavalue":{"value":{"entity-type":"item","numeric-id":5854733,"id":"Q5854733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55c8d6864ae42c0cc9081e59483bd5550f63e31f","datavalue":{"value":{"amount":"+0.87954175","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":"Q4943545$3B926524-DD39-4359-84AE-BBDECB1DCDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f3cbfe9a154a5474bc0d804b28fd86d886e713","datavalue":{"value":{"entity-type":"item","numeric-id":4945244,"id":"Q4945244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07db58fa8d301fcea609bb0b1b5e897bd4d2d77d","datavalue":{"value":{"amount":"+0.87886345","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":"Q4943545$00AA0D8F-6054-407E-A814-22A69B191955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a62ce123c1cf42b5cfa1cc7ccf58379fc93c0b5","datavalue":{"value":{"entity-type":"item","numeric-id":688845,"id":"Q688845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa150c188210e82f46247fed059501ccdb87cac6","datavalue":{"value":{"amount":"+0.8778649","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":"Q4943545$B655BF19-8A47-4C98-B0CF-202AF788FDC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4943545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4943545"}}}}}