{"entities":{"Q1941855":{"pageid":1952597,"ns":120,"title":"Item:Q1941855","lastrevid":82065512,"modified":"2026-05-06T20:01:03Z","type":"item","id":"Q1941855","labels":{"en":{"language":"en","value":"Assertion-based slicing and slice graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6148321"}},"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":"Q1941855$7B8F0A3D-9296-4A69-AC64-9FCFEA02831C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73357b56f7fd06829a591321380f01efbd618b03","datavalue":{"value":{"text":"Assertion-based slicing and slice graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1941855$83C9FED5-2591-4AFF-9EA2-AA682F6146FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c874529fb56164a6412b2a3db8c25ab0aff3d7dc","datavalue":{"value":"1259.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941855$FBB8A1A2-AF41-4F56-A3EE-2F92973CB2D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d10b4204d7530416cff72a7428ae3409cf28ba3","datavalue":{"value":{"entity-type":"item","numeric-id":1941852,"id":"Q1941852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941855$034C78B5-1209-4F32-AA1F-792A46E3B35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ac3dacbe2f1da0eff54208da18f07d0917a1849","datavalue":{"value":{"entity-type":"item","numeric-id":1941853,"id":"Q1941853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941855$B4D3E446-D4A2-4201-8D8D-ED38BE7DF6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87620813b86d8d1ce5a6e097f06d7366cf0844c2","datavalue":{"value":{"entity-type":"item","numeric-id":1941854,"id":"Q1941854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941855$E814BA13-96B6-431F-8A9F-E26F51E2B1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b22589ac4799fa11bdf6a319668e8a088247d277","datavalue":{"value":{"entity-type":"item","numeric-id":465684,"id":"Q465684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941855$5BC08C32-A8F8-4711-8B54-A7A6C8045968","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":"Q1941855$EA2FEE0C-A53C-4CE5-9A1A-FD05F385F7A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e2d14323b1d0cc86219aa2b95091e7f0ab18297","datavalue":{"value":{"time":"+2013-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1941855$99418D62-BE26-4BF7-91C9-A935E500C029","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e59e4f0ac05dcf0372cba5cc972bc0a2051cdbed","datavalue":{"value":"http://hdl.handle.net/1822/14209","type":"string"},"datatype":"url"},"type":"statement","id":"Q1941855$68A76F10-4444-4ABE-B1CF-7CF4E7AF5FD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941855$2F33D5EC-FF59-4942-8B04-B5883FB5AE05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e715084b81ec432fb65aff895a459a0290c9c31","datavalue":{"value":"6148321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941855$09421630-82E7-4158-B9E8-D12F4272B623","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb6e19dca5c1dfa9f0da602d3d5d30bf4fc82dc","datavalue":{"value":"program slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941855$DFA8B946-8DD0-4D18-A369-796F69984E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941855$E288B1F2-BC29-4455-941A-4671C9A34A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c466a31828be4527e6fa92732efebe73d5786789","datavalue":{"value":"verification conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941855$01150A5E-04B3-48A7-9725-FD060835DCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b5ec49083c9cc823165439b724d3b262e6db022","datavalue":{"value":"control flow graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1941855$3EBCB19B-4C07-436A-B282-521A80183FCF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941855$DFCB1A0A-8187-43D3-A600-50C0EA09C6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941855$29C7B6BA-DFC5-48F0-BB95-141FDF331CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941855$3C5799E7-A817-41C4-ABBE-B5836A7DA389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941855$46337890-893C-426D-BA12-DBB01F2D14CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dee6d695234cdfbc4a272f03f51845f9fcd03368","datavalue":{"value":{"entity-type":"item","numeric-id":16399,"id":"Q16399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941855$7D06F8DD-404D-4F31-8ACD-BE29E8992B43","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":"Q1941855$AB30F60D-428F-49E1-BDB7-6228A3985F7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"430768e5831a21b5abc8bfb2dbeac3140391918e","datavalue":{"value":"W2048193923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941855$1EFC6A15-A8EC-4ED7-9909-3AB169B07021","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941855$0E786F3F-FF72-412E-BCA6-2BCB871AD701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5b8e53346273785db320cb158a6931a5872d25","datavalue":{"value":{"entity-type":"item","numeric-id":465685,"id":"Q465685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941855$4A6A9C43-A853-4267-9EF9-D6EC8DD8EFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd21cfa4660583e538baf1b412d409c55765821","datavalue":{"value":{"entity-type":"item","numeric-id":5178883,"id":"Q5178883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941855$657E1886-5DDC-4313-92A0-7A57A82495A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941855$33A508CE-F588-4E1C-9CF9-16560B6E6683","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdefd597c4dd53561b01e1390359f1ccf29549be","datavalue":{"value":"10.1007/S00165-011-0196-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941855$BFFD0D34-FBBB-41A8-9C79-A8E9BAAC770B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2284c05c71538eb3d1562a85cd41100c59dd3fc8","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"705aa43697f6cbc6bc51c35a0032af2d8d85815b","datavalue":{"value":{"amount":"+0.8012629747390747","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":"Q1941855$4AD56876-A5E3-4946-ACF8-337A4A48465D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ac22c1093b6d2f09d73ade9b16ad289127c2645","datavalue":{"value":{"entity-type":"item","numeric-id":4738315,"id":"Q4738315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a88270b96ac89dfb828733c0d9906ea350d3604","datavalue":{"value":{"amount":"+0.7924047708511353","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":"Q1941855$C3EB4E6A-E740-4D6B-B029-E8D0821B9656","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":"d3bf7845ccfa2ad463a15b268b31fc28528b9e42","datavalue":{"value":{"amount":"+0.7781399488449097","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":"Q1941855$3A02F4B8-0E70-44BE-AD6A-BD44E54DA7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2348b019cb88b12e37fc6be3b7d59c2a0a2bfbc4","datavalue":{"value":{"entity-type":"item","numeric-id":5278199,"id":"Q5278199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"433c50b23e74ba07ce29d55cf212a22c89a20ffb","datavalue":{"value":{"amount":"+0.7771559953689575","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":"Q1941855$9E680527-74C9-4179-BD47-4A50F6AA0F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"893249469889bd13de717c9b8c3c5a4c32f19e53","datavalue":{"value":{"entity-type":"item","numeric-id":963331,"id":"Q963331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"579186ee49d0ca8fcdda7f1f67ea06aa83f40285","datavalue":{"value":{"amount":"+0.7670239210128784","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":"Q1941855$9AC8A82A-2A04-45EB-ACE8-C49F675D5690","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Assertion-based slicing and slice graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Assertion-based_slicing_and_slice_graphs"}}}}}