{"entities":{"Q2703692":{"pageid":2714437,"ns":120,"title":"Item:Q2703692","lastrevid":47585233,"modified":"2026-01-02T03:49:05Z","type":"item","id":"Q2703692","labels":{"en":{"language":"en","value":"CINNI -- a generic calculus of explicit substitutions and its application to \\(\\lambda\\)-, \\(\\sigma\\)- and \\(\\pi\\)-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1576634"}},"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":"Q2703692$CF66658A-63E1-4DC3-9230-8AF6FFD6642F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3de11e582afdd3cfb3061e86727eeda3f006be77","datavalue":{"value":"0966.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703692$F6D5E9F7-C8C7-4074-9990-DAF9DD4BC205","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6774ae2dfd2eef224a85f98eefe50cc4899b8867","datavalue":{"value":{"entity-type":"item","numeric-id":880986,"id":"Q880986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$55B44048-3FCA-4F6E-9154-BAD621C43F4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"977947cd79f3920d9b8080aee0947b44a750ae0c","datavalue":{"value":{"time":"+2001-05-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":"Q2703692$E723B73F-300A-4E99-8961-7CCA12EDF013","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703692$3A7C2083-EF13-45B9-8944-836204669D3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65a76efb4e4676106ff0adf21bfe75b5809e2d41","datavalue":{"value":"1576634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703692$0EA47626-B115-4515-A061-C9562EBBCD7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703692$E4809850-9391-46CD-A676-70574F954861","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$F72FFD75-291A-4EB9-A44F-F1A8CEA45560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$6F204249-3B59-4586-BB11-1E81A163AEFF","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":"Q2703692$D2D76C40-BC3C-42DD-AB4F-DD8253D7303D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$9AB3FB48-A5BE-41EB-872A-CE630D1FB27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$CDE6F074-29CE-4E25-A68C-75945453FFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f1656b0af82a8a7cd6d647840a56e40b6d7fabf","datavalue":{"value":{"entity-type":"item","numeric-id":3125228,"id":"Q3125228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$56BFD103-1D33-43BD-8D2D-1FB0EA76248E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee679760eecd599937425cc96ac3167fd3bc1b24","datavalue":{"value":{"entity-type":"item","numeric-id":3216136,"id":"Q3216136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$3876A94D-65B8-4538-81F7-1F8BAA72370E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26ad0292ce501c4706b9832036a05439f1dd84f6","datavalue":{"value":{"entity-type":"item","numeric-id":4357055,"id":"Q4357055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$39E36390-6CB7-46E4-9F94-E22A642F064A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$DD44D539-7375-446E-A918-7866C022A45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ef99484234e0e2307a8d429f1e1a558442d61af","datavalue":{"value":{"entity-type":"item","numeric-id":2703706,"id":"Q2703706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$ACB649F7-5EEE-4A69-A97F-54524FE38BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$4C35FD0C-913E-44F9-8DEC-BC4081F3B18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7145a08058c2606f14ee8ef77509e0e6d4370df","datavalue":{"value":{"entity-type":"item","numeric-id":804281,"id":"Q804281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$AE735E16-D2FE-4FD7-BBD8-5959F37C9A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4004164fb76db92bcdf23fd385dc006c288396ae","datavalue":{"value":{"entity-type":"item","numeric-id":4371674,"id":"Q4371674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$8EFB304D-8CB1-4EF7-B378-9E742E112A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$F36A9D36-6981-4939-B96A-11E148DCEE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5927659804eca2a32583cb94f8cceb03b87d2078","datavalue":{"value":{"entity-type":"item","numeric-id":1854337,"id":"Q1854337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$6E4AEACE-126A-4C46-948D-AFBDAAFFDB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa2d76e706c18daa8710ae837a10820afbe7e88c","datavalue":{"value":{"entity-type":"item","numeric-id":4938612,"id":"Q4938612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$6F9FBC76-0C3C-4845-A760-4CBBD862D831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42efcc39689c4413b537a9a2453afb9516d21c85","datavalue":{"value":{"entity-type":"item","numeric-id":4500175,"id":"Q4500175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$582E222A-61FA-4CB9-82AD-158704716DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$812672E5-E706-4EF7-B71C-5B2985E9693C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$4C5F4FBE-83A8-4AC0-9BF2-194476AFC608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$82FBBBFF-C985-4C88-98A1-0A356246931C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81da0395ce6482d7e117fc49093ae6b97a7556ca","datavalue":{"value":{"entity-type":"item","numeric-id":4249892,"id":"Q4249892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$149D1063-F4F1-4ABE-B457-29DC2196BB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f93601d2a3fafa3e507e6efe84faccc4beeab9","datavalue":{"value":{"entity-type":"item","numeric-id":4242524,"id":"Q4242524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$EAA82B16-9D83-48E0-A7D8-D31129CFAF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047bfcae18125ec23901e327e73ddc0f4c79cfad","datavalue":{"value":{"entity-type":"item","numeric-id":2703692,"id":"Q2703692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$D9938A68-FBA0-4BD2-9263-BD12C1B86B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631bb13614952efbc47f111110f79b9ffcecdcbd","datavalue":{"value":{"entity-type":"item","numeric-id":4222852,"id":"Q4222852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703692$414363FC-744F-4416-B0A9-D226B3D9078C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d367c2d919c0f9e06c5157f53c08fa5ba4da906","datavalue":{"value":{"text":"CINNI -- a generic calculus of explicit substitutions and its application to \\(\\lambda\\)-, \\(\\sigma\\)- and \\(\\pi\\)-calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2703692$2C01BD94-AD43-4A74-8A1C-C0737DDE11FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ec66fa9b1c1b00857d6d8adde14a14b665361d","datavalue":{"value":{"entity-type":"item","numeric-id":1854398,"id":"Q1854398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c4c90e344f93aabfe877ae7b57efc55d58bd37d","datavalue":{"value":{"amount":"+0.7945942878723145","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":"Q2703692$80895B8D-3EC5-4E35-BF30-3FA54AD91465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d93a6a914435dbf3beb28b95c66807f31111fd9","datavalue":{"value":{"entity-type":"item","numeric-id":853744,"id":"Q853744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea54996a8bf88e6a43a297b12e026531473e954e","datavalue":{"value":{"amount":"+0.770693838596344","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":"Q2703692$0729955C-04E0-48F3-96DC-6B866953C646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426ace346f000d5f81f11a6e5392281962c984e3","datavalue":{"value":{"entity-type":"item","numeric-id":4571957,"id":"Q4571957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70bbf32e9e477ed8a02d767a324454f7ec2853b","datavalue":{"value":{"amount":"+0.7689265012741089","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":"Q2703692$49A84B30-885B-4FD7-B346-3A7157FC5B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1381ba5e65d72f963524301b06e5959f3d3eac3c","datavalue":{"value":{"entity-type":"item","numeric-id":3395095,"id":"Q3395095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaff4163269a0f65408a5aedc9f0f1230eff8c73","datavalue":{"value":{"amount":"+0.7630487084388733","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":"Q2703692$134DF731-13B8-4204-9D91-E0999CF48300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610063cb2d5d625d23d1434e89afaca2aaf608c4","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004f19f700b4cdbbc775ad7edd00e15a718acbd2","datavalue":{"value":{"amount":"+0.7510104775428772","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":"Q2703692$CEDE25C9-ED9A-42D3-A64C-7812BCADF559","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2703692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2703692"}}}}}