{"entities":{"Q34516":{"pageid":34572,"ns":120,"title":"Item:Q34516","lastrevid":56329221,"modified":"2026-03-13T06:06:08Z","type":"item","id":"Q34516","labels":{"en":{"language":"en","value":"CSimpl"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"d1f9ec8fe67b30805057a874e90d303391569adc","datavalue":{"value":"22725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q34516$18BC14C4-1C80-4F52-A10C-71180A7543BB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34516$8FB67D86-6F7C-4CE7-8682-45EF00D5312C","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"e3a374d084ba951a20beabca025938ed5d82cb31","datavalue":{"value":"https://www.springerprofessional.de/csimpl-a-rely-guarantee-based-framework-for-verifying-concurrent/12188680","type":"string"},"datatype":"url"},"type":"statement","id":"Q34516$CD73D004-973B-4147-9F28-4C7567A57CFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q34516$87331C30-E0B7-430A-807A-CDCED61F04A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q34516$4B925A33-C172-4622-AE69-20B88C92A866","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"144f0221487b5ba035abaca0f440960a9e47efeb","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34516$5A2D6E41-10CB-4F48-A73C-FCC7282A601A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34516$F1E73BB7-0F11-4894-8A4F-44C18350EC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34516$EB42FDA7-05BE-475A-8385-452DA8957839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34516$50796F84-66C3-44BB-9FAD-D15B88B96666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7ea0a87649edd4cae39bef36b6b305a729532abf","datavalue":{"value":{"entity-type":"item","numeric-id":39832,"id":"Q39832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34516$91B08A73-118B-41DF-A6FA-AE64A5613550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"845fea984bd3d6706acc856d0595755051e72c0c","datavalue":{"value":{"entity-type":"item","numeric-id":40263,"id":"Q40263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34516$1DE5AE14-5749-4760-8B86-5435C8AFAC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34516$6FF15B9F-6D13-4A2F-A985-C5B45C042CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"07eb0f28b45c8f9b5cf112bbf02e95717fb938ca","datavalue":{"value":{"entity-type":"item","numeric-id":25202,"id":"Q25202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34516$524167CC-B03F-4E0D-B3C0-00EA6DEB51C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"95e5f1158f96f22279bdd9d9c26433e98a490641","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34516$59713A48-9870-47B8-8163-DEB03C009ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7c5621c1793da546d15bfffbebaf0c15e5aa730d","datavalue":{"value":{"entity-type":"item","numeric-id":24263,"id":"Q24263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34516$6F0489BF-D619-4A90-B9C9-E0560A18115B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5a90f59e98daa7490325c2b5f9c5a5a63b8942a7","datavalue":{"value":{"entity-type":"item","numeric-id":29452,"id":"Q29452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34516$57ABB841-2E84-40A7-A759-F0E1C32A1135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6a98913d28e06371416ea2826884dc0ec7364f38","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34516$A69997A6-82BA-40F2-A1C1-4BD1D67D9BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4ca79499c612075da87d6214d0d4c5b5998dc28e","datavalue":{"value":{"entity-type":"item","numeric-id":43957,"id":"Q43957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34516$A94955E9-314F-44E8-9AB6-3B46A484EB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34516$0CDEC59A-D35A-4762-A0EA-E32D411A6D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34516$9C810825-9D7C-4F6A-A796-4517942620D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"644b1044004575e184b926ada38a7928e2552cf1","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q34516$3BBB2A9E-BD2C-4306-83F7-BF031421AF18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CSimpl","badges":[]}}}}}