{"entities":{"Q2941165":{"pageid":2951885,"ns":120,"title":"Item:Q2941165","lastrevid":52332719,"modified":"2026-01-21T11:35:37Z","type":"item","id":"Q2941165","labels":{"en":{"language":"en","value":"On rely-guarantee reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6476395"}},"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":"Q2941165$F68D2214-7712-4858-8A3A-F818EA6A8408","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"545ab9c779f63d1e021a3536e477603e303a45fb","datavalue":{"value":{"text":"On Rely-Guarantee Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2941165$CD787CC3-8444-419E-8C92-F276852D84E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae2ce66622c868977cd80c045c056e425a2ed00e","datavalue":{"value":"1432.68321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941165$58007747-8465-4794-9161-DFD0DF106129","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"272378881fbecb1e6a8d939f91e294364c64b1dc","datavalue":{"value":"10.1007/978-3-319-19797-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941165$74723533-3965-4E93-8F69-8E944C42E354","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df6bd981490c210674cb8bd7146c2bedfc43d69c","datavalue":{"value":{"entity-type":"item","numeric-id":299198,"id":"Q299198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941165$EB22D560-776D-4F5B-AC61-83F8D50E647A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941165$300CB8AA-E775-4EAF-BABA-DFA00579AFBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5d7e575ce06abec1e01331d693d8d1b08ceff3b","datavalue":{"value":{"time":"+2015-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2941165$C066FFB2-CFE4-4731-AA61-4FE10F16CB64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941165$8046FADE-DBDD-47D6-9E40-814527DB78F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941165$953CC4D3-BD33-4E24-B00D-484F0B23B007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941165$39445088-82D4-46A7-AA25-86C073B203B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"651db4c349a67501890c2dc1a0eae4aaa44683ba","datavalue":{"value":"6476395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941165$BCA15CB1-6C37-4A4B-A726-B929E234C6E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7304181fde15f2ff08bea8b954e64f699bd5523","datavalue":{"value":"rely-guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941165$63F99A57-32BE-4DC4-94F1-99C27881D123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941165$DC54F5E7-EADA-4FEA-B881-F0960AE3D947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941165$1BD0955E-59C9-42CF-A0BF-8AB1CB941530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941165$147B32B2-7ACB-4A92-B20F-C206984AE2CB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941165$2CA7C1EB-2803-452B-8515-6311B191ECA3","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":"Q2941165$0B4286A1-A924-4D3B-A55D-BEBDFB60CF4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a183eebfb530b5fd8663492fb19986181a81617","datavalue":{"value":"https://doi.org/10.1007/978-3-319-19797-5_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941165$6818B3BA-0C84-420E-99D5-254836CCFA1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3928f545e71326ef487dc30be51cafb4c514f1a","datavalue":{"value":"W1189894384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941165$9981D784-8BE8-401F-AF94-5E31014E415F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f1e4eb80490f042f6a1f90e82a002f7cc5a00b0","datavalue":{"value":{"entity-type":"item","numeric-id":5427260,"id":"Q5427260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941165$5406063B-D2B4-4E8F-AC93-C49C66603DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e001b607e2db4c55a2a039de4e0e7d543078e5","datavalue":{"value":{"entity-type":"item","numeric-id":1402468,"id":"Q1402468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941165$7AEBCD30-1369-4135-8FA4-D6F94BB05AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127db5097e77e5b4edc8afc4e762efcd27117ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2931804,"id":"Q2931804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941165$FB89FE62-170B-4CF3-9916-831B9B6FB1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c200a502106ccfaae5cf68ef362e25173d34302","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941165$1AC91802-5055-4FB5-A562-37114F08AA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a088602150c17015fddbb71b9b68574d9c573f8c","datavalue":{"value":{"entity-type":"item","numeric-id":890478,"id":"Q890478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941165$9FA68319-7DE5-4056-AD62-54732415AA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30331b0843d8fad412757315603331be3191b0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4711615,"id":"Q4711615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941165$B7451FB1-6C74-4FE0-8939-529E8402C18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7f7a002bf1488e9eda8c9de5c95b2763f569ef","datavalue":{"value":{"entity-type":"item","numeric-id":4417904,"id":"Q4417904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941165$92A44243-37D5-4E30-AC79-D9E05CD612B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941165$E778D969-204E-4DD5-B8D6-C17E122AF9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c2cb272045b67e01ef45de2dc90cc1c3088a36","datavalue":{"value":{"entity-type":"item","numeric-id":2814615,"id":"Q2814615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941165$3E267D3E-4805-4B5C-8C9C-31BAECF07720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ccb1bb6972c34ba87ead8253e3bd450b22dfe2","datavalue":{"value":{"entity-type":"item","numeric-id":1107518,"id":"Q1107518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941165$8D960585-F70F-41F1-9E3B-168E2F042EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4be85db8689af27a4d172ec78b874ed5c2a4726a","datavalue":{"value":{"entity-type":"item","numeric-id":3558252,"id":"Q3558252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941165$4D1E6018-97E1-402A-A428-63F86891BFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0aec9564fb7995589d0245e0798f01f99c46ad","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941165$ECE00685-FEC3-43C7-B271-876F79F29AD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09f3b7cd8ee4334fbdc2f1a186f3bf0cf6ffb12","datavalue":{"value":{"entity-type":"item","numeric-id":333330,"id":"Q333330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b796740026bc480a02e985cee42b20eab5843fef","datavalue":{"value":{"amount":"+0.8110271692276001","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":"Q2941165$FF946257-8815-4114-AAEF-EDE4F7CB5EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eb4c4b75493b45e3843b7454635ecd4a130d9c0","datavalue":{"value":{"entity-type":"item","numeric-id":5427260,"id":"Q5427260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6912f41df0913b62f98e0d24803fecde1246e0c","datavalue":{"value":{"amount":"+0.7992421984672546","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":"Q2941165$F6821634-B52E-4501-9040-41834F1A541A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b31e5b56cdb4b1672f35d0fc7eb95fa54be027a","datavalue":{"value":{"entity-type":"item","numeric-id":4417904,"id":"Q4417904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d17f9caaeff86f5dfd9e914d7afa828be5b299c1","datavalue":{"value":{"amount":"+0.794944167137146","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":"Q2941165$0BE899C3-1BA7-4827-BA74-A1A4557E69F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cda4dfca60695c7eeed0eb1a816bdfbb03fb604b","datavalue":{"value":{"entity-type":"item","numeric-id":3709867,"id":"Q3709867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25a4fb8d4a26604428cd9c2c03e4dea9778469d","datavalue":{"value":{"amount":"+0.7927606105804443","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":"Q2941165$08EC9E8C-3979-468F-9C70-C036E9CD63AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db9fb1736b7ffdd560b4fdc31d44d0471bd97c55","datavalue":{"value":{"entity-type":"item","numeric-id":3617714,"id":"Q3617714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"359df962e65cda3fafdac5d012ca8f137b2f418b","datavalue":{"value":{"amount":"+0.783847451210022","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":"Q2941165$E60A5858-C93B-45CA-B890-ABEE18BD7998","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2941165","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2941165"}}}}}