{"entities":{"Q2981989":{"pageid":2992714,"ns":120,"title":"Item:Q2981989","lastrevid":52799372,"modified":"2026-01-23T13:01:39Z","type":"item","id":"Q2981989","labels":{"en":{"language":"en","value":"Blame assignment for higher-order contracts with intersection and union"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713882"}},"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":"Q2981989$A4FCFBAD-BAF5-499D-A4E5-70ACE24082FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"113c45449f7892388e3716cfdc13b80c46bda51e","datavalue":{"value":{"text":"Blame assignment for higher-order contracts with intersection and union","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2981989$69426973-206E-41ED-91FE-24946B292842","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"158ac3a6898d221a5fcccaa12459f35b4ad20689","datavalue":{"value":"1360.68365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981989$2B541878-6478-4CC6-BE68-98B5A5B8F256","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e58df7907e17edc3e0758808dd338fc046e10dc","datavalue":{"value":"10.1145/2784731.2784737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981989$E0FFB981-D1DF-4EF1-800D-D5B1DF16DE2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d90515f9cfb9e346e2eecf1b9b7ae2ed43d1c72","datavalue":{"value":{"entity-type":"item","numeric-id":838813,"id":"Q838813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981989$745AC923-84E6-407C-8A4E-1E5AE32410C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a50d913d1128f41e9a61785d41010b4144b0015a","datavalue":{"value":{"entity-type":"item","numeric-id":526443,"id":"Q526443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981989$3ABB85C3-4426-461B-82D9-6DD3897CEF4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"958b9d2649c5f166ed12d91711a9f2d3feb923ea","datavalue":{"value":{"entity-type":"item","numeric-id":2945523,"id":"Q2945523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981989$BF7DF426-C6D9-4245-B677-4C4C4B4E10A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2981989$804AE0BC-6E37-4A0C-9581-9630626EEC5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981989$A251F4DA-583B-424D-AAE5-59C9F9A87F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981989$F968F649-3F4C-4DC7-A9D3-DE71FDA668FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981989$94485532-C661-4803-9F71-EE6F4CDF5D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981989$A387A7A8-1F14-4158-A411-842D65C06784","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e02de0d0df6639d5e78aeed523c3d936d2cae59b","datavalue":{"value":"6713882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981989$1CFF9996-E07E-4F92-A06C-D79FE24DAB67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cec728a9c845fad15b06daa658e3c701e124d96","datavalue":{"value":"blame","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981989$0626E425-2F88-4BFF-9B3C-4D7C592E3E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32a46c790c2a167ea5610b1557526cad71d01c8d","datavalue":{"value":"higher-order contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981989$5BFB7FE2-408B-4F0D-A372-9CFA75A0D992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab57561e8c95fe21680ade7400a07692c4406a75","datavalue":{"value":"intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981989$EAA7CBDC-71B5-4409-8F18-F9012397C979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa43ca26aebd8ae0638b42530721325719fa4e11","datavalue":{"value":"union","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981989$2D91C43D-8771-4EB4-9407-F69006DF2672","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"44bad889325630fa1fe7bc3b0aa9ed968ecf47fa","datavalue":{"value":{"entity-type":"item","numeric-id":18937,"id":"Q18937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981989$4873F321-3142-4ED8-990F-DDCC21AA4D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d1bc951072aa6fcd7c9de0e485148951c5b2e7be","datavalue":{"value":{"entity-type":"item","numeric-id":31814,"id":"Q31814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981989$3B09363D-9066-4524-B02D-51606A059E83","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":"Q2981989$53D15845-2875-4C8B-B5BF-6D3EFE82C2E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"556a5d5aabf3b4ed52fda216e7cbe465ef6350cf","datavalue":{"value":"https://doi.org/10.1145/2784731.2784737","type":"string"},"datatype":"url"},"type":"statement","id":"Q2981989$28B9B15A-1961-457B-B372-456DBCAAC5B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94709ca4b8a31af60ea4a066afeaf4bfa8792003","datavalue":{"value":"W2044710350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981989$9E50A123-2601-40E8-AAF5-AD5454A5C9A3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4f66dae69e3adbc4f2a8b944e580572c9710d052","datavalue":{"value":"Q131130259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981989$72DA27F7-FB04-4B19-B4EB-670F38A1C19C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369105ae1db4f7b3a77cd3411eefdae07ff719a","datavalue":{"value":{"entity-type":"item","numeric-id":5408545,"id":"Q5408545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2e78649a645f132c52e6e3617e193e3b519e38","datavalue":{"value":{"amount":"+0.7711232304573059","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":"Q2981989$5D632009-30DB-4B7E-8024-28E9ABE6F18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07564eba529568623cc22a8b64a6cd489fa3ec0c","datavalue":{"value":{"entity-type":"item","numeric-id":3617686,"id":"Q3617686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d5f6d7d4cce2dc43ee76655b085a2e973b6941b","datavalue":{"value":{"amount":"+0.7603979110717773","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":"Q2981989$D2162E3E-D12C-4366-BECF-094E88098615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7a538c47871cfa0fd1f3ef981dcd17c544a18e","datavalue":{"value":{"entity-type":"item","numeric-id":5255093,"id":"Q5255093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2db60f4011279b5328acff08831b75674bf43be","datavalue":{"value":{"amount":"+0.7202141880989075","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":"Q2981989$0CA8F64C-B0B1-4BBA-A384-67748C96ED6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b006d7c3a325d3d8fbf0c697205f66cd2266aec","datavalue":{"value":{"entity-type":"item","numeric-id":5398336,"id":"Q5398336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2fec4a446a43247be2b312ccb15351e6ed3c30d","datavalue":{"value":{"amount":"+0.7185377478599548","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":"Q2981989$1334AC01-5962-4D99-95D5-DB4CA0A0AB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fdd9f3c241661991308e0072d727f5302cc45f2","datavalue":{"value":{"entity-type":"item","numeric-id":3434634,"id":"Q3434634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2536faf2dbaf1ec9e1244ed9677a582d60ed271","datavalue":{"value":{"amount":"+0.7138590216636658","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":"Q2981989$C834F3C8-670A-4D98-A1ED-FC5058B9ADD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2981989","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2981989"}}}}}