{"entities":{"Q5856422":{"pageid":7885973,"ns":120,"title":"Item:Q5856422","lastrevid":53961407,"modified":"2026-01-26T00:10:39Z","type":"item","id":"Q5856422","labels":{"en":{"language":"en","value":"Complete call-by-value calculi of control operators. II: Strong termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7327951"}},"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":"Q5856422$D2D9F769-23AF-4895-90D4-72A88E21962B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"991f99b314ef46390c1639de77b60a5bc5cfd477","datavalue":{"value":{"entity-type":"item","numeric-id":235606,"id":"Q235606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856422$977A0AAB-165E-41D2-9009-F16AEF0679A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8fba84eb94214fe49723816f0b730e9575dc50c","datavalue":{"value":{"time":"+2021-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5856422$93634C92-9412-4CED-B957-47578799DD64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aae7de24302a5f8dea0ca83eae5c8dd5db989117","datavalue":{"value":"https://arxiv.org/abs/1707.02034","type":"string"},"datatype":"url"},"type":"statement","id":"Q5856422$CD0A0B32-7BD5-438F-853D-5362FCC2A8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a8a0c7f8cb0b880c4fb7454cf78b714ac0c048d","datavalue":{"value":"https://lmcs.episciences.org/7234","type":"string"},"datatype":"url"},"type":"statement","id":"Q5856422$A647D897-397B-4D52-A153-F3ACEC62D1FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5856422$4618EB3B-7AB6-43D9-A05E-ABC8F8FB4D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5856422$1A9D7B48-F35A-454D-BABA-02D27C326F35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d88420c8325a47bd5d33a88e5a2421540f326e0","datavalue":{"value":"7327951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5856422$A002E15A-BC42-42C5-84AC-26D77C3C8C2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9070650248892f99e4132bfd1d0fef05fd7f6d2e","datavalue":{"value":"\\(\\lambda\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856422$42E7F59E-5CB5-455C-8CCA-33D49DD4438B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216ace9210b8a9445f836b5d7843000108085251","datavalue":{"value":"control operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856422$B3522E59-25F5-4318-BE23-1F9E4E6C7476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856422$2077EE42-AA54-4481-8442-80D82C6F15C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856422$DECE974F-FD2A-4368-AA86-E5CF9D99D1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f21aac5c22fbd1483ee5103b061b782a74be0742","datavalue":{"value":"type discipline","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856422$F1616E02-A84D-4F64-A088-1A860E21E1A1","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":"Q5856422$560E60C2-CEA4-4AFC-B4CB-584E0E07A865","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956f8f6ced52772736e9707cc664b497562a003b","datavalue":{"value":{"entity-type":"item","numeric-id":845711,"id":"Q845711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856422$B24A23EB-F7C3-47EA-BC6B-9B8423455257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3619685e4ee627f635d8418a28176c14eb857f9","datavalue":{"value":{"entity-type":"item","numeric-id":3498441,"id":"Q3498441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856422$644B8A3F-B1B1-4CE3-A8C8-205FF0C188F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b80347fecc1538e6f48ea7baaf54fa1296ed45f8","datavalue":{"value":{"entity-type":"item","numeric-id":2704326,"id":"Q2704326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856422$6A33F05A-1D8C-453F-B4EA-09810C6EE772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856422$B4AEC255-394F-4D41-A356-D1471A72EB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c6bd3bf97ced9735fbb1a96e54e3086ae3fd4a","datavalue":{"value":{"entity-type":"item","numeric-id":1853595,"id":"Q1853595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856422$F3E2ACC4-A150-4812-8DD6-A2652A77C333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8586193e198456c5636e9dc32629cae648e642bd","datavalue":{"value":{"entity-type":"item","numeric-id":4650260,"id":"Q4650260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856422$5F9F8F1B-D3E6-4D01-B51D-00B8EB679669","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":"Q5856422$C3275BED-5767-4DAE-A003-3B3A9A03BDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856422$B93ABD27-C9F0-4CB0-939F-32EE9D45EC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856422$5F466E9D-86DE-4E81-BDB8-9528BF40BEF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b366c6b332c393ba63cc53f80458cfffbf4b8e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1853595,"id":"Q1853595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4721e5a62efee66d4d04390052b528ef9d59af11","datavalue":{"value":{"amount":"+0.7951425909996033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5856422$6BB234B6-4A1B-4DEC-A5A2-27B9459901EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8233962fd49c5bd66fdd2bf3acc23a8f3975c30","datavalue":{"value":{"entity-type":"item","numeric-id":4993849,"id":"Q4993849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df54d506c92c6aeaf135305ceb6b14b1ca5062c1","datavalue":{"value":{"amount":"+0.7900587916374207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5856422$83599E67-83A3-4C82-9693-B394F87A9B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d11b7d257ae0b031fa4ae56328022c98ebd6a547","datavalue":{"value":{"entity-type":"item","numeric-id":2729625,"id":"Q2729625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47abb7d8692e5ec1f344b3be139e405b033c4b5d","datavalue":{"value":{"amount":"+0.7832245826721191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5856422$E11D3367-46E2-44D8-A3EE-C82C17AB7555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f01918a548a806393a334af6e6e25fff258fb8","datavalue":{"value":{"entity-type":"item","numeric-id":4986734,"id":"Q4986734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3daccfcaa70205197eecfee9fa0ef979915e6ab","datavalue":{"value":{"amount":"+0.7808454632759094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5856422$7935F6D1-5D01-40D0-BE88-EF937DBD7D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66fb77e37a0e78e13ebc8286d61843550042d08","datavalue":{"value":{"entity-type":"item","numeric-id":4882487,"id":"Q4882487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb7c452ee321d5e24f482d62d7ae2d6737703627","datavalue":{"value":{"amount":"+0.7798306345939636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5856422$2587759C-DB09-4983-BA41-B844F128CED9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5856422","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5856422"}}}}}