{"entities":{"Q3541032":{"pageid":5570936,"ns":120,"title":"Item:Q3541032","lastrevid":50507387,"modified":"2026-01-14T05:55:20Z","type":"item","id":"Q3541032","labels":{"en":{"language":"en","value":"A Spatial Equational Logic for the Applied \u03c0-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5373087"}},"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":"Q3541032$980DCBD1-BA8F-4ED2-838A-2D483538BD26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f3647c1ba06567ade09b7a1276168be45aad6e4","datavalue":{"value":{"text":"A Spatial Equational Logic for the Applied \u03c0-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541032$74B98A96-F086-4388-BC1F-D3ED609D56B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c74bd2f61e810820bfeb6dffbb33d56239963eb8","datavalue":{"value":"1160.03313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541032$3B3F517E-8A5E-4EBC-9FFD-A492D8F87629","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ea212ba3c1cc9c3eaff8f2638f66368232711ae","datavalue":{"value":"10.1007/978-3-540-85361-9_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541032$4454AA41-3C4B-4DB6-A487-4FC504D08EC8","rank":"normal"}],"P16":[{"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":"Q3541032$E34439D7-723A-4B41-B364-93EE506F0201","rank":"normal"},{"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":"Q3541032$CD9FDC0E-28F5-47D7-A303-16F2E99C299A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8e3cf3901c2888c8eefc79ecc0e03048ef785919","datavalue":{"value":{"entity-type":"item","numeric-id":3541007,"id":"Q3541007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541032$4DB22AA8-2D2D-4F79-9FB9-20D551527403","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dce74537eabe7c3b243e3875395bb0b445dd7b5b","datavalue":{"value":{"time":"+2008-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541032$C573795E-A8EE-4530-9DC2-F05006A9BEA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541032$B4C98352-9F48-4FA9-B38E-A9F55E96041B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541032$414D552C-A70F-4541-8227-04B6592A5B33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"747838d1e563cff44e4f5a807686285af066b744","datavalue":{"value":"5373087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541032$E98D1873-C40B-4BDA-ADC1-0E797BE131ED","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":"Q3541032$5CF708B8-6095-482D-A10A-C2CBD62A33C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1afc939353416dcb72a5cd61e7bca2aa5987e88b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85361-9_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541032$A031956C-F8FD-46C2-A998-AD1D45E6CA74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cd34f95ac84a81b43ca63bc39b7d4aac00ebec0","datavalue":{"value":"W113287545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541032$751063AD-832E-4C8A-8D47-B4228D17F0C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541032$5F098B4B-7461-4B89-990E-B091D7AA5063","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":"Q3541032$DAE9E0C2-9380-4053-8E75-2F319D60A61F","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":"Q3541032$74328E88-0AC0-480D-8AE7-A258EFCDAC3B","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":"Q3541032$CF9BCF2D-2C91-4660-B026-C2BD05898BAE","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":"Q3541032$BEDD1919-2227-4910-89C8-FAAF91EEC898","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":"Q3541032$FC26CE3B-6E7E-4CC7-8A14-7A66F2443431","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":"Q3541032$AB56F3E6-472D-4A1B-94F3-8D82B8900B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"862061599e2cf610e0a9811f43493efd6b3954e5","datavalue":{"value":{"entity-type":"item","numeric-id":870359,"id":"Q870359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541032$0D3D7AE3-66BE-4EA5-80D6-5F6EEDA87220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110e04d4625ac7707eb0d6fa980c0954dd5abff2","datavalue":{"value":{"entity-type":"item","numeric-id":5705900,"id":"Q5705900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541032$3FFCFFCE-9EA1-4073-B0F6-4A1A05C272E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b801b615e08f098641390b0fbab7219ff0e7229d","datavalue":{"value":{"entity-type":"item","numeric-id":5466572,"id":"Q5466572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541032$01362140-8427-4857-8F51-D9AC0E4824CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3680a609ad1617b27cdc4ee102500a7da1b5d9b8","datavalue":{"value":{"entity-type":"item","numeric-id":5262936,"id":"Q5262936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541032$E98BFF89-4784-466B-9FDA-EF9ADBC29801","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":"Q3541032$7F1F6B26-E979-446B-B62D-F1EC67F36013","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":"Q3541032$DA866AD2-6EDB-4610-9F8E-713D4A9456B5","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":"Q3541032$5C066E48-78D2-4DC9-9E8A-D6AD3FF62E47","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":"Q3541032$BA100419-7CBE-439C-A51D-B5EB96AF13DC","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":"Q3541032$CE57D32B-E830-477F-9267-11928A360C9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fb1324f1a3879024a697749467f10b3951b7219","datavalue":{"value":{"entity-type":"item","numeric-id":992517,"id":"Q992517"},"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":"Q3541032$C89FB7A6-F532-4D11-9DBE-ABDC20BCA230","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":"a7f94ba354617442e4ad7295300ece84607dd947","datavalue":{"value":{"amount":"+0.8546923995018005","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":"Q3541032$19A0BB33-7678-4BA3-A2FE-C1F2282DC4BB","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":"fe72934d7fee18b5ac724ad92ccf91e460472025","datavalue":{"value":{"amount":"+0.8321741223335266","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":"Q3541032$231BC60C-0B0C-45C4-A00C-234C713DB3F5","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":"3efebfe1d2d3d8880b1a3764567e555c2bcdcc5e","datavalue":{"value":{"amount":"+0.8274137377738953","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":"Q3541032$4BEC55D4-25CC-4E78-AF16-73648761CB94","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":"9652012f10c68b0853be9ca41eff8e0fe947444a","datavalue":{"value":{"amount":"+0.804780900478363","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":"Q3541032$D73D57E1-551B-40DF-8A96-F3FC4A8937E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3541032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3541032"}}}}}