{"entities":{"Q5200013":{"pageid":7229584,"ns":120,"title":"Item:Q5200013","lastrevid":51306806,"modified":"2026-01-17T16:51:47Z","type":"item","id":"Q5200013","labels":{"en":{"language":"en","value":"Backward trace slicing for rewriting logic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934340"}},"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":"Q5200013$89D6DEE3-FCE8-44AB-BAA2-5EEFBB7B288E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b466f25e26f83c3b11f1058359dfc16d32e3aaf7","datavalue":{"value":{"text":"Backward Trace Slicing for Rewriting Logic Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200013$A9943826-8E7E-48E1-AE62-2FC71E6362A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c4abe18bcb9c90d839360c72751818eac2f61bd","datavalue":{"value":"1341.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200013$5571871F-01EC-44C8-BBDF-2CF4ACCC087E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9808743d088f708d10defcf564d45757b3fe0b0b","datavalue":{"value":"10.1007/978-3-642-22438-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200013$8E4BD6EA-55EA-4AA2-AB24-A930883C3EBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dabf78cc3a44e2787ed3d90b0b35e33968ad3920","datavalue":{"value":{"entity-type":"item","numeric-id":2437799,"id":"Q2437799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$30870A82-2452-4A55-A6B5-9D0742CE06F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e052db36145f8bcbe3e3c55535b61b757f97aa4d","datavalue":{"value":{"entity-type":"item","numeric-id":541572,"id":"Q541572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$8FAF4C13-BBD7-4712-9A68-8A432D96FCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$C4FAB2F0-AC13-4485-A61C-91EE52803392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bedddcaa4079608b92d416340054faab978bb4d","datavalue":{"value":{"entity-type":"item","numeric-id":739627,"id":"Q739627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$A417CB41-860F-4461-BD75-3F7FAF58D997","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$AC45B314-27C4-4BC6-9A63-2F03C81839CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-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":"Q5200013$59B99BEC-B152-4F10-B966-A8FD56870EA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200013$F58A2768-4575-45B5-96FA-751D2B0EADDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200013$CBCC67AA-F15C-45F8-BA0A-8DA7508AE32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200013$A76F5E19-0516-4882-B515-0CCC77D176BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd919ca372d98f469a8027552109bbdcff5a323b","datavalue":{"value":"5934340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200013$91EFCAE4-B311-4EBB-A09E-BDDEF17CF8C7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1740e4072c5c516f9acf46b64f4773bd79e8a00","datavalue":{"value":{"entity-type":"item","numeric-id":21884,"id":"Q21884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$29E301BF-1721-4AC5-830C-FC299A982D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cb843fef9e58b230bf648e4666fe305624691e9","datavalue":{"value":{"entity-type":"item","numeric-id":25592,"id":"Q25592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$C7F7A555-11BD-44E6-8294-D25EDC86F4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ff86482fed94163d1931fec7a795318bc929b32","datavalue":{"value":{"entity-type":"item","numeric-id":25593,"id":"Q25593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$62CB38EC-5F5A-4E31-8E85-670DC8738022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"89158926a7532fe4a7485fefe0744c8760d38c7c","datavalue":{"value":{"entity-type":"item","numeric-id":25594,"id":"Q25594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$2EEFDAD2-0FAA-4B52-90D0-10F0C95B5E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$88C7EDE3-36E3-48AD-A333-F7C750708922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$B9F5D032-3F4D-4EF1-A5C2-6FC988A76201","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":"Q5200013$445407B1-6FCB-45C8-B4F7-F806DD9B7447","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2cf5204b1f0f8eb43f4667ce88f23197c2525c9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22438-6_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200013$8CCB5453-15CC-4B20-B869-5314D203740E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5372efdced82f64b9255dbb63ec1616bda871fe","datavalue":{"value":"W1503576365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200013$24834EC4-FAB6-4B6E-88F0-E22DFF8834EC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f16bcf081e716f47e98b03b735aac466ffed9fc1","datavalue":{"value":"Q57978148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200013$3784DF8D-5181-40A6-91E2-7B8D001688B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada905b9ffd50d362eb0f5bf00c43613ad6045ee","datavalue":{"value":{"entity-type":"item","numeric-id":5200013,"id":"Q5200013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$FFDF04BC-B38C-44AF-AC9C-6B1A44D86C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"699c19a71ba20ac43e5ae02e95874f107dd6b0be","datavalue":{"value":{"entity-type":"item","numeric-id":1854348,"id":"Q1854348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$77315989-2D48-4F03-A492-9F40278E08E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e59669be79aceb9c2e48b86ca0e1ab86de7fbf8","datavalue":{"value":{"entity-type":"item","numeric-id":3617763,"id":"Q3617763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$89729B5C-4AB2-4D50-B29C-C3673C14443E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14630608c4637298e06b93ec7374558801ec2420","datavalue":{"value":{"entity-type":"item","numeric-id":2763389,"id":"Q2763389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$AE5027F6-31BC-4E4C-995E-DEA5D88D5B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$52B906EC-2801-4C15-9B72-B4F07C0FAD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76fb45e28ec1fe2b0effcfeeca5b6f58e3c6de2","datavalue":{"value":{"entity-type":"item","numeric-id":4447218,"id":"Q4447218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$E29F0322-65CA-4AB9-A06F-40402C230185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0013c6f81277e70d32128704d20b7bb9010dc3e4","datavalue":{"value":{"entity-type":"item","numeric-id":4426386,"id":"Q4426386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$A59EE951-B1FB-45C8-BFDB-4D38CE04F4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720f52ab783e3305f6a4289711e5737a68051525","datavalue":{"value":{"entity-type":"item","numeric-id":1615001,"id":"Q1615001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$D261894A-C0CB-43EE-9A3D-5BF1FCD4B153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffbf8b13b78749fedfdee6abc7a71da8c006c2dd","datavalue":{"value":{"entity-type":"item","numeric-id":5389150,"id":"Q5389150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200013$0E16E224-7A87-4020-9A51-0091A13E27CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97fb6a13ba993bc9825abde3fffb168165722322","datavalue":{"value":{"entity-type":"item","numeric-id":2891440,"id":"Q2891440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"713d26c30ba1993c8f0fba748caddc7e8ba16559","datavalue":{"value":{"amount":"+0.9035809636116028","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":"Q5200013$B6A3B1AB-16E2-4253-AA63-40FF62A3CA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2f8835ae0fa3bf52a8d1292f900f4719c491cc","datavalue":{"value":{"entity-type":"item","numeric-id":5403072,"id":"Q5403072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05a0c130a08db2154c0f1a35e0df0ec4c334f7b","datavalue":{"value":{"amount":"+0.7898120284080505","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":"Q5200013$49F16AF8-DD34-4A5A-A85F-D4BAD4907479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c60be588f61c4bf09146379554fc46dbf7ec8b","datavalue":{"value":{"entity-type":"item","numeric-id":485831,"id":"Q485831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7e2a8fb59bc936263f3d03d97ea5f8ec4f4faf","datavalue":{"value":{"amount":"+0.7679588794708252","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":"Q5200013$4D19D947-DFBC-4909-BB75-DF298C840106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a02f341ffa80a0f403c101fa658b76bbe67c11","datavalue":{"value":{"entity-type":"item","numeric-id":5030202,"id":"Q5030202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00773ec62e549964a7d5e55760d0b70163cf754e","datavalue":{"value":{"amount":"+0.7141785025596619","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":"Q5200013$56BC6E52-4339-462E-B958-AF4EEAC89E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e522a50d0ebec538b555dc3bafd95468b708c045","datavalue":{"value":{"entity-type":"item","numeric-id":2873792,"id":"Q2873792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474a22e5bdcbdb61167d45b1efb5f2a5069795e4","datavalue":{"value":{"amount":"+0.7125883102416992","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":"Q5200013$45B194BA-AC71-4E13-BE9A-8DCFA918C162","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5200013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5200013"}}}}}