{"entities":{"Q6841018":{"pageid":18350337,"ns":120,"title":"Item:Q6841018","lastrevid":84286211,"modified":"2026-05-14T16:16:31Z","type":"item","id":"Q6841018","labels":{"en":{"language":"en","value":"A rely-guarantee-based simulation for cooperative semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8175041"}},"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":"Q6841018$3B82B6B2-AA98-41FA-8FB9-5C8599DDDF4D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4b03ed87661d3eb2c6ae1ef73702061fdd19daf","datavalue":{"value":{"text":"A rely-guarantee-based simulation for cooperative semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6841018$442A5635-3039-464A-B815-EF31A0365070","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b77b9bdb34fd46a230ab8f620288210bfab8dbfd","datavalue":{"value":"10.1007/978-3-032-11176-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841018$5AAA9E06-6018-4AF9-A08E-8D4F346AC306","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f29757521a4d1118358af7a20e7d71404be0b1d","datavalue":{"value":{"entity-type":"item","numeric-id":6841016,"id":"Q6841016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841018$87DA8EBE-656A-4127-B731-4081232673A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c576e290d89c249adea9f2616a7cfc2d1b21a82","datavalue":{"value":{"entity-type":"item","numeric-id":1687763,"id":"Q1687763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841018$57D77543-4961-4463-BD70-E2FA05B7A2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"912ae32d8f548347f3c84014546b15fc1964309c","datavalue":{"value":{"entity-type":"item","numeric-id":6841017,"id":"Q6841017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841018$6D0860E4-83BD-4893-A6F6-7847A322D07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008a47245ae11ee2f12e0bd284b000b43ab772af","datavalue":{"value":{"entity-type":"item","numeric-id":736847,"id":"Q736847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841018$E72346BE-BDAE-4C86-A3CA-DBB9CC77C362","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18cefc5b01f2a823fd075bc66e852b3f0c15dac7","datavalue":{"value":{"time":"+2026-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6841018$E9C1BD6F-8DB7-42DC-871A-188A7127D0AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841018$73F9A226-4B76-4CAC-930D-0C13F484C2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841018$A94C0A44-B56E-44BE-B549-1AE018C49716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841018$739E3286-89E8-4A9A-A43A-ACDA160ECADB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3dab47b7a34413febc728b0d914fc26bdeee200a","datavalue":{"value":"8175041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6841018$815E232C-4405-419D-BEF1-32F366488C8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6841018$E0B70245-9ACA-411F-ADE3-D8666FE43D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e48457947aba6ceac7ea11158edf9a91373bc9b9","datavalue":{"value":"rely-guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6841018$8508004D-B59A-4C28-82CF-556B58A1CC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6841018$5016E785-D86B-41C7-8E0D-14A71A659132","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":"Q6841018$B76CE064-A614-4574-9AE4-BB6942373611","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dae1d38029255eab2cdc9ad9b3173345667bb44","datavalue":{"value":{"entity-type":"item","numeric-id":5261503,"id":"Q5261503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841018$8217E3EF-C0A5-4FB9-B688-6FF5F7C96606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f969c5c872032bece66e9981e0b02c9a03a6b899","datavalue":{"value":{"entity-type":"item","numeric-id":3557084,"id":"Q3557084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841018$D21EE1AA-768A-4125-938E-DB6FBC820658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a437b3debfc6e39e14adc5ae5b77545ffa37fb","datavalue":{"value":{"entity-type":"item","numeric-id":5261501,"id":"Q5261501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841018$9B6F8BFF-0459-4C95-B39F-EEC65CFB1AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841018$9886E208-97F3-47B8-A9F3-E70BFB5F7526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7ebc3d91699f306c1b447842f52b7923bb4426","datavalue":{"value":{"entity-type":"item","numeric-id":2828283,"id":"Q2828283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841018$039420FF-7477-4CB7-BD7F-6B4EE7E0998D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cc2e5d04fda1757aaac285be5ea8feb9004592","datavalue":{"value":{"entity-type":"item","numeric-id":2942895,"id":"Q2942895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841018$8C388F54-1AB5-486D-9406-3304F3ECBE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841018$24A473E7-F098-48F6-9B8C-611A34AC6CBC","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":"Q6841018$BE999E2F-2B28-4E30-A7A7-4F56FCA99DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d68f92fffaefe72b592d24843b2770631f989c","datavalue":{"value":{"entity-type":"item","numeric-id":3189788,"id":"Q3189788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841018$C16BBDD6-C6DC-45E4-9F6C-4218E10DB5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6841018$E3EDDC2A-EBEB-4E67-A0D8-CB911318563E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A rely-guarantee-based simulation for cooperative semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_rely-guarantee-based_simulation_for_cooperative_semantics"}}}}}