{"entities":{"Q5747760":{"pageid":7777311,"ns":120,"title":"Item:Q5747760","lastrevid":51080417,"modified":"2026-01-16T13:41:05Z","type":"item","id":"Q5747760","labels":{"en":{"language":"en","value":"Interpolation and symbol elimination in Vampire"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785447"}},"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":"Q5747760$967B62F8-9026-4B13-A4D5-64BD5AD6D5FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"154f0f23245ed07702cac0838dc7220eae0bfced","datavalue":{"value":{"text":"Interpolation and Symbol Elimination in Vampire","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747760$0C09FDF1-5D01-4016-88FC-8CC9EE6D60EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbff87be69024f8e769fe20de5a87c30a05cbe94","datavalue":{"value":"1291.68348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747760$29F2CB26-6E7B-40A3-AB28-DA250C3C61F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8b2f3a7992878fad83ada000f0c5ab898ff66d8","datavalue":{"value":"10.1007/978-3-642-14203-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747760$A0E64F0D-EBAD-4EAE-8CBB-6BE57D5A714F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3be5b3c67c998dfa04f0460b39f1c19d2f459b3","datavalue":{"value":{"entity-type":"item","numeric-id":2817930,"id":"Q2817930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$D348D36C-6B49-4A73-B0D9-9D91F06D4311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$59E39E2C-7DC5-46E7-AC71-B01FC94B53B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2dfee53655d9cc8087a652185465cb178825e","datavalue":{"value":{"entity-type":"item","numeric-id":229754,"id":"Q229754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$A659254E-90F2-47D4-864D-A4D280788D38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$E8878009-200B-4982-8C62-FFC9E6BA6291","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747760$3099E915-A39D-413F-A5BE-72336A52CDC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747760$AAD9949B-93F3-4920-B41D-B502F8C6916C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa3e6d0cf5aa86a197c9ad06a163f51cf5dfd5a3","datavalue":{"value":"5785447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747760$177CB792-D9E2-4A28-9F49-B88F0B1F78C3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$92EEEAEC-FE1B-46E2-8742-165471860DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$25CD7920-D20A-4FF8-AC47-49A8DECB35A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$EF326CD4-BC55-4368-8E99-09AD62B0B340","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":"Q5747760$ED17DF37-D2B4-4021-B371-4CC93EB26643","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53469ed21284c49065c90b4156925dba25df5b02","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747760$33BD45DE-0014-4E3A-9739-06B90B1E20C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6df0c183e6d47e8c34592d9abecbb106e0dcb82","datavalue":{"value":"W1744405537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747760$6C08E6F5-8A76-4D27-82CA-95A1B9166F4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0010e327ddd368956022cbe52c271ac71c9d3b","datavalue":{"value":{"entity-type":"item","numeric-id":5458340,"id":"Q5458340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$13D3E5EC-AD84-47D5-9280-44BC14966F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7518c3dc697c1f88392c573900510e6c347126","datavalue":{"value":{"entity-type":"item","numeric-id":5276157,"id":"Q5276157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$E18CCF75-7AD8-4A00-AF1B-66CE6EBBD035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$B11491C2-B378-4506-B029-03468A468F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af62bfd2162dabdadb1d68f1499174dc7482fad7","datavalue":{"value":{"entity-type":"item","numeric-id":5716597,"id":"Q5716597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$CCCA6F5D-09B8-4E5B-BB4E-1D6E40785369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3bb918603ae315ee0224631b7326b49acf86c5","datavalue":{"value":{"entity-type":"item","numeric-id":5899073,"id":"Q5899073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$56D6A444-86CE-479E-BE0B-72BC18456909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d0dd7bb6db6a4c0ce328175c5c1c2e0bc50527","datavalue":{"value":{"entity-type":"item","numeric-id":5429322,"id":"Q5429322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$C377E94B-82BA-4651-B042-614EA6DFD2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13219530e3d06874c8e2749c80d201a39fcadb63","datavalue":{"value":{"entity-type":"item","numeric-id":5191103,"id":"Q5191103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$7F1E258B-DB85-4183-B475-6C60CD32A51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe753357a6d82c52967f1976a05f5e36a3cab5a","datavalue":{"value":{"entity-type":"item","numeric-id":3498479,"id":"Q3498479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$6BA70049-567F-4BAE-A4CB-A85BF8B6A88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$1BFB7E90-ACDA-4741-8875-1E5FB5094CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1a62c24cddf605dd86a399f231d937d5444e0b","datavalue":{"value":{"entity-type":"item","numeric-id":5458341,"id":"Q5458341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$A10963D4-7AA3-4B17-85B2-9C1CD6D5F166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$D9783B59-30B2-4D9C-B83C-4CC537987E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0c5a805e2d83d2fc67d0e9100dbfc3999c3a60","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$9820FB9C-4C8B-4006-A020-9FEBCF824949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$B6D07452-2EF9-4B2D-8188-33A831B906BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842d1c2c50e4f6152c1646f7649b15d27250c7c8","datavalue":{"value":{"entity-type":"item","numeric-id":3608799,"id":"Q3608799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$3EDFAEAA-039D-41D2-B1DB-DC3489D169AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7903ffd8f9b852f272a22a95cb583ad2910295a","datavalue":{"value":{"entity-type":"item","numeric-id":5394624,"id":"Q5394624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747760$E327AB06-B3D3-4AB2-9F49-9C55BD530190","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85ae07d13c019357acfa2bc502c4ce358eb404b","datavalue":{"value":{"entity-type":"item","numeric-id":5191103,"id":"Q5191103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c8a19343e098c4a00a7bf8acd0f580ab6c74f8","datavalue":{"value":{"amount":"+0.8418505787849426","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":"Q5747760$E0D45D36-8389-4F60-A6AB-86F39EB3C418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fcfd79491cdfb771cf41fc7a5558ea92c5018e1","datavalue":{"value":{"entity-type":"item","numeric-id":2870125,"id":"Q2870125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175399e8ef1ceb1c72deedac600762d19fd97caf","datavalue":{"value":{"amount":"+0.8399063944816589","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":"Q5747760$7DAF7ABD-941F-4262-8168-CB374D41BE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23712cabc9bcdfff6776d12b1d0e9523fe27cb7f","datavalue":{"value":{"entity-type":"item","numeric-id":2942878,"id":"Q2942878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2319167f1b639e277e00c7fd67c72352a85aa34","datavalue":{"value":{"amount":"+0.8370733261108398","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":"Q5747760$CD46DF63-0332-4997-A1AE-9463DDD60192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d051599a92a778760c32010d66f8e2784220f6f0","datavalue":{"value":{"entity-type":"item","numeric-id":2352502,"id":"Q2352502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea71e9b1198df7ffaee13f67e2413b72ddaf17b9","datavalue":{"value":{"amount":"+0.803280770778656","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":"Q5747760$CCD61168-B9DD-4EAC-B304-9BBF0D9C3EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e412e6216b54f0d01b161d965adaae87ffed390b","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a42427e9b66716d40ee308defeb34124c7e585","datavalue":{"value":{"amount":"+0.8013182878494263","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":"Q5747760$64F11ED3-438F-4F8B-A637-D99A07AE9B04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747760"}}}}}