{"entities":{"Q3576003":{"pageid":5605907,"ns":120,"title":"Item:Q3576003","lastrevid":58213836,"modified":"2026-04-04T06:29:46Z","type":"item","id":"Q3576003","labels":{"en":{"language":"en","value":"Confluency property of the call-by-value \\(\\lambda\\mu^{\\wedge\\vee}\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5762576"}},"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":"Q3576003$10970981-4166-4696-86D6-4EBE05FAB863","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a9eb718c3fdd29643ef5d26b9f2ff1c195972a5","datavalue":{"value":"1193.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576003$7B3FE4AF-0AF3-4524-B553-8392696FEE5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d98715daff21d7c75f3cdd719e2cf7258168bd","datavalue":{"value":{"entity-type":"item","numeric-id":732056,"id":"Q732056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576003$060203D4-D688-488F-A453-246CB1180875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576003$13F4B271-F1C6-4D47-A067-50AB2E798C14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db5779aca83fc6955aa16e220e67e96fbf4b9556","datavalue":{"value":{"time":"+2010-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3576003$5569FC01-F1E2-4E20-A1DC-5374214E1DC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01ab141a56c24b816e6f0514854f4ae08eb52a51","datavalue":{"value":"https://arxiv.org/abs/0905.1102","type":"string"},"datatype":"url"},"type":"statement","id":"Q3576003$DE53D3C3-2843-4E3E-9E2D-462A9A4B1991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7daf538057dbf7710b9e576b30e92f84c4c52a9","datavalue":{"value":"https://www.dmtcs.org/dmtcs-ojs/index.php/proceedings/article/view/dmAF0108/0.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3576003$3BC37DD6-44B8-4F73-A4A0-7F935E2810FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576003$4A6BEC01-C814-4D1D-9867-44EA20B25E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576003$BD786164-C886-4C51-BEB6-FBBA76047E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576003$66F12160-D8D3-4F5C-BE24-4E7BB885BD33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6814a571b1ec43e4ee7c4ab6579c7818e9609f10","datavalue":{"value":"5762576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576003$49C0D3AE-F7E1-4C19-A21F-DC6E63DEA0F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576003$4424A029-9656-496F-9071-BB80DCA5E5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576003$69984B0B-E702-4EB9-BFD4-52CD22F43803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08510b555ee3cbfee3cdcc8ac01ee078015db1a","datavalue":{"value":"propositional classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576003$ECEDCBC6-DA2E-411A-8667-D88FFBE229F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c17f116b4bf156ca0273689fa9cb22ef1958b00b","datavalue":{"value":"parallel reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576003$1E966F4E-2931-4D38-B3EC-3F070FF7C32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9edacfef6bc4c31a305df9ff120802dfb769bfcd","datavalue":{"value":"complete development","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576003$FBC1D1B6-0148-4931-989C-DB8739325C8B","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":"Q3576003$53883AD2-6391-4124-AFFA-43A5F1B6887C","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":"fc8eaf52e15e6a9de05f5ecabf5ea5a746fe21b5","datavalue":{"value":{"amount":"+0.8712120652198792","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":"Q3576003$3F3A6038-4784-4A9F-A947-AF8199D62A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23009ce55f8277af134c1b6790070733fdb97bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4583170,"id":"Q4583170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5715a6f13fb43fb50854804cf38239937fc5977","datavalue":{"value":{"amount":"+0.8644320964813232","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":"Q3576003$01C714CC-EA17-4C59-9580-5774EE986B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4a236d589ae41e4eee9a29acfc96025fe797f3a","datavalue":{"value":{"entity-type":"item","numeric-id":2703743,"id":"Q2703743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1577eeb759350a9bc8844b07f9662ddbb94cdcd5","datavalue":{"value":{"amount":"+0.8013685345649719","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":"Q3576003$07585CA0-24C5-4507-BDC6-29F326E5B892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356366ceec38d462f10db45861a51a3f8cd5043a","datavalue":{"value":{"entity-type":"item","numeric-id":4501158,"id":"Q4501158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48f205648c8301e926bd84bc63b1e973b4ee4b60","datavalue":{"value":{"amount":"+0.7873581647872925","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":"Q3576003$11EE051D-25B6-4F64-9B3D-1FA51458A504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc20c0392397f580a2d4ce740056210eca74cccf","datavalue":{"value":{"entity-type":"item","numeric-id":3000279,"id":"Q3000279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26472e3dc8ff4c2688fba4498cbc37080488fb56","datavalue":{"value":{"amount":"+0.7710569500923157","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":"Q3576003$3B844277-8278-43F3-9034-0B22F795418D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3576003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3576003"}}}}}