{"entities":{"Q879368":{"pageid":881216,"ns":120,"title":"Item:Q879368","lastrevid":65075574,"modified":"2026-04-12T00:09:33Z","type":"item","id":"Q879368","labels":{"en":{"language":"en","value":"Resources, concurrency, and local reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5151782"}},"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":"Q879368$CAD049C7-EE7D-4359-8A8D-0DAAD8118E35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6afef7663d9942e0fb0312e50cb8d4a7dd372e24","datavalue":{"value":{"text":"Resources, concurrency, and local reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q879368$69BB68F2-8C8C-4BFD-86C4-AB00E11AFF75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88aeadcfd6af97fcf31fca0b69680ad387961660","datavalue":{"value":"1111.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879368$D573103C-D8B8-429E-8609-42B4679E39F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$F4B49151-247B-4E63-8B8B-200ED326FEFA","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":"Q879368$C186F7F7-3762-4867-BDF8-D43E58E7B2F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbd0eb8b100807c851c8df9ae7f8fa5376f95dfe","datavalue":{"value":{"time":"+2007-05-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":"Q879368$27360069-4DA3-4582-801A-379FD4E7300C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879368$711E4CFA-A9BA-45DF-92DB-2CBE4D4021A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879368$7D3A8C9B-D503-439D-9F90-9CA9C178C9B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e42e7a2af23e350e1a2027d5f337ae51b439cbef","datavalue":{"value":"5151782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879368$CD7E9203-7CE4-4FFB-B9FD-6B42D66D7C95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q879368$D0BD1E76-B193-48E2-B586-405EBA72FC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01c2e9fca6f8eae5967e213326fb0359ea050d0","datavalue":{"value":"logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q879368$16958D3F-6D26-43C9-BD06-05EEF497DEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q879368$D175D070-75EC-4CC5-81E6-AF1DF1A1B714","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":"Q879368$BB6D70F3-C368-4745-AB91-FC27CDAF5A3B","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":"Q879368$71735A0C-2170-4A93-8EC9-EE47A35506A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dea8a161f8fe778f8a831811a3913c21969e86bc","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.12.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q879368$18683B57-A28A-4691-BB57-F29E01EC23A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e3871f83300f0f8e32ea634ef9980b8729b8d87","datavalue":{"value":"W2132761501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879368$2860922C-1489-49CC-8BD1-AFF87ACDE78E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"66b68753be78363e5ee512257b6cb693e5f06bc6","datavalue":{"value":"Q29544774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879368$424E74A0-6796-490D-AB75-4CBE306D2A7E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d02e4db3d83f3a6504aaa70bdd8dc128053b11","datavalue":{"value":{"entity-type":"item","numeric-id":4797824,"id":"Q4797824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$2BEE4CFB-E69B-4996-8849-098654565689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac2d1fb94a0d07e4225de2379c1375e7b637371","datavalue":{"value":{"entity-type":"item","numeric-id":1566869,"id":"Q1566869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$DBDB5BA0-F8B2-4698-848A-EC8B9E94EA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3528a4c6aa7c1dbb75517b1e32592cd5687df0c4","datavalue":{"value":{"entity-type":"item","numeric-id":4066584,"id":"Q4066584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$37429E9E-C637-41B1-973D-B31CC6171FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46032ba5ece24de48f40420b0e49a4aaa3c476a","datavalue":{"value":{"entity-type":"item","numeric-id":5585060,"id":"Q5585060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$80BA8127-CDC2-4387-9560-67A428C21AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$C8F9DB9F-6CAA-4958-9897-809707DA6DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$6866F93A-D852-4965-9557-2DAB95277E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$03C6F681-D8AB-4413-843E-D0A23F461A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$29813BB7-4543-4354-93F8-9E6503E2840F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$43D85A38-3F3D-4052-B50C-B7E7B36048CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a9238fc49995a79f8c006683b1a9c42fafe2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4085221,"id":"Q4085221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$8006A60A-2BD2-49ED-86B7-459B4E8035B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a8c0319a2245226b71de02a8c469bc6287b46b","datavalue":{"value":{"entity-type":"item","numeric-id":3452266,"id":"Q3452266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$ABA497F2-0C7C-4A1C-9B02-BDDC2AD37869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafe746e3b002ee1de89cad9c41b98e375dad63a","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$57AD32A6-1CE4-4E93-9C7D-22934A636004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17e8ae9c5653aa5723cc546879365e78cc6cdf7","datavalue":{"value":{"entity-type":"item","numeric-id":5465879,"id":"Q5465879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$364F6202-6F59-4586-89E8-2AA1C4B42520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508bc917a7771d26e78b44ecb3237422dc102dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4066554,"id":"Q4066554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$AE6C4BBC-A0A8-45A5-A7AD-3609D3A47AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b4246bf332d45c90c410b55aa43c4af6aee470","datavalue":{"value":{"entity-type":"item","numeric-id":5626277,"id":"Q5626277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$8677D835-8233-49C6-923F-E177DF21132B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$DA99BBC1-E2DC-4E2F-9280-A110D8850153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475ea5d083fb5bd89962d85a5420e1d194f31549","datavalue":{"value":{"entity-type":"item","numeric-id":4024005,"id":"Q4024005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$295DC2CF-9B2A-4F3D-B870-A98089A612E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6f86e69e4182fe9dee7c3758ceccac77217422","datavalue":{"value":{"entity-type":"item","numeric-id":4813391,"id":"Q4813391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$67B9CCBC-A653-4C1D-AD7E-7DE2A2B0D012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c642b8a2a51ea751f61c4db5e751f89086f5237","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$0404CE72-96B1-4B74-A13B-F99D295297C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67625aaf8ba1a48060cec8621d1bfe60db9cb31","datavalue":{"value":{"entity-type":"item","numeric-id":2852352,"id":"Q2852352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$9D57AAF1-161B-42AC-A74A-63FBC26A3A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ca95c501c8eb39c49ecd9223417445a3a6b4e5","datavalue":{"value":{"entity-type":"item","numeric-id":3883522,"id":"Q3883522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$BACA1711-5757-4784-B774-7B199C6E14E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$26818852-CCA1-4C7C-9E11-D19F50E505BF","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":"Q879368$B5E40624-F306-49D0-8AAA-97BD2B44892C","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":"Q879368$899B998C-4EE5-44F1-81FE-0967C809D29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cfe35b9599eb4737f70f7b21b49d7c03e204b7","datavalue":{"value":{"entity-type":"item","numeric-id":5714431,"id":"Q5714431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$4C160D0C-29A0-4E95-96B6-479CF635577C","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":"Q879368$98EE7A86-B8DD-42D8-93CB-4F298377835D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a60a233b5faab0c225c08b16f8c392479430c8e","datavalue":{"value":{"entity-type":"item","numeric-id":854171,"id":"Q854171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$6E48343D-E73E-4C48-ABA1-E4F984994585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cd1fcf800edd74232de1645550fcd6a7edf03b","datavalue":{"value":{"entity-type":"item","numeric-id":2779232,"id":"Q2779232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$8067529A-ED7E-4C78-B2CA-4CEA60AB4BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee028121b78c3d2d9d67a3ae555ddfd75bfa964","datavalue":{"value":{"entity-type":"item","numeric-id":5178904,"id":"Q5178904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$366D8579-9D72-4F44-A847-F7B72BE123D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b77730f27d19fff5a2af30b38837d9c3e169906","datavalue":{"value":{"entity-type":"item","numeric-id":2729060,"id":"Q2729060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$1E8971EA-1F2B-48AB-9C67-070C01EFA0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879368$1C119477-9D29-4410-B8E3-D845066D00D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5ca573d26fe661905f5c3f32bda100f3b80a92f","datavalue":{"value":"10.1016/J.TCS.2006.12.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879368$689D5304-FF0C-439E-ACB1-7345CFB237BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Resources, concurrency, and local reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Resources,_concurrency,_and_local_reasoning"}}}}}