{"entities":{"Q2964466":{"pageid":2975191,"ns":120,"title":"Item:Q2964466","lastrevid":79828433,"modified":"2026-05-06T14:48:07Z","type":"item","id":"Q2964466","labels":{"en":{"language":"en","value":"Formalizing soundness and completeness of unravelings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688818"}},"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":"Q2964466$2D324A17-5BCA-4865-9194-F65F8E521595","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ab201ce7d4b321313e43537aa12530f62b278f7","datavalue":{"value":{"text":"Formalizing Soundness and Completeness of Unravelings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2964466$BFECF966-9E33-4EE2-B44B-922B025EDDBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a65a7c0402a411deb082aba174c6798d641f036","datavalue":{"value":"1471.68321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964466$E592516F-A1DE-4AF5-A037-3E9F36EC0731","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db29162af32de04d4df39615b24a0965922ae61b","datavalue":{"value":"10.1007/978-3-319-24246-0_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964466$C4B45F2A-E571-426B-A80C-0EE9560F06E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a36231e793206f5b2292f77be31d0f8ab1f6965","datavalue":{"value":{"entity-type":"item","numeric-id":352953,"id":"Q352953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$B8C3F003-7148-4114-BF8A-8AAD0450E1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$B433019E-E67A-4CD4-A274-43CCBA0547F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$6E323F51-C97C-46CA-9F04-BD37846A4C50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"239465d3f72b1d0ceb374a3180654de1deb818a8","datavalue":{"value":{"time":"+2017-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2964466$54E5E4FE-8C8F-4EE7-9418-47BF76060CEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964466$9FDB9DB8-7CCF-47F5-914E-3E458C3CA749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964466$2A86BE71-27B3-4162-A9A9-D6AC3D7EA0B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62f9e1b11415934f3f7ba6d7bd04d009d9ac5148","datavalue":{"value":"6688818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964466$56A72789-90E3-4241-91FA-F9C696E11C0E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$260BF687-D4AE-44A6-A58B-9211CBA9C412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9f730823f5ee888bf779d8cfd162d595791e9d1a","datavalue":{"value":{"entity-type":"item","numeric-id":13690,"id":"Q13690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$93F77E49-B0CC-4D67-9802-9C318705CD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc9a9ad8c0f6411b3ed76602e3cd948eeefdbe9f","datavalue":{"value":{"entity-type":"item","numeric-id":25230,"id":"Q25230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$C21E556C-447D-4315-AE72-69DFF16B4340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38554b5cf54b6ff9f3a3a5ecfc782006b66c7e7e","datavalue":{"value":{"entity-type":"item","numeric-id":33394,"id":"Q33394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$4D3D53BF-C6D4-4A80-A92A-75ACA680D53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$4B9376B7-8B52-414B-B82D-956E7A49CA8B","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":"Q2964466$9F7DFBD2-A9E2-47C2-AB7F-570DFA2F4FCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af72b0d564e1799875fad3be8e488c531af9ed6c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24246-0_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2964466$B63E8D00-487C-4079-91FB-19CF580435A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a33fc5bd6bedde47bb2390005cc50496a619d70","datavalue":{"value":"W2293412579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964466$7B8C3963-9773-439F-93EB-48D89D9DE7FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$9868BEE1-B925-4C42-B838-248A12B33F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f8ef03a702d69c585c63b326a09f44c5b6e4af","datavalue":{"value":{"entity-type":"item","numeric-id":2271899,"id":"Q2271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$67FEE6F6-5FC0-415E-B0E5-A7282A63937A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12c8e6968784fcf3cb8105db0edc338d9a5ec0c","datavalue":{"value":{"entity-type":"item","numeric-id":3192189,"id":"Q3192189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$6506EAA8-3D48-46EF-8BDB-7B0BFFE832BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390831c2fcacfca137fbded25019295d31e1ac9d","datavalue":{"value":{"entity-type":"item","numeric-id":4846997,"id":"Q4846997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$A30D8CB8-45F1-4490-B16F-78B3503E1EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f77c9f0b209bffb78ce37325c9477c70ceaf77","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$F33FB4D2-2F0D-4DA4-87D1-256CCE1E1828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3fdcf6eed15cca5b9dd7fb0f599de1b8457467","datavalue":{"value":{"entity-type":"item","numeric-id":2956716,"id":"Q2956716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$2994691A-6914-487E-B29E-B2387FF0B8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f718ae81c5198383ae84ab6ee4ade36eb6a1365","datavalue":{"value":{"entity-type":"item","numeric-id":4922540,"id":"Q4922540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$5EA8DA05-E0E2-4A96-881D-62EE0B3C850A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d7ea5ccd099e8647306ecad8d347ba71cbb0d4","datavalue":{"value":{"entity-type":"item","numeric-id":2904621,"id":"Q2904621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$0D3DC7E9-A2C0-41E5-A034-F5209635E5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8116abcf782f1eb265d3367f1bdda8229b59ed2","datavalue":{"value":{"entity-type":"item","numeric-id":4938421,"id":"Q4938421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$06095074-2651-4B16-862E-4675CE64E488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12fb719c6977dd8fe293c36894e6b050937ddaa9","datavalue":{"value":{"entity-type":"item","numeric-id":5941754,"id":"Q5941754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$1BB00C58-2C0F-43CA-8F82-0BA5B1C18146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$31769560-DAF5-481F-B87B-D8884D75DE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea6c735a30c68acbb70a97c1bff8bb920a1ab76","datavalue":{"value":{"entity-type":"item","numeric-id":2723909,"id":"Q2723909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$268DC104-571B-42ED-908A-9BDBD2A402BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f92dece4062245eff0c48ed11c10cde6ab8215eb","datavalue":{"value":{"entity-type":"item","numeric-id":5170836,"id":"Q5170836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$3D6E13AF-F61D-4CFE-9B08-88D7454E6B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964466$6349D521-75CE-41A5-ADCE-5C272C9E541F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de8597e85bad679a40ee518fb41f35a5e976827f","datavalue":{"value":{"entity-type":"item","numeric-id":5389139,"id":"Q5389139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8379a814407536640a70ee45063d0b9a80d5e2","datavalue":{"value":{"amount":"+0.8733221292495728","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":"Q2964466$A54A15B1-237C-4922-9A1E-A613EE02668F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffd23413376e898cc2cbdf77bc23fca229b909be","datavalue":{"value":{"entity-type":"item","numeric-id":2904621,"id":"Q2904621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b22247bd4e26929c7a10700325b7968666fcdc6","datavalue":{"value":{"amount":"+0.8414294719696045","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":"Q2964466$E1B94CB6-597B-444C-A6B9-26404F323F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0e492def82c36322d9e3696ceb34c0e9198b1f","datavalue":{"value":{"entity-type":"item","numeric-id":5389086,"id":"Q5389086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eba08dcd1cd0c14f58e271796f92ff0dff5b23e","datavalue":{"value":{"amount":"+0.8379595875740051","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":"Q2964466$31C7142B-FADC-4F25-84B4-92F4905BBD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ea9d8b8ffb8e04ee2e7ea8960d3d9cf7d16622","datavalue":{"value":{"entity-type":"item","numeric-id":5111905,"id":"Q5111905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d593c14cab3ad6cf829f5cb3576226add00b3968","datavalue":{"value":{"amount":"+0.8367412090301514","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":"Q2964466$2D4E1BAC-72EA-4134-8D1B-7C00957D0021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de99ea9165fdcd58ec7a69836bc83c599401a21e","datavalue":{"value":{"entity-type":"item","numeric-id":2956716,"id":"Q2956716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af8133b40bab83f9b1cb644c7d6a272eea31cd2","datavalue":{"value":{"amount":"+0.8081174492835999","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":"Q2964466$4058EBB2-C477-4FC5-99DF-D62B02F2455C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing soundness and completeness of unravelings","badges":[]}}}}}