{"entities":{"Q3541031":{"pageid":5570935,"ns":120,"title":"Item:Q3541031","lastrevid":50507384,"modified":"2026-01-14T05:55:20Z","type":"item","id":"Q3541031","labels":{"en":{"language":"en","value":"Spatial and Behavioral Types in the Pi-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5373086"}},"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":"Q3541031$DD669B18-234D-49B8-9B85-5B3964369EB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f179bc81c99578c1b4d24a1aac68949abb131461","datavalue":{"value":{"text":"Spatial and Behavioral Types in the Pi-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541031$C7F5E914-682C-4F99-A339-BFB5BBCACBBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc47daa4379ea78b3acf358d190c4e9100f38216","datavalue":{"value":"1160.03312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541031$976DD1EF-FE78-49E1-9C28-B439D0248EB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c21f52a5b0d6d1778b5dae45a3892ab708382cc5","datavalue":{"value":"10.1007/978-3-540-85361-9_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541031$9DD1052A-27AF-479D-A13D-34416BE25D97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7adb74db42531465fdeb3a66989f6b1a7bbeb2b","datavalue":{"value":{"entity-type":"item","numeric-id":418154,"id":"Q418154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541031$9203E67A-D63B-4FF1-97EB-44E40F26C780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e18224bff5766368d67ddcb517cf22b6a4ff445","datavalue":{"value":{"entity-type":"item","numeric-id":418132,"id":"Q418132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541031$F2F6158B-4BD1-45C8-B146-12AB7EB1C79D","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":"Q3541031$0518A863-1BF5-4EE7-87AF-FB1D9E765928","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":"Q3541031$1DE3DC6A-6D26-44D1-AA24-0F72438C70B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541031$065077FB-8148-4EEA-BC41-7B136052B828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541031$990C4876-39E7-470E-86D7-301097ECC302","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79d96401d6879ae5a774c0e8436fe0d7a9811afd","datavalue":{"value":"5373086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541031$AF7B70CB-CEF7-4427-A62D-53F7E6C8BF49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3541031$5CC5561A-F28B-4D22-8B14-EABB4DB9A4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"670da816a18b18ca4d8988eb758fd42de00dfd5f","datavalue":{"value":"behavioural type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3541031$5B57FD98-B79F-492B-88F1-57A3E39D00DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0f0ad48d236cd78f6fffbd8f8a48a91a9a8a4c","datavalue":{"value":"spatial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3541031$B96CFF10-55D4-481C-94F9-AF3892ED26C9","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":"Q3541031$FE92D22C-2CA0-4C64-8D5D-6D4AC95E1B9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61cc89e9ab925aee0b5ca3690d2a24f51f82a00a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85361-9_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541031$C1F3AD76-A441-4D23-8C4B-75B4E1C24C4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea514bef5b3480e15d079c4cccb1cae7a2f0ea92","datavalue":{"value":"W2154345456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541031$44FB8678-9929-433C-A805-272E51994EC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f35469f5c5fc2116127c24d854009bd361614bb","datavalue":{"value":{"entity-type":"item","numeric-id":1959478,"id":"Q1959478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1691451a6b85021dace8a9129060686c99ef112b","datavalue":{"value":{"amount":"+0.9778655171394348","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":"Q3541031$6B375DB0-D245-4486-85AA-AF362F3861A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ea88625afb98db176cce3c3abb2c7d03d9b270","datavalue":{"value":{"entity-type":"item","numeric-id":3638083,"id":"Q3638083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6499ef2102a7c1dcd7bfd028ce6e4891e13cdd3","datavalue":{"value":{"amount":"+0.8163389563560486","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":"Q3541031$A007028F-94A5-48DF-B350-9AED3BF8F782","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":"421fec997daf2069dc922888fe19f1f3833a4f4c","datavalue":{"value":{"amount":"+0.8101081252098083","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":"Q3541031$50B5C0EA-7E57-40CB-948F-DD0B62175176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93976a1c4eac2f8655be149b663ea6dcc21b46d","datavalue":{"value":{"entity-type":"item","numeric-id":1884932,"id":"Q1884932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa71331f4344b1be4deea29be2489044c6063aa","datavalue":{"value":{"amount":"+0.8024927973747253","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":"Q3541031$731C9368-E246-4D66-986A-2EF1852B8E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea0a69a641efcf9edb24fd49194f925ff911754","datavalue":{"value":{"entity-type":"item","numeric-id":5178880,"id":"Q5178880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4891b003c373de620128ca1ee0c9b27db920b4","datavalue":{"value":{"amount":"+0.8024297952651978","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":"Q3541031$9CA8D12D-1C5C-4118-95CA-1931C8737406","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3541031","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3541031"}}}}}