{"entities":{"Q3402293":{"pageid":3412996,"ns":120,"title":"Item:Q3402293","lastrevid":50894867,"modified":"2026-01-15T15:23:10Z","type":"item","id":"Q3402293","labels":{"en":{"language":"en","value":"Anti-unification algorithms and their applications in program analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5665783"}},"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":"Q3402293$0A4B10DC-766E-410D-AD77-BC502AD782F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"573f58f4cce035d1191eef4a81bc3131ec5d8062","datavalue":{"value":{"text":"Anti-unification Algorithms and Their Applications in Program Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3402293$240EF4AC-9413-4764-A386-B43AA4F810A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fc9e7beb3e8c4c18d11e7ef8a3242173e76c8f5","datavalue":{"value":"1274.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402293$6CE4C044-F53B-4A11-BA3D-3A754E8C6603","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"909cb479569c586a0263cb2e36848343e7c25e57","datavalue":{"value":"10.1007/978-3-642-11486-1_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402293$C4A89D0A-EDB2-4A22-BB82-60AF139A225A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a97353bc51f25fad8ab7416ccf1b92210e6d64","datavalue":{"value":{"entity-type":"item","numeric-id":764004,"id":"Q764004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402293$2BC7A6F8-2707-4DD4-B8C6-F213E9D35C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce7561eee339ddb2b90c74e6044fcf3f56049dbb","datavalue":{"value":{"entity-type":"item","numeric-id":269722,"id":"Q269722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402293$B9F360E1-93B0-40B7-BB3A-0F0AF27E0EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7153bb19785740785cd6347b4d653dc5d37c5e4d","datavalue":{"value":{"entity-type":"item","numeric-id":1592931,"id":"Q1592931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402293$9CDE8600-BB23-45E4-8079-260D4840A9CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ca3c59d5b4a9c62c9dad54b7259d1ebc3cdb0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3401930,"id":"Q3401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402293$4C3112E0-AF23-4D65-9407-129D1F0DD042","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f2e51e046f2c34fc303672dbc5a81ee27ce4774","datavalue":{"value":{"time":"+2010-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3402293$CD02D623-FC77-42ED-AA4F-B5C3BF829337","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3801c99f8353dc7d796c7aca7a625485f11689b7","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:481f74f3-7003-4746-a28e-9a1aabb45a43","type":"string"},"datatype":"url"},"type":"statement","id":"Q3402293$E59B772D-41C8-4BC5-8025-F3C657DF1736","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402293$990E0F67-1730-4035-A9C8-ED399DE10537","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"593afdb1b52c9d04aed0c5da52d3f74bf7813018","datavalue":{"value":"5665783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402293$0B4CB264-6662-4CA9-9263-03FFC7B32A44","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd5c4dea04df098dca16112bf15e4d17cff02891","datavalue":{"value":{"entity-type":"item","numeric-id":20949,"id":"Q20949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3402293$E77EBCAB-A1CD-44CB-A1F7-0A01651C3836","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":"Q3402293$2A79F015-0B29-44B8-9218-1ECF157E2968","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"417fc1751a80d0dae79cc791890920152d7bc6d9","datavalue":{"value":"W1542742023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3402293$0A333DA3-0DB3-4031-8C5F-F41B81F6626E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"785bcfbd5bf81407ea8020c4db7a5044b1d38544","datavalue":{"value":{"entity-type":"item","numeric-id":3184519,"id":"Q3184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3cb3c1b83b7a959c1316863d4928746dcc4d00","datavalue":{"value":{"amount":"+0.8356844782829285","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":"Q3402293$383F2DE6-C8FE-4AAA-97C1-3DF658BB87A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a6234725998a4242f0b8cad3ca3cf918f6e060","datavalue":{"value":{"entity-type":"item","numeric-id":4993335,"id":"Q4993335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50ff5c4a04ac7c3fd6537546c4353081cb4541a","datavalue":{"value":{"amount":"+0.8281999230384827","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":"Q3402293$BD07171F-3052-44EA-B86D-F8075DB08509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188523ab424567855a041230f5199e2deb8b8cfd","datavalue":{"value":{"entity-type":"item","numeric-id":5108501,"id":"Q5108501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2780944f2957f07cf86f65eea090bd91f4cfe6f2","datavalue":{"value":{"amount":"+0.805756688117981","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":"Q3402293$D075B9EB-DC5D-4A0F-8CA9-2B83B290E049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcec3cd3bafb40fbda27567ce6db63b9c0ac559","datavalue":{"value":{"entity-type":"item","numeric-id":2352488,"id":"Q2352488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7665a4ae15766fa9dad7798c18092708adee11c3","datavalue":{"value":{"amount":"+0.7860898971557617","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":"Q3402293$84E3B4B2-C2CB-4E52-976B-3CBFB23232EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85a5367b13413b6874ee6fc5da4cbcf0accb4dca","datavalue":{"value":{"entity-type":"item","numeric-id":5389083,"id":"Q5389083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca615ead220ff013dd0c762b0b126033b4e3e365","datavalue":{"value":{"amount":"+0.7853808403015137","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":"Q3402293$0C8721FF-546B-4739-827C-A977A3EB4CE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3402293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3402293"}}}}}