{"entities":{"Q6148113":{"pageid":13282420,"ns":120,"title":"Item:Q6148113","lastrevid":55547413,"modified":"2026-02-17T18:36:31Z","type":"item","id":"Q6148113","labels":{"en":{"language":"en","value":"Towards a dereversibilizer: fewer asserts, statically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7786598"}},"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":"Q6148113$08F8BADA-BB7C-4081-8C47-C79D306D97BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11f6dab06716fd7b057aeb027ea009936c36db19","datavalue":{"value":{"text":"Towards a dereversibilizer: fewer asserts, statically","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6148113$75F3081A-F4B0-45D7-971F-462634C6C905","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ecc50adaa086cceb91555effdd9cd8c203bcd7a","datavalue":{"value":"10.1007/978-3-031-38100-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148113$3B64B008-F7BC-4D52-B7CA-1855724FDC00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b994df97414a642ee678b28761188ded4a8bc2b9","datavalue":{"value":{"entity-type":"item","numeric-id":6148111,"id":"Q6148111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148113$98F4098E-BD44-4878-9B2A-5DE72FA81634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"81032b0f581db8e37581bd17c6ad01498f4c3819","datavalue":{"value":{"entity-type":"item","numeric-id":232939,"id":"Q232939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148113$F808229D-959B-4F06-9D5C-52C363A26E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faa94400d2b07c79255a76b5ec510d742b344fc0","datavalue":{"value":{"entity-type":"item","numeric-id":6148112,"id":"Q6148112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148113$53233E92-99E0-4DD8-9B26-874557E0EC32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a717b5be1a91222f4c61369f09045de11793bfc3","datavalue":{"value":{"entity-type":"item","numeric-id":2822486,"id":"Q2822486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148113$89FF2DAB-AE4E-4445-BE3D-7124A06BD107","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1803be4dcfbfdb07a022d0aa018505d9d97abab","datavalue":{"value":{"time":"+2024-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6148113$B97D38F5-C19F-4758-8C64-4E6641AA36EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"196916cd450165978c169d4fbf15975a01c78c72","datavalue":{"value":"68Q09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148113$AC193F31-69DD-44C3-93CA-495C5ECF9F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148113$60DC35D2-1376-4916-B5BA-54491F8AFF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148113$87CFEE27-5602-45E8-9F08-34C13D6EC3C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddacb435f7e3e9215bf0cc2258ce93103b5ff32f","datavalue":{"value":"7786598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148113$58FAC99E-FDC9-4C79-871C-213D11D256C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c53b23ee0bd45562725f891856f3ae501307d67e","datavalue":{"value":"reversible languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148113$ADB385F8-6AB6-4538-B676-F8C2F1C92155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148113$2EE0C06B-EDB4-4D24-9C39-FD55441DDC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32dfe3f23debe7a809af17cb019d41b2328ea2f0","datavalue":{"value":"satisfiability-modulo-theories (SMT) solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148113$4A8DA0F5-F4DA-44C8-BD42-9F17BC5D0F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148113$F570D2A6-FAF5-4D13-B9D7-56C68D768974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30465c7253323499b5cce6c4f064def1ef2d4445","datavalue":{"value":"compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148113$1577235A-58DE-45E3-AD57-DB6C8B5B803B","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":"Q6148113$7C859A74-C81D-45D7-A6A4-FBB500637963","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148113$32810843-596D-47F1-81F4-1C3772B8687C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a721eea058e807770cf825065bd252a7ab7056d","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148113$D10C5AAA-8F76-4DBA-81A9-49652BAE7D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9122f4b23b16756c6d49e527fb31da936543af7","datavalue":{"value":{"entity-type":"item","numeric-id":6063893,"id":"Q6063893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148113$39C5FEEB-9CE7-467D-810F-971DEBA7AC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00781b834d34784469cf32c1e81dda97044d54b8","datavalue":{"value":{"entity-type":"item","numeric-id":2097435,"id":"Q2097435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148113$9462ED5E-864E-4B58-9212-23D952C73DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06fb8dbce4eb45cbece57afbd9b64bd437f704e","datavalue":{"value":{"entity-type":"item","numeric-id":5472880,"id":"Q5472880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148113$1E3425E1-9ACE-428E-9D54-48F7B7BFB714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1af6cf758a170962dfe262d26883b33c422c65","datavalue":{"value":{"entity-type":"item","numeric-id":2693633,"id":"Q2693633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148113$0D95C347-4E44-4CBB-92BA-8180E3B54282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc86174e6055d0f80470c499a995cd6a9d4357a6","datavalue":{"value":{"entity-type":"item","numeric-id":1656596,"id":"Q1656596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148113$8919402C-0E3B-429D-B04C-946111B757E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148113$31E5D7AF-FF8F-4B52-B473-65080E830764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569f1bcdcb575af56b5d2357d462ac75edd2ab5f","datavalue":{"value":{"entity-type":"item","numeric-id":3179177,"id":"Q3179177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148113$99C0EA9C-8669-47DA-B7DE-8A360E8CCD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148113$173873DB-24ED-4E69-BC78-1467A7A6A54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b6f0e9674acae7f621ef4e7543265d622fa4ee7","datavalue":{"value":{"entity-type":"item","numeric-id":1796402,"id":"Q1796402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148113$1D04BCD6-C0AF-476B-83C3-5A20260F6926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b4d87691b92efedd3c932a9e0f82d8b33f1bb76","datavalue":{"value":{"entity-type":"item","numeric-id":896906,"id":"Q896906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148113$305B5BE8-DFC8-4AEE-91BF-91FAD101638F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f734d64d16fb7b0b539b6f2dd713d5d697172cb6","datavalue":{"value":{"entity-type":"item","numeric-id":6148107,"id":"Q6148107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3df26dad8c847ec61fac7135725a22e685347ed","datavalue":{"value":{"amount":"+0.7309704422950745","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":"Q6148113$093B8578-7572-4527-B9D5-B13AA74029DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e629bc9c747932e79b194d5ced8812b6582bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":2693633,"id":"Q2693633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694cf17c964ac09fad74f82034a7c607b9c849c4","datavalue":{"value":{"amount":"+0.7290902733802795","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":"Q6148113$56659D53-5879-4875-AD2C-B643218DEB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31dc75b9a9933d8b7e091c0254b2d331cee4f56d","datavalue":{"value":{"entity-type":"item","numeric-id":3519506,"id":"Q3519506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506250d20b16d3191914aa57ef3235a5ab41161d","datavalue":{"value":{"amount":"+0.7151354551315308","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":"Q6148113$3FAFDD81-31DD-42B9-B1EE-F0035A30AD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7772832d053242a57475c59314347b296454cef2","datavalue":{"value":{"entity-type":"item","numeric-id":3459428,"id":"Q3459428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3720399f95eeae2842a178e6b29b4e83caa4eefa","datavalue":{"value":{"amount":"+0.7119954228401184","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":"Q6148113$0E351205-0123-459D-978E-897909F94ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92e8799463768b21d95350349f61898a7e5486d8","datavalue":{"value":{"entity-type":"item","numeric-id":6485502,"id":"Q6485502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c86382321e795d1cb9566f98c38293f9a8e55a4","datavalue":{"value":{"amount":"+0.7111203670501709","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":"Q6148113$E0233BAF-C952-4722-85A0-4116129215ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6148113","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6148113"}}}}}