{"entities":{"Q5300700":{"pageid":7330274,"ns":120,"title":"Item:Q5300700","lastrevid":92103539,"modified":"2026-06-05T00:52:38Z","type":"item","id":"Q5300700","labels":{"en":{"language":"en","value":"MRI: modular reasoning about interference in incremental programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182177"}},"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":"Q5300700$C8A27086-D3EB-47C4-81F6-1AA3870CF83C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"952a74d968df8042e81d8171100fe42b91696a71","datavalue":{"value":{"text":"MRI: Modular reasoning about interference in incremental programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300700$B502773F-26CB-453D-AC30-701AF46FA749","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aae7bc4d44d60fe2ca2ab3234c21251d488952ae","datavalue":{"value":"1267.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300700$5886EA5D-D02C-4599-AAC4-5326B16D2380","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d286ad248688c73ff9c0521dadff4961211f3444","datavalue":{"value":"10.1017/S0956796812000354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300700$AA9D1D4E-7138-4325-BC1F-E00FEAAAD66D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8d4a9643935796d9a1f172819199c42865b008f","datavalue":{"value":{"entity-type":"item","numeric-id":1791208,"id":"Q1791208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300700$79721DEF-71E8-4FF8-B754-19356AE6B7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9310327fb280e8510025a221163e66f379344f4","datavalue":{"value":{"entity-type":"item","numeric-id":487656,"id":"Q487656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300700$DF09443C-A3AB-4BE1-9A96-FF795F4F7001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0b4973efe17610d1282ef6c45c1a9f8b28d1793","datavalue":{"value":{"entity-type":"item","numeric-id":935475,"id":"Q935475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300700$73612F41-B4B9-4E9C-99E5-7A66D71DE63B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300700$8E005E06-95B3-46B3-8856-08DC78308BD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3abb5fb4ae7972a30f51c8d6a09a9ae6d81d017","datavalue":{"value":{"time":"+2013-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300700$114DD95F-F0FC-4F39-B645-98F1E7A91CE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300700$46F388BD-CF56-4B8D-B774-5915EAD93D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300700$AB7AA43C-1AD9-44E9-94AD-8644BFFD248F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3af644229c6a0ce85ffa580db11256f91520717","datavalue":{"value":"6182177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300700$5B6C26B6-8054-453D-9C0B-798FF2808574","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":"Q5300700$19262558-C098-422B-83A3-664690E70E5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"234a72454df53d61ac16bbd43d99bc7ef1ed77f2","datavalue":{"value":{"entity-type":"item","numeric-id":3419812,"id":"Q3419812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300700$65365014-672A-4D72-B546-D17D707DCCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f26d0672aac97a2f5583f4c3e24a732682cf7f15","datavalue":{"value":{"entity-type":"item","numeric-id":4794726,"id":"Q4794726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300700$6C26AFE2-01A6-4DB1-A7E3-307652EECE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87d2f18fcbee9985b2e43420ca59ff3731b0d27","datavalue":{"value":{"entity-type":"item","numeric-id":856917,"id":"Q856917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300700$9C6CA2F9-2295-4108-98BB-BBEEAC73003E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c12190d6ebc7c0819df36ae102a19727592618b","datavalue":{"value":{"entity-type":"item","numeric-id":3634732,"id":"Q3634732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300700$A286A13D-0CAF-4E6C-ACA0-F26279B156DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f1be42247bd232311cf62632952fa766930056","datavalue":{"value":{"entity-type":"item","numeric-id":856916,"id":"Q856916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300700$36F6EC2C-1457-4B58-98C6-E5B5ED118173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc936a1eb10b087e9844c9c3b2beea4fe5b96c33","datavalue":{"value":{"entity-type":"item","numeric-id":5514831,"id":"Q5514831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300700$D58610DC-0D6A-4CF2-8C86-FB22ECE40BE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d4844d8515ee9219122018ccbea6aa8ff29354d","datavalue":{"value":"https://doi.org/10.1017/s0956796812000354","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300700$56C42B72-5285-4158-AAD0-B9F00D6BA302","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98d2af90b2ee349ed0af0fa612f6ccf293020e9a","datavalue":{"value":"W1992648627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300700$EA7C0E63-CFC1-456E-8AF9-9930417F96C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"239fc52d21a99126b9a1af4d9ebe6e88f82f23f9","datavalue":{"value":{"entity-type":"item","numeric-id":3605467,"id":"Q3605467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5f12dc59e094f660d284a682f2013cf69324e1","datavalue":{"value":{"amount":"+0.6824142336845398","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":"Q5300700$CA856899-93ED-4889-BCD4-DE7E63AFBFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57070d8a35b89191e124935fd8a5291c55599640","datavalue":{"value":{"entity-type":"item","numeric-id":1892179,"id":"Q1892179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c66ced3dc293e42e5530cefa457cdc64aba8d49","datavalue":{"value":{"amount":"+0.6563050746917725","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":"Q5300700$2F137852-7829-4651-9B7C-0DC36D4804E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"661adb5511bd1aa3d9d63dc60beec116399f84f8","datavalue":{"value":{"entity-type":"item","numeric-id":549694,"id":"Q549694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b21f95d5c9cdcea98198c4ae5558d1f71be8d9d","datavalue":{"value":{"amount":"+0.6546187996864319","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":"Q5300700$48932039-8F6B-4887-87D1-E81B81F8F0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e04efa8461c89effff701fb71727d52f5bd103","datavalue":{"value":{"entity-type":"item","numeric-id":2949188,"id":"Q2949188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc719c6f4758bdcb889b5e124c47e23c0958b296","datavalue":{"value":{"amount":"+0.6397104263305664","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":"Q5300700$94FF2BF8-783D-40B9-AE42-9B801927B64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a811764f0a9cb026d1616eb3f4dbcaff9ad7d0f3","datavalue":{"value":{"entity-type":"item","numeric-id":5178910,"id":"Q5178910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83bd6d1235f5f199b49ca294e2f6af4225f0c78d","datavalue":{"value":{"amount":"+0.6386798620223999","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":"Q5300700$79020C6F-418D-4C58-AB33-2521F3F380E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MRI: modular reasoning about interference in incremental programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MRI:_modular_reasoning_about_interference_in_incremental_programming"}}}}}