{"entities":{"Q2946601":{"pageid":2957321,"ns":120,"title":"Item:Q2946601","lastrevid":52347158,"modified":"2026-01-22T10:11:25Z","type":"item","id":"Q2946601","labels":{"en":{"language":"en","value":"Proof search specifications of bisimulation and modal logics for the \\({\\pi}\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483109"}},"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":"Q2946601$1A3B1331-783F-4F85-A307-6ACEAE5C6F67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2e8163b2a900e31a366c6754dff23b5095e1a70","datavalue":{"value":{"text":"Proof search specifications of bisimulation and modal logics for the \u03c0-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946601$7EB7CEFC-D3CC-426F-B9FB-F8CBF716C894","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b1e573048a3c5278ab7eb2143415553ece26993","datavalue":{"value":"1351.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946601$B45BC171-EFA5-4E7A-8308-FEA132C4BFB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76f6c59e1b22b8d0508c6605eb434e1df1a00a54","datavalue":{"value":"10.1145/1656242.1656248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946601$4DA19132-AF69-4BC3-AC70-CDB7570F3C92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946601$8097933B-E590-4664-9CC0-CED802C651E7","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":"Q2946601$97AC3F81-1B79-4AF7-93A0-892BF7B6EB01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946601$CE866300-8596-4CAE-906C-D028BA60A590","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946601$694F0590-BD51-446E-95A6-63D75A0A046F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946601$F451C398-ED46-416D-B7DE-EDA949E06EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946601$5DF8D278-7B69-44DC-AB5C-42EB304F0170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946601$7E6EB73D-17A0-474F-8F08-DC464FA07086","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba66224f337c494e0496f729cbdd227365162cf8","datavalue":{"value":"6483109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946601$2F3CEE4A-1118-405F-9A60-7FE8E44BE31D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6237db3e6bf9b8eb6fbd015d8ddaaf4e2dbffdd8","datavalue":{"value":"\\(\\lambda\\)-tree syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946601$38F3FEAF-2A39-4B0B-9505-20442405DA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14155a8d935995e3319283b179dd7f5d0fb4d4fb","datavalue":{"value":"\\(\\nabla\\)-quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946601$60B33A49-8DE2-40AB-BD0A-F4A25274ECF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946601$FDA4BFC7-8B8D-49BB-9144-462255022CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946601$4560A48A-6EB1-4CF5-A491-E185AB17613A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946601$08309FF4-9F15-4061-BE59-0E5DEF817A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f3350743d20e78a6748a8182abb0dbc224ee9c2","datavalue":{"value":"generic judgments","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946601$4233EA48-AEC8-435D-BFB1-36850BEACC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946601$109CD005-1F6F-45C2-9FE9-4B24AB3618D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946601$35D73592-61AC-461F-821C-AA2C3380E750","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":"Q2946601$EE18EB38-9CD7-48CD-9F91-1A6CF535D469","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87f56a48d733d879aaa20e4a6f0581c90d6024fc","datavalue":{"value":"https://doi.org/10.1145/1656242.1656248","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946601$1F3A8689-84E0-435E-B1AE-757BC1737425","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38e19d4aa13009da651ce2f787343692cc96b676","datavalue":{"value":"W2104680392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946601$20551E6C-AEAA-4D4D-837F-634F7FE9AFC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b467c8f197ba8c6e05594d5d6af075601f4d57c5","datavalue":{"value":{"entity-type":"item","numeric-id":2848670,"id":"Q2848670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af995e6419e2b4dd1bf0ccb817033dd16bbf0c65","datavalue":{"value":{"amount":"+0.9326319694519044","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":"Q2946601$64B04BDF-E739-4CF1-AA2A-0E05D15F22F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9821a508d4a2e7d97b4965ae2d789ace52ee0dcc","datavalue":{"value":{"entity-type":"item","numeric-id":5311281,"id":"Q5311281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9df9f7bf006e04815f4ca154a3399694bd9291c","datavalue":{"value":{"amount":"+0.8349924087524414","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":"Q2946601$A4C11A82-F8CE-4DE6-A4F3-68372E64239D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527ed1ff046149b21a3ec2c8d4a731f50c711513","datavalue":{"value":{"entity-type":"item","numeric-id":5897473,"id":"Q5897473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3941aec1aedc82a320b6683714019700d890f33","datavalue":{"value":{"amount":"+0.8109113574028015","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":"Q2946601$FA49B5C0-1682-49C3-847B-D2A2042B1012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352c6d1ab5d40e1d492a3a5517112ace602b338a","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84a346c1b23ea523cc2d226a20ea93eec941919","datavalue":{"value":{"amount":"+0.7904309630393982","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":"Q2946601$3B8F90CD-FCDA-42C9-AB9E-6450EA7B383C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297acb1c2498070a6911b004240eb0e77b3f478a","datavalue":{"value":{"entity-type":"item","numeric-id":5357704,"id":"Q5357704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06634290c9c3b44f77e79722b9a1f80578822f22","datavalue":{"value":{"amount":"+0.7863103151321411","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":"Q2946601$CD6A62AA-A084-4ECA-A8E2-61B7BD9E45A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946601"}}}}}