{"entities":{"Q5225850":{"pageid":7255419,"ns":120,"title":"Item:Q5225850","lastrevid":41189577,"modified":"2025-04-18T21:36:54Z","type":"item","id":"Q5225850","labels":{"en":{"language":"en","value":"Well-definedness and observational equivalence for inductive\u2013coinductive programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7086663"}},"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":"Q5225850$2E37619A-8F34-49AA-A240-13169018F4CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b4453b89797daa9ced2a5e8451ecfff38b1fa54","datavalue":{"value":{"text":"Well-definedness and observational equivalence for inductive\u2013coinductive programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5225850$2FFD993F-EAE6-4398-9280-4ADEA7321CA4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d91ae9495a9f9b0c191d6c6351efd3734b9654f1","datavalue":{"value":"1452.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225850$B7E6A108-6E68-4E0E-9B29-3AF168D85A38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c4579b04445885ccce3d16d5b0f09ea564b82d","datavalue":{"value":{"entity-type":"item","numeric-id":2233466,"id":"Q2233466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5225850$7DAE6C0F-61D8-471C-8793-8F8CEDB5B4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daf07cf23f23c4637da7244b309b4bbc43d128e9","datavalue":{"value":{"entity-type":"item","numeric-id":618166,"id":"Q618166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5225850$014FBC38-9A35-4748-B590-A38F82451F60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65843a761d7cd8faa1ccfb53922c8c359453598b","datavalue":{"value":{"time":"+2019-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5225850$BED23476-9F98-4845-8E7D-350BD3116EE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225850$F18FAF33-0D77-441B-A218-AEBA65E1A2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225850$3A63015C-2727-4B01-B5BA-5A2280B95007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225850$06563B1E-7ED8-4472-B072-22DD59F147DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2e3ff6a6636da06ca8d1ad325fb00c6852176b1","datavalue":{"value":"7086663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225850$4A408CDF-CE17-4ECD-98D3-2760235C3E12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5225850$03433EB6-E8E0-48EE-BC4C-A1235DFDE28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aec078788f97936bc6f63bf4e3ce60ecba5c3dd","datavalue":{"value":"coinductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5225850$716EF690-0850-4D3C-A70F-FF2F0D2DFC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5225850$9E2B330E-0078-440F-8E46-0D4B9267E6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0f5f11f961902b6d0dfee3acc1de077e9bea97","datavalue":{"value":"productivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5225850$CE92C587-6C9C-4792-A907-F5C557AC71F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5225850$BC62922C-C379-4703-85C1-B6B3DE56603E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05b0c99b3344a774fb07115596172bd20c7d557c","datavalue":{"value":"testing logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5225850$D5B62D39-2229-4CA8-B2E7-36E6219A8934","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":"Q5225850$F635340C-5A1F-45DD-9195-37FD6E677884","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"339c1077f79970c8df5b469206c8e429475c182b","datavalue":{"value":"https://doi.org/10.1093/logcom/exv091","type":"string"},"datatype":"url"},"type":"statement","id":"Q5225850$3C342F8B-C565-4C84-8BE5-0A0EB89CB68E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0925afa2aa83cad27b0cb3cf601183db207452b8","datavalue":{"value":"W2340067173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225850$B5019D1F-3A92-4309-8DE2-1E55E167000E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1685df7ac8d200dc235c4e6dfd3f6897a4ad4c18","datavalue":{"value":"10.1093/LOGCOM/EXV091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225850$9C3C6343-E574-4558-9423-5E91D9D0D200","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5225850$D2C95195-D881-42F7-81E5-CD86BC24005F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc087e84bc48376cccef6bab164ef2fb789bfdd","datavalue":{"value":{"entity-type":"item","numeric-id":4635889,"id":"Q4635889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d800b986d7f166387844b8cafe9b0df39a0ba6d2","datavalue":{"value":{"amount":"+0.9053765","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":"Q5225850$B656DED4-28D2-4BE4-B144-884AB65582A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce24cae45f9916695abe9d4c3328bd592a88431e","datavalue":{"value":{"entity-type":"item","numeric-id":2804944,"id":"Q2804944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dcd45b727c2fc5a465e4498ef303f76acf92b71","datavalue":{"value":{"amount":"+0.89951813","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":"Q5225850$B33238AB-F2CF-4A19-8570-935C21028CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4ce3c03dee1723f4226f152f53671af393c383","datavalue":{"value":{"entity-type":"item","numeric-id":5394653,"id":"Q5394653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ea777fa97f660ba2cbb4f7698198b5abd81b40e","datavalue":{"value":{"amount":"+0.89842296","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":"Q5225850$C893FFA0-1520-47D9-AFE6-B91EB9739A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dd6a8c0b5355f80dde2de7a2ec9cc1c93afc15b","datavalue":{"value":{"entity-type":"item","numeric-id":2753684,"id":"Q2753684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6544b620060e36cbabbc6de9baec77c1e6b080","datavalue":{"value":{"amount":"+0.8903228","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":"Q5225850$F2A2FF87-AEED-4818-8320-40F3E41E19B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e937a88ef960b487417e66dc27f226fec10c47b","datavalue":{"value":{"entity-type":"item","numeric-id":4457464,"id":"Q4457464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53521fce2c6e4a98f4a60caa39548baed8e7cc28","datavalue":{"value":{"amount":"+0.8889812","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":"Q5225850$2E9560C1-1400-4945-8040-9326E9BF91FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf0f16f9bd2a779f2f0fde3110857be40584aed","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28cc25ca34bbda33638d301d6414c6218013756f","datavalue":{"value":{"amount":"+0.8820969","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":"Q5225850$4ED03363-5C90-4B20-A1F6-244AD41263B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5839c49cff4b05b7c8f8c54b6ad535a709aa61d8","datavalue":{"value":{"entity-type":"item","numeric-id":5718567,"id":"Q5718567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ce98544cbe1233bd979f7097d10187eacd4c18","datavalue":{"value":{"amount":"+0.87444675","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":"Q5225850$15B86623-9160-4F78-9293-9BFD6093746C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bad1c49c6a30b8397dd3099f293c67d32b9acc4","datavalue":{"value":{"entity-type":"item","numeric-id":5897074,"id":"Q5897074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c5e5ae528668745fd8e623137070ddddebafd1","datavalue":{"value":{"amount":"+0.8738039","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":"Q5225850$268A742B-C589-4B73-8AEA-BBB46DC762B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5225850","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5225850"}}}}}