{"entities":{"Q3455864":{"pageid":5235264,"ns":120,"title":"Item:Q3455864","lastrevid":52414211,"modified":"2026-01-22T14:34:23Z","type":"item","id":"Q3455864","labels":{"en":{"language":"en","value":"A behavioural theory for a \\(\\pi\\)-calculus with preorders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6520065"}},"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":"Q3455864$ABD994C4-6FEE-440C-A6E1-5E91C3215185","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6d18564e9e8028240cb7b7f73cee198a3b1655a","datavalue":{"value":{"text":"A Behavioural Theory for a \u03c0-calculus with Preorders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455864$3E838737-6A65-47F9-875E-102AE540DBE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31bf6e6e09f806f98c139af916b8f46e92d8480a","datavalue":{"value":"1434.68328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455864$25E2181B-8387-497C-8ABE-AFD9436B3E38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d86338ff5daffa51eb0d55105636cd9635b9ba7e","datavalue":{"value":"10.1007/978-3-319-24644-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455864$A309DA8A-6BF4-4ED1-B230-C4EFEB4BAD74","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":"Q3455864$4520C7AD-413C-4BE8-BA3C-C4721D1BF179","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":"Q3455864$8CD779A4-6E3C-4926-959D-27F1A18F7151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f3403fe8086f1192e2b737c84b23ff146f94b11","datavalue":{"value":{"entity-type":"item","numeric-id":366386,"id":"Q366386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455864$9C666D1A-3FAD-4574-B1B8-3B71E20F3F03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dead0a4f465a856a9668a57715bd30d3d7951a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894546,"id":"Q2894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455864$7F25A12B-3162-4BC1-96CF-53840AEFB260","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455864$5EFF4F26-C679-4F2B-988F-CEA8622CDB50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5e7722e6c75c82aa6d6c4401c69fc4f170225cd","datavalue":{"value":"https://hal.inria.fr/hal-01246094v2/file/978-3-319-24644-4_10_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455864$A0A54873-80E8-468E-B037-47374770048D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455864$15E18F97-18D8-484A-AA5A-ED98762ED043","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc222d9aa46dade78b927036f64c7adec967134c","datavalue":{"value":"6520065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455864$F91794D9-75C8-4678-A4A2-59D813493652","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":"Q3455864$0E2D633E-D7B0-4D2E-8A49-D55643E26A0E","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":"Q3455864$2BEA49D5-6D9B-4DAC-B48E-48C557A10887","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73dbe6bed6c5aa76ae53cb24caeb95cd1e5018cf","datavalue":{"value":"W2277202962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455864$463B6E79-6C5B-48D1-ACC7-BCCD00D2B05B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455864$2BF459EB-5416-4CFE-A0D5-5C141C83C7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eed8b1166c48d3b61aecd61bb3c4e60ea341f19","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455864$37747E64-397A-4381-8F65-C5FC36F1C9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76dc31cf651309cef77e3501cf6562c54636266","datavalue":{"value":{"entity-type":"item","numeric-id":5464047,"id":"Q5464047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455864$F4402B34-56CC-43F0-ADAF-60DEF18356F7","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":"Q3455864$AFB69E06-752C-423B-BE08-1BCE89E613F8","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":"Q3455864$06973133-BBA9-4991-9508-0B628E7B51A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"834d65effc0707480ee2d49ff5fc5398e40406e1","datavalue":{"value":{"entity-type":"item","numeric-id":817843,"id":"Q817843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455864$5988729C-ECB8-44AB-A85B-3DC2CF9C7239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b3bd6ce0a08530e3ec54b2b2ed9934f85b7e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2786128,"id":"Q2786128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455864$6636BD6E-2205-43B8-952D-5E5D4C9502C4","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":"Q3455864$A0A86815-8DB2-41CF-85A9-FEA47A7B320A","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":"Q3455864$38BEC914-724A-4B90-9323-F2EC1C4DD9BF","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":"Q3455864$2FEC4EBC-4B7F-4A34-B5EE-A1AE5219B241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96536a3513c764186ae19524652263bcfe7ab572","datavalue":{"value":{"entity-type":"item","numeric-id":3163886,"id":"Q3163886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455864$D9EEF153-F181-474B-8DE1-2BE04A586C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30eebd202e1d23be9819f5cc5a73c6f27b7e94c","datavalue":{"value":{"entity-type":"item","numeric-id":1898459,"id":"Q1898459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455864$97880CA9-2DC2-4017-87DB-5E65B94D3747","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":"Q3455864$AA024A5F-47A4-4438-BAE1-E4D01443A9E2","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":"Q3455864$9D23A001-A28C-4B50-BD25-C2E7CF661A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fe61ea4c7c2273772517d1f37a616375d0b1db","datavalue":{"value":{"entity-type":"item","numeric-id":4219040,"id":"Q4219040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455864$E1BF1B3C-97EB-41D5-9F60-3B5D580D17C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9f5f2dd713fe09ea324837c63fc620228dfc02","datavalue":{"value":{"entity-type":"item","numeric-id":5308470,"id":"Q5308470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455864$2E3DB75A-5BD8-4E3B-B428-FFA5AC40438F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a64df53bf775f03b607b77fd88a97742b80ba2ea","datavalue":{"value":{"entity-type":"item","numeric-id":890617,"id":"Q890617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d9c967fc2000dbbb3780d6a6e5391780101a7a7","datavalue":{"value":{"amount":"+0.9941264986991882","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":"Q3455864$4286A396-3797-47BB-85E5-E15AA5B1A838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f27023953579e5791572ce91eff7d54c23ef4a24","datavalue":{"value":{"entity-type":"item","numeric-id":362281,"id":"Q362281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d4b18ad4f7eb607ebaf6a486c1c132555c4a8f","datavalue":{"value":{"amount":"+0.7716902494430542","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":"Q3455864$7F9E5B52-2685-4D24-911C-0BD6C7BD3E81","rank":"normal"},{"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":"2060bee56500ebe9066e1061c0bdee1d74348106","datavalue":{"value":{"amount":"+0.7665777206420898","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":"Q3455864$C149430B-D140-465D-9C26-4174BDB1D7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd8012adc7b64157dd5aaa4afe8436d1f9a2ee4","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a88a1b3018c1df2e7590ff80ff27dfdeba791e54","datavalue":{"value":{"amount":"+0.7660534977912903","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":"Q3455864$D39B9A43-165E-4987-975D-889F4D87BAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de15efe60a5681af3a4dd5e23f2f0f6d3a5a690a","datavalue":{"value":{"entity-type":"item","numeric-id":2906943,"id":"Q2906943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c5bba7a7ffe3364b4bb17b1c78ff8a10328b05","datavalue":{"value":{"amount":"+0.7659439444541931","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":"Q3455864$F8229CCD-B428-4EC0-9BA0-602338CD9473","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455864","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455864"}}}}}