{"entities":{"Q992517":{"pageid":994365,"ns":120,"title":"Item:Q992517","lastrevid":65927361,"modified":"2026-04-12T06:19:32Z","type":"item","id":"Q992517","labels":{"en":{"language":"en","value":"A spatial equational logic for the applied \\(\\pi \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5781477"}},"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":"Q992517$E62A750D-C18B-4DF4-8469-6652E4C6D9F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5fd9836090c71b2896d6e53c197bc7309ef458b","datavalue":{"value":{"text":"A spatial equational logic for the applied \\(\\pi \\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q992517$01F8E48C-9A31-4F7E-93D7-7D48BF62B45F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea0d0979646255b32592cc9d8f6ce701594bd538","datavalue":{"value":"1231.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q992517$4121F783-F84E-4338-A14F-EE7FD45BCAD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1f67e4f16065570fc730f998e4456a221f6f339","datavalue":{"value":{"entity-type":"item","numeric-id":992516,"id":"Q992516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$E72486D4-ECE1-489C-835D-5169DB3D2B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1c1ffcb608d047f67d583033b7312668433cc60","datavalue":{"value":{"entity-type":"item","numeric-id":418136,"id":"Q418136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$9EDD3F9C-0C01-437E-A14F-06D4E519E229","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$D29F1076-9244-4512-853B-AB799D7C345C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"587033a7b79934869c6b3f190356842a9070da4f","datavalue":{"value":{"time":"+2010-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q992517$04ED33B6-EDE0-4FA6-BCDB-49A44219D28E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q992517$0E5DAD32-BAD5-4800-A332-7609CC008F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q992517$E3057A93-AA8B-49BC-89DE-1536890EA235","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1db165f2fdf01328e63367d06981edf6c03d4cd3","datavalue":{"value":"5781477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q992517$41E80A36-445C-4438-BA6F-F3471B83B7BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0f0ad48d236cd78f6fffbd8f8a48a91a9a8a4c","datavalue":{"value":"spatial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q992517$C6792309-EA0C-41A5-BCF3-A8351B0A48F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fe0f6f25660b73d987e94f95dfb168c3ddd9c89","datavalue":{"value":"applied \\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q992517$4E543E8A-FF5F-4648-B6B2-5E5CE41D3953","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$8C71102C-F279-430E-8758-279C500D1E9A","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":"Q992517$443D16AE-8B70-434A-B3AB-DF50F138CA68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c705761e04dc859223a52988858c8a8eadaab85b","datavalue":{"value":"https://doi.org/10.1007/s00446-010-0112-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q992517$1464D7DD-B006-48B2-B73C-C9BF68C7B6B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a00b9ac05ea7bdb7d95ed090e63f443fcdc8985","datavalue":{"value":"W2026881877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q992517$6CD8056B-A829-4E29-B73B-7E63FDEA09F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$43D802AC-F38F-44B4-9FE3-4D0DEDF1FA25","rank":"normal"},{"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":"Q992517$CA6E5865-A90D-40A8-9C61-FF3385BCB1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb3f6c1f8508a1ad9f6d76b676e4b1a7c379e77","datavalue":{"value":{"entity-type":"item","numeric-id":3638083,"id":"Q3638083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$4B78EE32-9C9A-44B1-987C-7F9C510F4C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bd452f4efa34f7cb36ebe9c70c3a03f0e26a0b","datavalue":{"value":{"entity-type":"item","numeric-id":3557848,"id":"Q3557848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$F8377C2A-8BA4-4444-9B3F-847E320A3864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$7FA1B821-ABC5-4174-9249-9AB9C11C4D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5b855c6811e0350ff03dca58128bd70ad02611","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$E73482BB-0685-45E1-946A-B4F54834FF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4653c0f0f6a876ce0d7e16cf045025beca3f07","datavalue":{"value":{"entity-type":"item","numeric-id":5311477,"id":"Q5311477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$3EE2C9CF-766D-41F7-9EC6-7248FE475862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec42b90297b26fe3f31f8daa839dbb32e166d6b","datavalue":{"value":{"entity-type":"item","numeric-id":3367666,"id":"Q3367666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$194FC21D-C94E-4C0C-807F-A03295AB8C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e345b28b6b4a436b683f7783d3d5886397a900a6","datavalue":{"value":{"entity-type":"item","numeric-id":5276152,"id":"Q5276152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$D31982D4-FCB1-46FC-8A8B-6F567F7633F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$E3D42BCB-F7F9-497F-9AAD-92B34E794DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$1F47CDE9-7323-41F6-89E5-2652065A3D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"404f64e3ec048ef95a2659b7e9229c34a502aa16","datavalue":{"value":{"entity-type":"item","numeric-id":5311483,"id":"Q5311483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$D8F66203-9270-4B4A-A717-5FDB8A515407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3378751f7f748516dde2341c325d9b024a4a3744","datavalue":{"value":{"entity-type":"item","numeric-id":5191522,"id":"Q5191522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$28AEA7A1-A983-42FC-8776-286A9494FC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6246805cb66cd68041f0b7dfdb93a1d4e928c8f7","datavalue":{"value":{"entity-type":"item","numeric-id":5310656,"id":"Q5310656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$3471138A-79BA-47AE-BECA-37D52D0D1D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce59db71ecc9f96adbd4ed94fb42a11a024d12a","datavalue":{"value":{"entity-type":"item","numeric-id":3535609,"id":"Q3535609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$C9DA792D-4FB8-479E-8165-BBC7582A8953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8c8c09c50da86eb3a2457e2e0c2ba2fc5b2989","datavalue":{"value":{"entity-type":"item","numeric-id":3541032,"id":"Q3541032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$5112B4FB-F56C-4B33-A859-9EAF5DBC25E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e926a9ec8c912a75926030aed9a339b3989f0fa","datavalue":{"value":{"entity-type":"item","numeric-id":3612502,"id":"Q3612502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$4C54115B-2748-4CE3-B8FF-7B3C155DD39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$E5DD4147-60ED-4756-997E-BF42FC1BBB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c9fd957d06f9549d11ea84200d3ec675a0d0b11","datavalue":{"value":{"entity-type":"item","numeric-id":855007,"id":"Q855007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$3EB9FE2F-B019-4A02-9185-3BC98FE00D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f992dd70dfa2428e0541bf5d0f892f3342ea38","datavalue":{"value":{"entity-type":"item","numeric-id":5178868,"id":"Q5178868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q992517$5F5D8F9D-B69A-44EC-AEA5-CB3606A941EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e73a9ec3bbf73cbd44a16ce9fe4f5ac3437c051e","datavalue":{"value":"10.1007/S00446-010-0112-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q992517$624387DD-09B9-4DD7-84EC-7DE7935DA445","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8d271643e00d66cb5e1383ba626ba5989b0f04","datavalue":{"value":{"entity-type":"item","numeric-id":3541032,"id":"Q3541032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"468f9c92c9fb2e3e9cbd7faf8422dc8cb4240b67","datavalue":{"value":{"amount":"+0.9974945187568665","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":"Q992517$13B75068-2A36-45FA-B021-388B4F4255FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6058e7212ccf794faf9b9f961b1d53e712b8c26","datavalue":{"value":{"entity-type":"item","numeric-id":3502660,"id":"Q3502660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9726a586dfd255f518640bff5cbe2bb25875e1e","datavalue":{"value":{"amount":"+0.8531543016433716","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":"Q992517$5BBB8910-5306-40DA-845D-ECBC08885181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2cf888c9cbdd1ca8863b343b33f00a8dd680c5f","datavalue":{"value":{"entity-type":"item","numeric-id":5308443,"id":"Q5308443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66e1668d3839dc78a7043b83efb95819b80f3a9","datavalue":{"value":{"amount":"+0.8335957527160645","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":"Q992517$48DD557D-B32F-4D68-A46B-2FBBD6E9BD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d43645f6077dccf9c4d1b373141fd9ac598d44","datavalue":{"value":{"entity-type":"item","numeric-id":5311483,"id":"Q5311483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1107b8d2386c9311908b9bb4aad107d112f6bc34","datavalue":{"value":{"amount":"+0.8299376964569092","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":"Q992517$2D20E31C-100A-4744-8DAA-0628C9DC1701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7c2999b341492c4032a021dcc412dd70cf3bbf","datavalue":{"value":{"entity-type":"item","numeric-id":5307947,"id":"Q5307947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45febb4bd7639616aad30dd0f4f15b0457069357","datavalue":{"value":{"amount":"+0.8051294684410095","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":"Q992517$07DE1923-0C79-4B4E-A4AD-DEA6AD13D639","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A spatial equational logic for the applied \\(\\pi \\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_spatial_equational_logic_for_the_applied_%5C(%5Cpi_%5C)-calculus"}}}}}