{"entities":{"Q1293883":{"pageid":1304633,"ns":120,"title":"Item:Q1293883","lastrevid":70084848,"modified":"2026-04-13T12:19:57Z","type":"item","id":"Q1293883","labels":{"en":{"language":"en","value":"Towards a formal treatment of implicit invocation using rely/guarantee reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310399"}},"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":"Q1293883$54E44B13-27E1-478E-B786-E387ACEEEAF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e0ab816b352d3988c79f6d20c04de107c3b982f","datavalue":{"value":{"text":"Towards a formal treatment of implicit invocation using rely/guarantee reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1293883$F89DB696-9E2A-45C7-A8B0-9DBC5D8E76BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcbbb776df0269b7702364c43fd8e710aa1c79ed","datavalue":{"value":"0934.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293883$9F3D4515-8949-4600-ABB1-61FD6581AA9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e47d94cb50e8bff7e07db91cf2e29b89383adf9","datavalue":{"value":{"entity-type":"item","numeric-id":1223001,"id":"Q1223001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293883$5DFDFC23-44D6-410D-A87B-916815DE6DEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293883$B6CD05C7-10B2-438B-93C8-56BE6E2BC115","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d679ffa12d291dfeaaaf1f4f4b804cde64d95bfe","datavalue":{"value":{"time":"+1999-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1293883$FE622CED-B8FC-4BFC-B1D8-40298E5A523B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293883$FC64C421-D009-4855-BA40-32DACD08276F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"638355e295bd4232c6b6108ab816dc44613509ec","datavalue":{"value":"1310399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293883$21BC16CB-DF34-474B-B17E-07886D158D13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8a29b10bd324a98855b5c1516ddac252d025237","datavalue":{"value":"implicit invocation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293883$D43D94AE-58F0-4107-B68A-A2F180FF8B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f866b7934cf3667c5b86c67363e4fe1a9bbcd517","datavalue":{"value":"large-scale system design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293883$5F3396ED-6E57-4BC4-9177-CD63EA198BEF","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":"Q1293883$09684A55-1724-41CE-98C0-95FD6CB2BBC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95060074eb04946407d3fc6b15e9438c78de8e89","datavalue":{"value":"https://doi.org/10.1007/s001650050011","type":"string"},"datatype":"url"},"type":"statement","id":"Q1293883$65D2D443-BF7A-4564-8AB1-E2098CB2624C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9105d5b3795c6e8ca18d06130a511e16953f15db","datavalue":{"value":"W2046638690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293883$45322788-13E8-4666-93D6-063EF4F2A70F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4af68f7d62a67566371fa6d40dab255de865997a","datavalue":{"value":"10.1007/S001650050011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293883$BCCD2ACB-BFA9-446A-BD8B-B2913CEBDC27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac68a0635b4d6ebc7d3f030c37e08062517b71d","datavalue":{"value":{"entity-type":"item","numeric-id":2941165,"id":"Q2941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa5c7c3a2a77e01477e9cd1387a3ccd8da1aecd","datavalue":{"value":{"amount":"+0.7181329131126404","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":"Q1293883$79744A3A-4ECD-4D75-BC7D-9E2CA5403EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e48e24673887f962fddb8f1ea7a58ab23695a6","datavalue":{"value":{"entity-type":"item","numeric-id":5357725,"id":"Q5357725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b7d6a2e739f8dab8cef153b01c3c5eec2ce602","datavalue":{"value":{"amount":"+0.7140346169471741","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":"Q1293883$02009DF8-38C0-4057-AC3A-AF6D8E01DDA2","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":"1c4aa66bcec36b814a274a516e15ce01e20a430a","datavalue":{"value":{"amount":"+0.7068138718605042","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":"Q1293883$71790ACA-F975-471A-AD81-B1CD6A953DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc67c82da59aee348697c3f513852b19701ff6d","datavalue":{"value":{"entity-type":"item","numeric-id":3558252,"id":"Q3558252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46fecc3bd60dfe595ac30f7701fec2e9abf2d1ff","datavalue":{"value":{"amount":"+0.7056432962417603","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":"Q1293883$ABA54B20-797C-47F9-B390-158F9C8D3FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331bfb91374f70d72303964ae5e38ce13d07df53","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29592efa3b54698cf9db6dea656ea7538d953a5b","datavalue":{"value":{"amount":"+0.6926771402359009","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":"Q1293883$A147F1C6-68AD-49F5-9F0F-092BF660B023","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a formal treatment of implicit invocation using rely/guarantee reasoning","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_a_formal_treatment_of_implicit_invocation_using_rely/guarantee_reasoning"}}}}}