{"entities":{"Q342734":{"pageid":344501,"ns":120,"title":"Item:Q342734","lastrevid":61105473,"modified":"2026-04-10T21:13:09Z","type":"item","id":"Q342734","labels":{"en":{"language":"en","value":"Name-passing calculi: from fusions to preorders and types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6654494"}},"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":"Q342734$A5EC4E99-472B-4F1D-94A7-F53B0A59D979","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56aa67c8bf5c1600117161660fc0166f5dbb0fbb","datavalue":{"value":{"text":"Name-passing calculi: from fusions to preorders and types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q342734$4DBC55B6-DD79-46D8-9E70-FA69BB265967","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e5d3a05ac9d454a8f803a9f3bc311402d4f40bc","datavalue":{"value":"1353.68206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q342734$365D78A8-C06F-41F1-905D-BFF64075110D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f4c63b7742bce0ebc681b1f9a00a9ad96e83d07","datavalue":{"value":{"entity-type":"item","numeric-id":225065,"id":"Q225065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$B36FAE24-9710-4CA4-B850-AA3B1D3F1743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c7551c793e21e82c77a083d03944191483644fe","datavalue":{"value":{"entity-type":"item","numeric-id":342732,"id":"Q342732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$7651F70F-2A47-4CB4-A979-B105E2BF41FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$FBEC320D-A857-422D-A601-FF0CDBD7C49B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$D1265759-3015-4A63-B5F0-B9D9406796D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dac78b9bb71968e13ea8fc46c1617527ad28a13","datavalue":{"value":{"time":"+2016-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q342734$C3B61D52-E216-48A0-8B59-2ACE8ACCFDCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q342734$52A9FDCC-066C-481C-A368-AC9CE5281250","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24c21e0eaed7d175b518aec718235a04e01a74fc","datavalue":{"value":"6654494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q342734$A26344AB-C88B-465A-AC90-D07D07C1FAD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q342734$36FB6747-FEF1-4CDE-953E-DD0EB92EBF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q342734$30CD18AD-B028-498C-ABB9-A3B1060CB169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q342734$B7D6DF03-0D8C-4BAD-9E75-53305660E4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q342734$4DAACA8E-D1E8-43CC-BEC8-F5D02F377387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q342734$9C0A4E28-4D8B-44BB-981C-E50ABFDD49B6","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":"Q342734$B5CF4C6B-45AA-4B0F-BBAD-9CD9AF67A690","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b321dce0ad7907000ec8eb0ced7f6314c8222eb4","datavalue":{"value":"https://doi.org/10.1016/j.ic.2016.10.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q342734$29047288-7174-406E-9C83-37C51AA8C4E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"385f4326c97d9ef9cf9277e5163356597de0669b","datavalue":{"value":"W2535086089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q342734$97329B32-6CE4-47CC-993B-A3B59BEF842D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ffe3798420c59d607baf2eb63cbebce473ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":2392481,"id":"Q2392481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$ED97D57E-132E-4388-99FB-099A7D11433D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b3f30e7c3fca966f2060518876eb0e624783a4","datavalue":{"value":{"entity-type":"item","numeric-id":5394795,"id":"Q5394795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$0BF3609E-1BB6-4941-A213-1359E1DE5E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01beeb55efcb125e7dfe6efcaa531cbb78fa3ea","datavalue":{"value":{"entity-type":"item","numeric-id":930882,"id":"Q930882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$AF345D52-FFF9-43C6-A546-328B7AC47AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$C02B5ACF-717E-4101-8585-CFA27BC2035A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22471ed755a66bed7773ab3007ac6288e5f9782","datavalue":{"value":{"entity-type":"item","numeric-id":5492819,"id":"Q5492819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$A0D01EDF-8FDE-47AE-82D1-DE2B34157323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d7f98b0a446ca83e69a5a6b06c45edb60c8a42","datavalue":{"value":{"entity-type":"item","numeric-id":4484502,"id":"Q4484502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$F1FBB401-6A9D-4A95-B65B-B9522FE5A058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a9b187c0bc45cac9e8f62e6b1d9655c9a72046c","datavalue":{"value":{"entity-type":"item","numeric-id":4536373,"id":"Q4536373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$57BF2308-FA30-4391-9F17-7A27EB865A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983fa66ccb6676985e7a9e3eaea2d351d163180e","datavalue":{"value":{"entity-type":"item","numeric-id":3439883,"id":"Q3439883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$B083388C-3382-4F77-BBEE-3A40BAE7DA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4127da81685d09d0b6a73afcf8a6432964303df8","datavalue":{"value":{"entity-type":"item","numeric-id":1854507,"id":"Q1854507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$8C7CA14F-8E23-4E7F-A299-7143364A58BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b3efd42a314e0f87dd1f9b9115ac89a58a0bb1c","datavalue":{"value":{"entity-type":"item","numeric-id":5271075,"id":"Q5271075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$4B1727F6-38AF-4FAF-A8C5-1506A23C96AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cfc605faac3293d213077d045bd6ac4a396f083","datavalue":{"value":{"entity-type":"item","numeric-id":890617,"id":"Q890617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$970ED779-7BF9-475C-949D-F10F08F5251A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$D90B9DD2-F28C-4EC1-98E2-2D2F945A735B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6703017ff8f9a6af010a7dcafc8bda5cce2674b","datavalue":{"value":{"entity-type":"item","numeric-id":3090835,"id":"Q3090835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$B1EFCBF7-D747-4125-99DB-BF277F24C092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585147f3d3a9c220e1bc37a72c608ce19a0792e5","datavalue":{"value":{"entity-type":"item","numeric-id":2830028,"id":"Q2830028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$5EF6B9F6-0460-407A-B390-17247C28AE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a06252384a0241337bdf3c51e24a574fd7b9b29","datavalue":{"value":{"entity-type":"item","numeric-id":5900554,"id":"Q5900554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$5FECB705-2C73-4A96-BFF2-960AB96F3D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d5f4b8e96efeaad5a01fa88602ad9035a10db3","datavalue":{"value":{"entity-type":"item","numeric-id":5756618,"id":"Q5756618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$D8C34256-2FE2-4014-ACFE-D13E1130591A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff61b4356c6431b9bc982a430a5c07be0766a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4653019,"id":"Q4653019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$516B2AC8-E970-4109-AD2C-833FBB14AF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$F6C7A032-61AA-45A8-883F-F1280AEED1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65ad711d725f7c7ce38cb04914fbe94f61b532","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$D61A94FD-A73B-44E1-9C5E-08AB12742B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb13a71671fea084cf10e0033fc79952ddc2afb","datavalue":{"value":{"entity-type":"item","numeric-id":671684,"id":"Q671684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$118246B4-8489-49DC-98C7-BA54B92F4C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$8FE94DEF-5E2E-4157-98A8-CF5C6A09D3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02cb876fd4dd36ff31fdabc99386e316ba8491e8","datavalue":{"value":{"entity-type":"item","numeric-id":2566040,"id":"Q2566040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q342734$F29EB10A-CBD0-40D7-8DBB-880E43CD1BE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f969ce329bae66ce2c43eb5cd239316efd37574","datavalue":{"value":"10.1016/J.IC.2016.10.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q342734$D914E972-3B58-4C0E-849E-00B2BA7044CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bd1b633dfe55faeec9311171afa6dc31435710","datavalue":{"value":{"entity-type":"item","numeric-id":5271075,"id":"Q5271075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4526de36a6469428fc66c7988b20d268e68844ed","datavalue":{"value":{"amount":"+0.9992805123329164","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":"Q342734$CD2F3664-66E7-492B-90F7-C97727D9AF5B","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":"d025eeeef2e695b7f525f69e3c9c6f9dde57775d","datavalue":{"value":{"amount":"+0.7834110856056213","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":"Q342734$30D1115E-42F4-4912-9056-AFFAEDB4CE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af77828d8aee2f23468c7f3a3d924cd98bacb784","datavalue":{"value":{"entity-type":"item","numeric-id":4536373,"id":"Q4536373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97765c8e7e33c3f274217eb9f803fdc7996fb23f","datavalue":{"value":{"amount":"+0.7791164517402649","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":"Q342734$AE7EB18F-3BED-4303-9E14-C6208DC2DD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45fdf51e6ad5d2d3521c3dab29897654aff458e1","datavalue":{"value":{"entity-type":"item","numeric-id":3507388,"id":"Q3507388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6776e597f77a0c0455d1153aebfaf3ebd0b2522a","datavalue":{"value":{"amount":"+0.7773597240447998","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":"Q342734$50006018-8FB7-42F5-876F-28C35BAF258F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354c2da56a668db26efca130f224d12a9a5a099a","datavalue":{"value":{"entity-type":"item","numeric-id":2566040,"id":"Q2566040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625386bc9fe6ee34369ab365da6e6baa8a398fd3","datavalue":{"value":{"amount":"+0.7739010453224182","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":"Q342734$149970C3-10B3-4515-B81B-7F024901DC71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Name-passing calculi: from fusions to preorders and types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Name-passing_calculi:_from_fusions_to_preorders_and_types"}}}}}