{"entities":{"Q2852102":{"pageid":2862822,"ns":120,"title":"Item:Q2852102","lastrevid":42271153,"modified":"2025-06-04T00:42:37Z","type":"item","id":"Q2852102","labels":{"en":{"language":"en","value":"A congruence format for name-passing calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213772"}},"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":"Q2852102$87F20456-147B-4698-A5CB-4D578480F8AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6c558fc2efd4769485129be3cd18e6061940ad3","datavalue":{"value":"1273.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852102$9FCDCF30-DCAB-4970-B3A9-255D48C57FF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bd02bf98658d30d1cc87458f3aebace5743819d","datavalue":{"value":{"entity-type":"item","numeric-id":2852101,"id":"Q2852101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852102$6184049F-DFA6-41DD-9700-5E1A7A474517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee728bcf2a6a691d2b429de3becc3dfd0edf5e0","datavalue":{"value":{"entity-type":"item","numeric-id":507370,"id":"Q507370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852102$DFE3B644-D6CD-448A-B536-3D019F740E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852102$3217381A-930D-42B3-A4CE-CBF6B10C74FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-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":"Q2852102$21BF3A5A-4790-45FE-B1BA-B8BFD11765B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8b184f6f037459b8daf3641d3ba22e598b1d151","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106002234","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852102$FCB17BB0-569B-4361-A9A2-CCEF62E0C06F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852102$F8CAB65C-7757-44FD-B745-8D5607EF69EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852102$5FD63F6B-6CCA-44EB-866C-686109266EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852102$A6DDF343-3BA0-4067-8E7D-7EAA266B60A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e3dc23cbe00d6c43220ed507bb18f289932d789","datavalue":{"value":"6213772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852102$CDE47165-5610-4DC7-AC37-59291CF82AE0","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":"Q2852102$00A9050B-CB25-44C2-915D-CDCE27AFE20A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3336a04aec4af30f1eb8438f27a2dfe9b39dca87","datavalue":{"value":{"entity-type":"item","numeric-id":1012125,"id":"Q1012125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acfad85ce31220cbe1eae918682efb76c8109b39","datavalue":{"value":{"amount":"+0.92002845","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":"Q2852102$B2279ED7-B318-43A0-B636-7AC7A6526BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa57038bb9ab4ba54c6bc0ec1b766b12eb99839","datavalue":{"value":{"entity-type":"item","numeric-id":1898459,"id":"Q1898459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5c9a8159c40bbf12085d4c926e84e8e3594e454","datavalue":{"value":{"amount":"+0.8699742","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":"Q2852102$530A6A69-0AFD-4993-98B6-C83E6BF3951A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c1ae854a598e2599d172d2038cab7e640d5c90a","datavalue":{"value":{"entity-type":"item","numeric-id":2848127,"id":"Q2848127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48761db444a764796767b2a731f904985cc13c56","datavalue":{"value":{"amount":"+0.84806395","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":"Q2852102$7E23E4DF-95C5-4BF1-8FC5-ADE78D7D2919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1eda157cd14e23837a9e96f35f584b94dbb803","datavalue":{"value":{"entity-type":"item","numeric-id":2871833,"id":"Q2871833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55bafd9f87afafa173da635824d81b32f16bb50","datavalue":{"value":{"amount":"+0.84666884","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":"Q2852102$E467800B-B7E8-45BF-BD84-F399BA21938F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad00cac8252cccf7d12a9b54d062943539005ef","datavalue":{"value":{"entity-type":"item","numeric-id":5144689,"id":"Q5144689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e285b72098b1d77cb1ff1a686001242638db7d","datavalue":{"value":{"amount":"+0.83652955","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":"Q2852102$8F94B390-7B9F-4529-BC54-1407DF1DB70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e6463c21db8cbaaae82b0a1325d278f4ceffc4","datavalue":{"value":{"entity-type":"item","numeric-id":4738222,"id":"Q4738222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b441f65f06bc25fed1cd65443af41aeb759dd629","datavalue":{"value":{"amount":"+0.83111805","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":"Q2852102$4F079AE0-733E-4A69-94AF-FDB5B8510776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e43a14dbdadc39895a935fc6cecfaa8d27099ccd","datavalue":{"value":{"entity-type":"item","numeric-id":549196,"id":"Q549196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"010280dbc3882971831b26067924732bcf98fdb7","datavalue":{"value":{"amount":"+0.83007437","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":"Q2852102$3A9156E0-291E-469B-B579-57DE648EB5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9499f3a8685a7390573d9a45c4836da0be235fce","datavalue":{"value":{"entity-type":"item","numeric-id":1928489,"id":"Q1928489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba7fb8faa5cd9b932882e6e8add56677991dbb1","datavalue":{"value":{"amount":"+0.8213199","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":"Q2852102$0CA9E0E3-7899-4ED7-B996-03643BED2AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79467c786902f9d4362599b28e4f06df99649f39","datavalue":{"value":{"entity-type":"item","numeric-id":3656884,"id":"Q3656884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91eda2b4b3546c9ba2c697e9280bb84da22008ca","datavalue":{"value":{"amount":"+0.82121444","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":"Q2852102$D2432A19-7818-454E-A13B-72ECDF19E370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a29559e6fcb02f82f69a9128a2791877e5b18c","datavalue":{"value":{"entity-type":"item","numeric-id":2944898,"id":"Q2944898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b4b9581a196ecdfdfbbb598793f92fdf6716bc","datavalue":{"value":{"amount":"+0.81900007","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":"Q2852102$D2DC1FFD-4DAA-456C-8537-BF2B11C8B1B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6d8b6252b01cc2568c7898c00de64dd8ddb0cfa","datavalue":{"value":{"text":"A congruence format for name-passing calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852102$9468325A-4235-411E-BD3C-2C8613D1C4BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852102","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852102"}}}}}