{"entities":{"Q935465":{"pageid":937313,"ns":120,"title":"Item:Q935465","lastrevid":65494326,"modified":"2026-04-12T02:59:18Z","type":"item","id":"Q935465","labels":{"en":{"language":"en","value":"Spatial-behavioral types for concurrency and resource control in distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5307110"}},"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":"Q935465$F8CD98CB-2A21-4226-A043-C1B7B4F0BF81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36704fb0145afffd32d83ca7c01dfce7a52a247e","datavalue":{"value":{"text":"Spatial-behavioral types for concurrency and resource control in distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q935465$2885B60C-C624-40EB-AF25-AE6498754930","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56d30a6f87dfeeab8471658eded91474bef72ad6","datavalue":{"value":"1146.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935465$4F3A7647-B528-4E39-95D1-DC512F48AAB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6196248ea4f7015d5a81fd36913200988fc7bf90","datavalue":{"value":{"entity-type":"item","numeric-id":476187,"id":"Q476187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$3B612817-561B-4FA1-8A48-8A27E179551E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$E38825BE-208C-445A-BE42-3A54BED91A49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"450d2294b845f0f9561a47040d8b62e63dee0412","datavalue":{"value":{"time":"+2008-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q935465$C832D130-A14A-493B-8E53-C74327A9FF93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935465$F3F96867-A1A6-464A-A32D-0551575D7AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935465$FEECDD85-720F-42A6-A88B-163AE89955A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935465$767242B4-D1C2-47DE-B3C4-B3BBCDCCFA21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4221334cdbd5a081294dcc5b12c1610eb57ffae","datavalue":{"value":"5307110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935465$9D299D60-7E72-43AC-A174-BB2B0CCDCA46","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e0be8668f4bfed6596e70599d38da611fbd720","datavalue":{"value":"behavioral types","type":"string"},"datatype":"string"},"type":"statement","id":"Q935465$5463D7E6-D70D-4C1B-A64A-87DB84543345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6164b90708edc61301ab03da8984823759888e","datavalue":{"value":"spatial logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q935465$948850F5-F7CC-4F1F-BD36-7EBB3C564927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3950c90a10de01fb743c114a062a83943d8cd048","datavalue":{"value":"concurrency control","type":"string"},"datatype":"string"},"type":"statement","id":"Q935465$4E857380-F9E8-4C21-B5D1-B0F0F8CF08D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q935465$540E5512-654C-4826-B9CE-C8793233D4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afa0efd93268213005c0789b4d45586332962be2","datavalue":{"value":"service-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q935465$CCF7B861-02F9-4AA4-B400-AA9DC71A81DA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a557776217bf8c27ff1474396465b9e88385161c","datavalue":{"value":{"entity-type":"item","numeric-id":23420,"id":"Q23420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$9C5C4BE3-34F1-4DEF-BDA5-604177FB24F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67dc44392b5218e5db28fca577b61569531068ea","datavalue":{"value":{"entity-type":"item","numeric-id":21407,"id":"Q21407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$6BD50213-AAFC-43DC-96EB-43B371244FB7","rank":"normal"},{"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":"Q935465$21EAAEF1-8BE4-4EED-BB51-C14C1654B25F","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":"Q935465$09ECBC6C-B064-402B-9EF3-E8D1A06804E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45135d66326328a180c6ee1e345388914716cb11","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.04.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q935465$DDA2EADC-40F1-4C2D-8C6C-38DF87F71087","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ee7678fa77d635c4122832710241fc2cb7d64b0","datavalue":{"value":"W2021199294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935465$722CF55C-7589-411F-BC3A-E5AB1848C10C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"880262bcf5257e21baf7040647e58bcd62212ca4","datavalue":{"value":{"entity-type":"item","numeric-id":1917083,"id":"Q1917083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$B572E2CA-5F55-4E82-9658-B594BD4E21BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"416d1b6b1d5e0614d49d241098f17a7e532ebc53","datavalue":{"value":{"entity-type":"item","numeric-id":6162111,"id":"Q6162111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$583C00E8-A993-4D41-990A-9C2265766E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e121a6b33c301ace58f34d91764af44f75a9323","datavalue":{"value":{"entity-type":"item","numeric-id":5308443,"id":"Q5308443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$989D1C94-6CC8-46A3-84EE-8B780D3D41D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c717c5f4ec20b6fa3f8fc1fdc551850608e59f1","datavalue":{"value":{"entity-type":"item","numeric-id":3608455,"id":"Q3608455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$303D2977-B3B3-4FA3-A07E-D0C2ED5DECBA","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":"Q935465$CF56EAF2-2B48-41AC-BFEC-2F29E3CBCC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d39dff3f8da19567dde35105f4d4868a36a37de9","datavalue":{"value":{"entity-type":"item","numeric-id":1881257,"id":"Q1881257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$3A86BFE8-5A5F-403E-942B-F811BDACFA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51dc08ebf63cb980ff38c6a8655ca9339e988d9a","datavalue":{"value":{"entity-type":"item","numeric-id":3612481,"id":"Q3612481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$0019F845-87A1-4109-ACF5-DD05B374F860","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":"Q935465$353109F5-7361-4532-8BB7-D40E6F172C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd887abcf3ca35cae9e79acb86dc1203d0dca77","datavalue":{"value":{"entity-type":"item","numeric-id":5178897,"id":"Q5178897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$9A4283BC-339A-44F2-B968-86F79FA32004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7187b87448d94b7ccd9f7afdddf37ebdb8296b27","datavalue":{"value":{"entity-type":"item","numeric-id":4223023,"id":"Q4223023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$3F151920-2A33-43FB-9952-FF92F59F01EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4127da81685d09d0b6a73afcf8a6432964303df8","datavalue":{"value":{"entity-type":"item","numeric-id":1854507,"id":"Q1854507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$CEF37AAE-E96D-44BB-8CEE-85A5598C863D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27ebb7cc4b4f22b5f1509da95f56e383f20d25b","datavalue":{"value":{"entity-type":"item","numeric-id":4117358,"id":"Q4117358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$BB73D277-C6F9-42C7-8BD0-1DA63FC0640D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33fb5486878979db4428b757a9dae38f8d1a87cd","datavalue":{"value":{"entity-type":"item","numeric-id":5178880,"id":"Q5178880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$618D75AD-3A0B-4DA0-93C7-2CD262F5337E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a078dd0e624234f9b7dc925204085eddb103b943","datavalue":{"value":{"entity-type":"item","numeric-id":5178917,"id":"Q5178917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$8B983406-1CF4-40C1-8C41-A1915B9438F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7ca9d7d4c37cba35ad27dfba84e476bdb59d65","datavalue":{"value":{"entity-type":"item","numeric-id":5311497,"id":"Q5311497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$254FD013-1D1B-4AF8-82E4-3355BEBF1F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$7A492319-36B6-447F-9485-D369FBC08FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c5b0455dd8fef6d6a5385a09cc62e1e068fc70f","datavalue":{"value":{"entity-type":"item","numeric-id":5458360,"id":"Q5458360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$56BFC40D-3270-44AE-8095-5641C85092DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8158f90e3f3633da5841c840dca1cf6d087bc771","datavalue":{"value":{"entity-type":"item","numeric-id":4484478,"id":"Q4484478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q935465$85043118-2A49-42F2-9244-73CFA3A8FEB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9ea503ae7929c65e29c5cd158856c0386802254","datavalue":{"value":"10.1016/J.TCS.2008.04.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q935465$996F7BC5-BDA0-464C-8A05-93A5D5B8D23B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe462a36a7da3d9be3069d38406bec2ad2e006b","datavalue":{"value":{"entity-type":"item","numeric-id":3608455,"id":"Q3608455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1791a99cecc7e670fc201bc43efce5a3fcaf93c","datavalue":{"value":{"amount":"+0.9081200361251832","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":"Q935465$19EA937E-1930-4E77-983B-DC79E84C93BF","rank":"normal"},{"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":"62360ff1eb66f873d4469341ae8c201752fb1cf8","datavalue":{"value":{"amount":"+0.7701697945594788","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":"Q935465$569B24EC-FD5E-4F4C-B019-09CF549D6493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d70a779b46183ed28556aad915835357720c298","datavalue":{"value":{"entity-type":"item","numeric-id":4536990,"id":"Q4536990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1e78f898d6999368d5395afe11da724839789a","datavalue":{"value":{"amount":"+0.769603967666626","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":"Q935465$E716D3BE-8B39-4645-9DB9-117F2B7E670A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68e4629e5f156a304403f3cd0637145719ec9ce","datavalue":{"value":{"entity-type":"item","numeric-id":3541031,"id":"Q3541031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aebbe0fbdc71c7b0065f578e88f812ab74842f4","datavalue":{"value":{"amount":"+0.7674416899681091","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":"Q935465$08357E6D-E931-4FC6-BBFD-9B90E6B10357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7387d43ddc2f7d75fbde293f8c4644a7b3a0928","datavalue":{"value":{"entity-type":"item","numeric-id":875514,"id":"Q875514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28be876b600042b9ca80282e91480cb2b4d39e6d","datavalue":{"value":{"amount":"+0.7566702365875244","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":"Q935465$509034B5-BA54-413A-88EF-DDD61E21EA70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Spatial-behavioral types for concurrency and resource control in distributed systems","badges":[]}}}}}