{"entities":{"Q4882487":{"pageid":6912066,"ns":120,"title":"Item:Q4882487","lastrevid":46379631,"modified":"2025-12-24T16:22:53Z","type":"item","id":"Q4882487","labels":{"en":{"language":"en","value":"Sound and complete axiomatisations of call-by-value control operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 890009"}},"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":"Q4882487$CF291930-D5B4-470A-8B8D-E6C45EB1CC6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c17614f360dc61da29448377a0dd964830ddc489","datavalue":{"value":{"text":"Sound and complete axiomatisations of call-by-value control operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4882487$1036DE26-033E-4693-932C-7FF6E98EAA88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2a593b5f851d4f62670ef2c5b9df029d7018115","datavalue":{"value":"0846.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882487$169720C3-9FB8-4B8A-887E-C21B604A7294","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb67fb98f9d9684c41c2d2dbac44e236c22a3c3f","datavalue":{"value":"10.1017/S0960129500001195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882487$933AC984-81BC-498D-8BB8-A44D8C69AA12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882487$0177ADEB-D338-459F-B3D9-45C52221A8E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882487$E9D87EAF-5C4B-4D62-AA9E-B880401FACF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3050a190ac0349a6dcbdbf95d44ef12e50c002cf","datavalue":{"value":{"time":"+1996-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4882487$3641517C-7650-4096-999E-CBDCF55470C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882487$90F4D9FC-7042-47FC-A4B3-6D66E1EF5E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882487$DB20466B-1260-410F-A341-84CB5CDE9536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882487$806AF36A-2987-4197-806D-D3167B4377E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882487$455A26B4-1888-4603-A787-9D38B4927197","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"734b4517f9e03caafd7ceade25101c9d8007b95a","datavalue":{"value":"890009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882487$A762CF57-AAC0-4531-9ACA-209FA69CB69B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a23064bee5a7c5da6dcf0d91edb0dcfb715749f","datavalue":{"value":"call-by-value \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882487$5AD79AB0-8168-4D2C-9166-35EFB5725DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4882487$9544B183-7DB6-42B9-8467-1A64950F69E6","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":"Q4882487$EEEFD517-916D-4211-B201-5CD89B36550B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f80c309e64b1cfeded9c015638835fbb819eec","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882487$23EF9A35-A052-4818-8267-52DDD2BB6B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882487$A54AC762-8964-4C79-A01D-6626ABAE764E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882487$EE4FCE19-7E09-4541-9222-0D5142A1B45F","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":"Q4882487$567F7EDF-D320-41E3-832B-3174F07F8729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4882487$61F4F2C8-C084-4319-B634-37DFC495F103","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9ed8eec4bdd7076abf80a2e2e9db63552107b0f","datavalue":{"value":"https://doi.org/10.1017/s0960129500001195","type":"string"},"datatype":"url"},"type":"statement","id":"Q4882487$6D96DF84-8A83-4928-9DEB-2258ADBE5892","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14500c7cfaf6b95afb11f82934147a93f51c8b25","datavalue":{"value":"W2034257290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4882487$E5738B7C-B13C-4C64-867E-F42D1817122F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be6debc361aafc11475b0d26d64badcaca2d6301","datavalue":{"value":{"entity-type":"item","numeric-id":2958543,"id":"Q2958543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63452305c33ece123d7a6870d646acd0083a02f","datavalue":{"value":{"amount":"+0.8233648538589478","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":"Q4882487$48A50D60-9552-4B74-BFE6-7EC71DF04C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a9dbe986fbc6b6f779ffedeae3787f0b2a5f23","datavalue":{"value":{"entity-type":"item","numeric-id":5261274,"id":"Q5261274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61a19f2a30120d327ab7fbc41cdd0caa9a5d0bc","datavalue":{"value":{"amount":"+0.816184937953949","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":"Q4882487$802E7272-AD0C-4935-B5FE-2F4D2A48BB34","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":"dfde58b555b48e0a09a4380df8060e5509303451","datavalue":{"value":{"amount":"+0.7916576266288757","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":"Q4882487$8FE12638-2A83-4764-B0CA-C227778D4083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d7e26849003337c0775e942b135d9fb6cafa8e7","datavalue":{"value":{"entity-type":"item","numeric-id":1887170,"id":"Q1887170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e1be3fb450f64ddad422da2b1f57d393980dbe4","datavalue":{"value":{"amount":"+0.7846969366073608","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":"Q4882487$4CD42AA7-E333-4563-B10F-74F857181322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541981255c88103372c1dc30533f0e50fc01091e","datavalue":{"value":{"entity-type":"item","numeric-id":5856422,"id":"Q5856422"},"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":"Q4882487$DA8FCFE5-3E1B-4133-A295-A4BA1571A57E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4882487","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4882487"}}}}}