{"entities":{"Q5900207":{"pageid":8005439,"ns":120,"title":"Item:Q5900207","lastrevid":41270539,"modified":"2025-04-27T06:58:06Z","type":"item","id":"Q5900207","labels":{"en":{"language":"en","value":"Semi-continuous Sized Types and Termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5308841"}},"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":"Q5900207$82839640-C12E-455A-9CE6-D9F6CB4A0C1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a04eda6e54044909c2fbc7b8693818dfb6374ce","datavalue":{"value":{"text":"Semi-continuous Sized Types and Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900207$AD9021EE-CC86-4AC4-8970-219465252C78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da24a507f0d20531a4f76c44258b5752c87527d9","datavalue":{"value":"1143.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900207$4FD6641C-A31A-4179-83F1-534D88A0523B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c19603a246204853418f1b6e58a7eb8094056bf5","datavalue":{"value":"10.2168/LMCS-4(2:3)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900207$B3129DFD-8C11-4B8F-991B-6B9A12C6826F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fd295c773add0c694cee3f65e8e7cf93dc4bc27","datavalue":{"value":{"entity-type":"item","numeric-id":923882,"id":"Q923882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900207$28F492D7-FA9D-4DDB-BE16-CCA9C8BC3BCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900207$EE8C2E71-2946-467B-9463-1C4545AAF32F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd17ce6d2eaad5d06047c5b5d7ca565a3ee94981","datavalue":{"value":{"time":"+2008-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900207$4BAA2F89-E256-4382-A488-7615BAF0CE6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900207$C2C5A45A-F80C-43E1-8604-49281B559936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900207$B5C4DCC0-6DCC-41D6-A988-15603AEA8308","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7abc5615f8f72ce6390b229de0f49631f4eeb211","datavalue":{"value":"5308841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900207$93BF049A-36FD-4C6B-9D55-5AAC0A3CE831","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e498f1dede412018e94498d16cac132b204d6250","datavalue":{"value":"type-based termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900207$F48F4566-602A-4B15-89E1-47DC68562B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900207$4EF11F3E-117C-4498-BC74-41AE264BA1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5900207$7FF2630D-DA46-4186-8BF3-BA8551BAF79B","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":"Q5900207$86C7772C-6786-487D-B4A4-1CD8264944AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950536c60c978ca974d38c7ed845a6898429c8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5901478,"id":"Q5901478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q5900207$398955A3-4A0C-44FC-A45B-0AE2BB5BF193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5fec648d54e88a7b65d0a8f4bd3f5c2ba89659f","datavalue":{"value":{"entity-type":"item","numeric-id":3540199,"id":"Q3540199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75af574bf2e6cd77d74e3f87acf62f61a6f0011e","datavalue":{"value":{"amount":"+0.8639462","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":"Q5900207$7B6F9ACE-181E-400B-94AD-6302C9141D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cdf8bd943e969e9dc91362299150b96a2146d8e","datavalue":{"value":{"entity-type":"item","numeric-id":3644746,"id":"Q3644746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438253cfb177bed482e6005ed1e055dd952d5b41","datavalue":{"value":{"amount":"+0.82979715","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":"Q5900207$B1DA06D9-AE25-4276-BAB1-04560535265D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83df61e89b51ff6494133e009ccf697c9c8a8feb","datavalue":{"value":{"entity-type":"item","numeric-id":3474631,"id":"Q3474631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fcd05c3e21b51f4fe4a4f54328a048c48d46f7f","datavalue":{"value":{"amount":"+0.8149045","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":"Q5900207$578C2C28-0996-4376-A06A-13F50352C19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b1d36c3b70bbca215dd88f12733a13e625d7ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4457444,"id":"Q4457444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5efcfa5ccd85fcae3a0126646d510e592ef20d2a","datavalue":{"value":{"amount":"+0.8110475","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":"Q5900207$A134E21C-4F11-4540-90C8-B03A1454DC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec79b7bcb0519a393589e45de16888be2026b88","datavalue":{"value":{"entity-type":"item","numeric-id":5170709,"id":"Q5170709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48aefd8a533824c5b1f5f4eb36f807a45002c4dd","datavalue":{"value":{"amount":"+0.79998684","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":"Q5900207$84BE24D0-6707-4733-A79A-0E3C2869D1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1964a2f80b444c9db471ee9786575d420e03ff","datavalue":{"value":{"entity-type":"item","numeric-id":4577817,"id":"Q4577817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e5a7c7c8ae55c20c887eb0da2dbf68d655c05c","datavalue":{"value":{"amount":"+0.796449","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":"Q5900207$64FE58D1-660B-4042-937F-318D250F42C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60785d38add43367d5ff460c7240014af47c3ff","datavalue":{"value":{"entity-type":"item","numeric-id":3618812,"id":"Q3618812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a5d3e99d1c6a933e9a7242f5d58d0c89a00863","datavalue":{"value":{"amount":"+0.7916078","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":"Q5900207$E4A221B5-3614-4ADA-BC93-C0A2EF6943BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6038ad9686f1e02074438b3f6def574bb4342285","datavalue":{"value":{"entity-type":"item","numeric-id":4930716,"id":"Q4930716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f541be47d7e8d4d54ecba78b21b0ffd862eda90e","datavalue":{"value":{"amount":"+0.79049736","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":"Q5900207$B6B79C5A-6D52-49F3-9042-58EA053B4722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d73d144ed2eee09c5bc2143e4f25bf52d90d29c","datavalue":{"value":{"entity-type":"item","numeric-id":4903718,"id":"Q4903718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e5529f2ccdc0049ef13a7cee7c0f8ea0ae5fa67","datavalue":{"value":{"amount":"+0.788656","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":"Q5900207$E2C72831-5BA9-44D2-9F0D-CF23969290E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900207","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900207"}}}}}