{"entities":{"Q2801762":{"pageid":2812500,"ns":120,"title":"Item:Q2801762","lastrevid":83535248,"modified":"2026-05-07T08:39:02Z","type":"item","id":"Q2801762","labels":{"en":{"language":"en","value":"Cut branches before looking for bugs: sound verification on relaxed slices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6571878"}},"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":"Q2801762$A820780B-5EE9-494B-BB21-E242F49D9F89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb415f219e5e15646abb7bb1a5ff6ff05703938c","datavalue":{"value":{"text":"Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2801762$CEB119D4-F40E-415C-BDDC-5564E0EE1E36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11445c6e67fce2f5b8f8a6a7afce06fc540ff303","datavalue":{"value":"1378.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2801762$178B3B2D-A1F6-45B9-AE7A-695E870DC62E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"69e9ac265da9b80cc7bdaea725bf39c55460a659","datavalue":{"value":"10.1007/978-3-662-49665-7_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2801762$A8FCDA54-F1D0-43A6-A653-F5AEA9C9F2D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9971e011e5f6f97fa70531f6716c7e9b2e64f06a","datavalue":{"value":{"entity-type":"item","numeric-id":682364,"id":"Q682364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2801762$137ED800-1ED0-4068-B078-308251E87156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407868012495339cc676e2def4d299dc32a605ff","datavalue":{"value":{"entity-type":"item","numeric-id":682365,"id":"Q682365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2801762$88669AF0-C085-43FF-BD69-EA5B765997F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a54ebf41c09d98548c5a350681cdccac803d3244","datavalue":{"value":{"entity-type":"item","numeric-id":359894,"id":"Q359894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2801762$E7759F3E-8568-4E6A-B67A-8CE3D89FE110","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc4882ceaa76eafa569df2ac7494f37debc41e25","datavalue":{"value":{"entity-type":"item","numeric-id":2801760,"id":"Q2801760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2801762$EF4E0185-E18D-4046-8F94-4833BFF75303","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfbb1de34f7051479a069f4e089aa9f4276a27a7","datavalue":{"value":{"time":"+2016-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2801762$3DEE9695-1E8C-4140-9A5F-5D5DFA31C1EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c03341e6b0fec6e55b06205f9dafa28c64bc4d6","datavalue":{"value":"https://hal-cea.archives-ouvertes.fr/cea-01808894/file/Lechenet2016.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2801762$1F823207-36FA-4E3F-973C-35FB0676CC1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2801762$8D09808D-8C27-4625-AA88-C7C02053D7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2801762$9ABD5B45-27FF-4D55-82F8-9D58EF828749","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"301efc8aafa27fa8c6eb592610377a4956bec1d9","datavalue":{"value":"6571878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2801762$A4B7C169-8DA0-4200-B572-F6801DF45063","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2801762$14AEE117-8D2E-4844-B832-43D0C22E2261","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":"Q2801762$3E027228-03D8-4538-B2F0-B852FDE46432","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd8c6e4d4df722e7fff43d0a6a4ffc23a4287594","datavalue":{"value":"W2470141408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2801762$24393323-A9B0-4C99-B046-24BA86FEA35C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a4a2b0b5ef15c88b928687d511280ced492689","datavalue":{"value":{"entity-type":"item","numeric-id":682366,"id":"Q682366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba3128cd6095afc5860bc10d9318a3f9c950f992","datavalue":{"value":{"amount":"+0.9901947379112244","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":"Q2801762$A24CB6B4-E0FC-406E-A20A-602A95F7342B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0404a22a9568850d17ecebc1ba67b8b4f4b7de4","datavalue":{"value":{"entity-type":"item","numeric-id":1595472,"id":"Q1595472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ca6c2ff0db0e6f02dd0ecc9123bdf88cd9d186","datavalue":{"value":{"amount":"+0.7542961239814758","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":"Q2801762$5669204C-123F-4074-82E2-5B64EE41F154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855e4cc47b7f5b8b84cfb68a5eef6a59f3f1bc5b","datavalue":{"value":{"entity-type":"item","numeric-id":3543667,"id":"Q3543667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8896ddd4560eddb0361a403a1190740781cf96fa","datavalue":{"value":{"amount":"+0.754296064376831","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":"Q2801762$7A838581-437B-4628-9638-7902CC39793A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d1bd551d603c6156c514709267c2f13005e0902","datavalue":{"value":{"entity-type":"item","numeric-id":1815347,"id":"Q1815347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292d0dbd9c1dcaa9fd15ce62ea53b1ab94b068ee","datavalue":{"value":{"amount":"+0.7527776956558228","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":"Q2801762$74D1BE42-C02E-414B-A260-7EA174D51E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e09259065d5cb483d84c7b012c63aa88171aaa2","datavalue":{"value":{"entity-type":"item","numeric-id":2147204,"id":"Q2147204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eae158cf98f741f1c290dcdb6e439ce1fccb1db9","datavalue":{"value":{"amount":"+0.7424134016036987","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":"Q2801762$E9946041-178F-409C-8BF4-A79F434EA0B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut branches before looking for bugs: sound verification on relaxed slices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut_branches_before_looking_for_bugs:_sound_verification_on_relaxed_slices"}}}}}