{"entities":{"Q930882":{"pageid":932730,"ns":120,"title":"Item:Q930882","lastrevid":65459832,"modified":"2026-04-12T02:44:45Z","type":"item","id":"Q930882","labels":{"en":{"language":"en","value":"Semantic subtyping for the pi-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292227"}},"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":"Q930882$6ED5019B-4CB4-418B-A03B-8410E7928BFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33401d404fc6640db2b0326f6004b9f5e4faf94d","datavalue":{"value":{"text":"Semantic subtyping for the pi-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q930882$3046F8C0-33EE-4B1D-838E-680351C3BA88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20ca4cf7c6546733e2d986c40f517fbb1402d507","datavalue":{"value":"1146.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930882$C6053012-884E-42C6-96B4-A401E559E5D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b209780d81daa64ec96c8241b2924bd88decdd8f","datavalue":{"value":{"entity-type":"item","numeric-id":930880,"id":"Q930880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930882$2E442280-946B-4DD6-A2BA-2FDF0288A2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c2cf3997b6b074f0b8a50dac0d7bb587b9c6d64","datavalue":{"value":{"entity-type":"item","numeric-id":667520,"id":"Q667520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930882$2E3F7D53-67D0-4F91-9F7B-FD065B76D60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930882$BC94075C-0253-4157-8DCE-F123717135AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930882$A3D8DAAF-17C3-4BA9-9983-B92CE3AD7869","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1e5c358dfaf7831eeef2b1629a133ab38a6eded","datavalue":{"value":{"time":"+2008-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q930882$55E6091F-753F-4DA6-A3BD-17E57B68A044","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930882$EA87D446-9A60-49AC-9C6B-0E04344A4DC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6eeb331f9aea2f7e3e343565986c0fcaa97596d4","datavalue":{"value":"5292227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930882$F08EB8AA-04BA-4E20-AE70-32CF0BDEC07E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q930882$B798B08D-FEB6-4E83-803C-431E81F28C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q930882$1BEE8E75-6293-4767-B030-24D09F97A1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q930882$6074215F-16FF-4CA9-97C4-B1EE02DC0F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q930882$893BC207-ED40-4AF9-9508-B9B95C5CD530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a265480f6fb6bcad3fd0b011fa5f7c21dbb7ca9","datavalue":{"value":"channels","type":"string"},"datatype":"string"},"type":"statement","id":"Q930882$A0EE9DE1-3FFD-4756-9332-450068C90ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d821ee826bf9c7dde63d1451c31a579dd886f18","datavalue":{"value":"Boolean type combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q930882$A6786EC6-A942-4A30-B221-21F9F1F7A1B1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"375a3e51fdb9d81c5bab135e2acf58f6ae2aca43","datavalue":{"value":{"entity-type":"item","numeric-id":14157,"id":"Q14157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930882$EC37369C-6E13-4B18-AD8A-4320499242F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67dc44392b5218e5db28fca577b61569531068ea","datavalue":{"value":{"entity-type":"item","numeric-id":21407,"id":"Q21407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930882$9F418649-7E94-4B9F-9162-75C26CF8AC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d671c972c562e28f24e82dbfaed749401128cae8","datavalue":{"value":{"entity-type":"item","numeric-id":21413,"id":"Q21413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930882$0295B35E-350E-4483-A35A-553E1AC469FA","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":"Q930882$B7B8B82A-EAAD-44E2-98EE-842F1F3863EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47d4f8ce7ce06b8b1908af20c350dd9aa4a77ee3","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.01.049","type":"string"},"datatype":"url"},"type":"statement","id":"Q930882$4A586196-FEB9-4A4C-8F7A-A0B4C5DCA0A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfb5401a801211451f3248af8c227a8af0a3affe","datavalue":{"value":"W1979473344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930882$2B5B0B5D-9D46-431C-9F70-ECA66B8927EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9d9abda18f5e1564e45dc110a9d86f854c756e","datavalue":{"value":{"entity-type":"item","numeric-id":924673,"id":"Q924673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930882$260D2C37-9A90-43E5-BCA2-0DF5C7C7B2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c5bdc7a2a03b6cf870f2ee2a9db6db747ca08","datavalue":{"value":{"entity-type":"item","numeric-id":5261266,"id":"Q5261266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930882$97B6A0FD-8F84-454C-A8E7-46EEF9ACA1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303dd779812b3dacb48998f31a23c0c5088b1614","datavalue":{"value":{"entity-type":"item","numeric-id":5395059,"id":"Q5395059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930882$E316A8DB-95BA-4204-BC62-F8A41B499A8C","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":"Q930882$E387F59B-A261-413A-A493-022DD94131E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"851874eb821bbef6b57e4a4c1f8275f83929db6d","datavalue":{"value":{"entity-type":"item","numeric-id":5756616,"id":"Q5756616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930882$9EA04133-03BB-43A9-9E37-6E5B0A5B9655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2cb82b0bf76bd423ad099e8bd8f7af376304641","datavalue":{"value":{"entity-type":"item","numeric-id":5716788,"id":"Q5716788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930882$4466F3D9-8DBD-4501-8044-294C5C43204D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fdcd16ffa8d113126b98de7a6d99a423e469d79","datavalue":{"value":{"entity-type":"item","numeric-id":838158,"id":"Q838158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930882$D3734D21-326F-4C8F-98B1-0351B6CB224D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"858238abc6790776c4315cf2cd1b0f8e33fc736e","datavalue":{"value":{"entity-type":"item","numeric-id":5276134,"id":"Q5276134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930882$A29F6B05-2F1E-4553-967E-D690DF95466A","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":"Q930882$FDF93018-2113-4D95-9596-9C8972402DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2db87cffedc20fc6b5050f1cb5deb31fd799e4","datavalue":{"value":{"entity-type":"item","numeric-id":1575157,"id":"Q1575157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930882$13FBCA63-2B81-4676-BA5E-BC389FB6C16D","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":"Q930882$D3DB0928-C1BD-48B5-A60F-7FE85EE1A166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc7b7b495e1316a081d2c741d60b9aebbc2455e5","datavalue":{"value":{"entity-type":"item","numeric-id":4219047,"id":"Q4219047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930882$39130870-42B0-4BD0-8039-194C32DE9D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6869ee15596257ca76abe6087633ef9e113d6051","datavalue":{"value":{"entity-type":"item","numeric-id":4270081,"id":"Q4270081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930882$34782C1F-9268-41D9-B0D4-1053512786D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"549d890269e1b42978b4938e550ad9ec21eb7145","datavalue":{"value":"10.1016/J.TCS.2008.01.049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930882$DD284CED-62EB-43F7-8BA0-773BD7B90D04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d6a4c345eadfb4697e5dc0a52810f7a0690f6f9","datavalue":{"value":{"entity-type":"item","numeric-id":2576666,"id":"Q2576666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044d5dfb8ed76fbc2b36c395aab5f7c4dd80505e","datavalue":{"value":{"amount":"+0.8260675072669983","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":"Q930882$5B8845BC-0729-4DB7-BA35-00D608E607C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de4266a5486996e308bb1aadd669b897ff489192","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78226885b45ae304c06ee2563a1bf8fdb0597fba","datavalue":{"value":{"amount":"+0.8123815655708313","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":"Q930882$2DC3ACBE-9CFD-47C0-8A49-E1A7DC60C3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad463672501466a55e714ef0439d9d7bc464dbe","datavalue":{"value":{"entity-type":"item","numeric-id":2971078,"id":"Q2971078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cfe95229c4e9d9dda88317f9714d5667c7a1c74","datavalue":{"value":{"amount":"+0.8012470602989197","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":"Q930882$F04125D4-9A1F-4EA0-B1DE-6B678E25F792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3965fdf3c4629d7b678b5c7ad24277dd1faa5e","datavalue":{"value":{"entity-type":"item","numeric-id":4965858,"id":"Q4965858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"257a119795ff77ee6241c1392c955ed2e4391b55","datavalue":{"value":{"amount":"+0.7962163090705872","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":"Q930882$195471BA-A33E-4103-A9B5-6882B499C69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06dd66c58c78ed327d09e45d5cd0391d84785183","datavalue":{"value":{"entity-type":"item","numeric-id":2841263,"id":"Q2841263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed605d535abf549a4c20b6329580ce806e5ff3f2","datavalue":{"value":{"amount":"+0.7929598689079285","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":"Q930882$EBA46311-FE2C-4B89-8634-FD874E0748A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantic subtyping for the pi-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semantic_subtyping_for_the_pi-calculus"}}}}}