{"entities":{"Q4916050":{"pageid":6945631,"ns":120,"title":"Item:Q4916050","lastrevid":51697688,"modified":"2026-01-19T13:13:43Z","type":"item","id":"Q4916050","labels":{"en":{"language":"en","value":"A formally-verified alias analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155865"}},"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":"Q4916050$47E89D41-F37D-466E-85C8-AD4B4D916D56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aefa0518588b0f06a91e38e81da05f6e0358e955","datavalue":{"value":{"text":"A Formally-Verified Alias Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916050$3D40E13F-114C-472C-BCF6-0D64D0FB8E85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1bf4d34cb16fbb6fc91b489071f45a2f9c5246d","datavalue":{"value":"1383.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916050$FB898A71-5ADB-428A-BF8E-74276DA5F793","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab90bb50f02313c23e3e5884402f2641fba233cc","datavalue":{"value":"10.1007/978-3-642-35308-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916050$9D267B76-18B8-49C0-9033-231357AC10EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a8a1916bd102a0051e6ecc12cc5efb872388c8","datavalue":{"value":{"entity-type":"item","numeric-id":4916049,"id":"Q4916049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916050$AAA7D724-A2AD-496B-B570-F56A1415D759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4b1e35c1c4bff0a8e8e775e8600e2e952b118ae","datavalue":{"value":{"entity-type":"item","numeric-id":848738,"id":"Q848738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916050$C9E22948-37F0-4F4D-8653-8A5F76307156","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916050$A58425C3-AF16-49B5-BBF4-D0C6CBBCBF7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916050$A1A20E1C-A71F-46C6-A581-C29AB358FC26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"acad870b5f593211edda5a9f3b3c2e05495034fa","datavalue":{"value":"https://hal.inria.fr/hal-00773109/file/alias-analysis.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916050$22008C40-8459-41B4-B83A-1AFE2A1DD42E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916050$E2F53F19-74C8-46DA-9F2F-E63ABF8B1838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916050$9D10CA7A-E4DB-499B-8B07-DA1A18B04B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916050$6AA1781F-2F6A-4149-AF50-646E51B20FA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e16fd77658420fc5083463583425714d074d78a9","datavalue":{"value":"6155865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916050$047BB277-525E-4FBA-A071-A0CF15E1F543","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":"Q4916050$4CD2CF14-6687-4041-9465-056822560CCD","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":"Q4916050$A65388D5-C40C-497A-99A0-576DEB540792","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ac68075cfad21b65c5bda25bcf0efd9fedbe192","datavalue":{"value":"W61954547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916050$5323D00D-1328-4A83-9279-14F5C94179CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68430109aae979bda0ec257514eeef17dfed57d3","datavalue":{"value":{"entity-type":"item","numeric-id":2319992,"id":"Q2319992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a505f7753f4e6852e938ef063c796c386321fa","datavalue":{"value":{"amount":"+0.7777701020240784","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":"Q4916050$7182453F-27C9-4C85-9777-2B0BA86D29E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b219b6d7b95e38ed7a29c3183761078250d4e26","datavalue":{"value":{"entity-type":"item","numeric-id":1687720,"id":"Q1687720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c746b43602e9531acc9ebc5cc4a5a4f9141c2bd","datavalue":{"value":{"amount":"+0.770339846611023","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":"Q4916050$558E80DD-97BA-4CA6-B5D8-D4DB17BDEA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f49f78ce79e3f09e8799733e1027e4aab21dc99","datavalue":{"value":{"entity-type":"item","numeric-id":3184788,"id":"Q3184788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d92a59d56ddb37a782612402ee490480c53ed05","datavalue":{"value":{"amount":"+0.7610782384872437","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":"Q4916050$1F5D6AC5-DB40-4F8F-88E2-7AC45E5D2DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c011ce202f24d7b1156a23247f9852a88be8fd","datavalue":{"value":{"entity-type":"item","numeric-id":5898176,"id":"Q5898176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ba0a75f1da7c28d0faebb9f2394457d6c6fb32","datavalue":{"value":{"amount":"+0.7558668851852417","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":"Q4916050$C5C8ACB3-F032-491E-960A-6C0CD5F534DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177a6e4ae87fbc69cc049e90a51aef2ccb197c87","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69277d3c7275a7fd6f188ee05b1d67d64df42d80","datavalue":{"value":{"amount":"+0.754676342010498","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":"Q4916050$E3E234A0-F4F4-4EBA-9D71-3D7A6CC92222","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916050","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916050"}}}}}