{"entities":{"Q2102932":{"pageid":2113675,"ns":120,"title":"Item:Q2102932","lastrevid":55930192,"modified":"2026-02-21T06:19:27Z","type":"item","id":"Q2102932","labels":{"en":{"language":"en","value":"Theorem proving as constraint solving with coherent logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7632090"}},"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":"Q2102932$AB327074-0914-4AED-8EA0-5E2ADF00B795","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eec62d2eccb0e19d3028b50de6916c687148fb6d","datavalue":{"value":{"text":"Theorem proving as constraint solving with coherent logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2102932$42C27B9B-C2D8-4D2A-8E9F-945530082EEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c93dc7f088015e9cd1eacb5d2c04306baf043d99","datavalue":{"value":{"entity-type":"item","numeric-id":286775,"id":"Q286775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$D7C866CD-FF9D-4991-813D-63C618A8DB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7154e8ca53ace223b8c5be019b7f4f775aab0292","datavalue":{"value":{"entity-type":"item","numeric-id":294376,"id":"Q294376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$045B2093-0E36-483A-8A06-F09E32B972CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$E06EB8B1-2A2B-47AC-A96F-B12B809617D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"864c812669f7b711965df21a240639cb0cf894cd","datavalue":{"value":{"time":"+2022-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2102932$625F6565-B5CC-4EC1-B9DB-F7EFB3D7BC36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102932$51424562-6B1C-41C4-9282-E908B0669CCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28e04325b21cf5d0b971d2590217a8c91d6ca330","datavalue":{"value":"7632090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102932$FD3186AA-43F4-471D-BF96-F00DF2BB944C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102932$1A251A76-033F-4D1D-BC5F-EAD1AAD55BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102932$6D2BD154-34C2-42E1-918B-A88024619C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102932$537CCB68-E807-4047-9D18-010E412F1F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223556ef87b8f25f218d19756cbdf5e24d0a2719","datavalue":{"value":"coherent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102932$3415D9E9-9B55-4F41-AEE7-1C5F45A85E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425b592312f0194dfa04516bda83af5ab02e1dfa","datavalue":{"value":"SAT/SMT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102932$23FFD791-B9C0-42F6-8634-09EF68E48957","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c0cbf9f536ac75795a12d3e82e647d7764242372","datavalue":{"value":{"entity-type":"item","numeric-id":27429,"id":"Q27429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$26ABA6D1-F7FE-4DB7-ADAD-7B490EC4B82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90c7c18880caa813a6bdace0f373d3dec3147690","datavalue":{"value":{"entity-type":"item","numeric-id":40350,"id":"Q40350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$5226215B-4711-4D3D-935E-14EFF250DED0","rank":"normal"},{"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":"Q2102932$A4CB77EF-16D7-4584-AC64-4BC657DC8A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"23f1d4970d4f2ba01b8146500b5c1a10ed17d235","datavalue":{"value":{"entity-type":"item","numeric-id":23493,"id":"Q23493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$66DC1A67-EFF6-427E-89FF-C591B27A9923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$24BC9E15-B2AF-42DB-8581-DADDF55C1592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75051848b474128e4985ed4bd6de9dfa91223569","datavalue":{"value":{"entity-type":"item","numeric-id":18412,"id":"Q18412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$7FBDAEC4-C93C-44A8-B68F-AE2305E69A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3fa1be4925f6565903e34254fe3ce3cb99beabc","datavalue":{"value":{"entity-type":"item","numeric-id":18828,"id":"Q18828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$3FDF995A-0490-445E-BC27-44412DCAE3B5","rank":"normal"},{"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":"Q2102932$EDE6B0D2-FFEF-4D78-9095-D718CB709F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0df35e35bc9e0d646d3ffec0c1dfd6eea794d089","datavalue":{"value":{"entity-type":"item","numeric-id":19245,"id":"Q19245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$5E931A96-8BD5-4A81-8643-4A13367B0DBB","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":"Q2102932$5DEBD096-DF70-43A7-9381-566451D98551","rank":"normal"},{"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":"Q2102932$092527D9-52DC-4769-9330-4C4B79C0CBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$5CD798DD-1029-40B0-9041-A8070FD18D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c1ef313e426f71f5dcd127dfe1b9fad8b07d119","datavalue":{"value":{"entity-type":"item","numeric-id":19153,"id":"Q19153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$762C238E-6720-45BE-80F3-8236F4ADD469","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":"Q2102932$704F866E-CCD8-4099-9981-6720B8471904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae510ff9d7026cdfae7484e5c88af62cffb92c77","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$A1EDF7AF-F27D-4DEF-B57E-82AFA4E3FDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$4DB8648C-0149-46CE-8E8A-C201F82E9C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$11E4A60A-DCC0-4881-AAAB-2404B5797AEE","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":"Q2102932$92CD03EC-F670-4919-BD84-56AFA9382CA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0ef0f7115fc84f8949845b522609882b3833415","datavalue":{"value":"https://doi.org/10.1007/s10817-022-09629-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2102932$BC804780-84CF-4C08-967C-D9F39AB0844A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"275af973843be28082c528c9718d257b11fbcd03","datavalue":{"value":"W4281252527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102932$30F2F137-36B9-4C03-876B-9AE2BCBF9CE1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b98b0b900225ffafb35a2b73bafa7c1f9670b764","datavalue":{"value":"Q113901232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102932$8A46CBB6-6833-4290-89F3-E5B36FCB9118","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3edc88323998aebe98e006bbc507630d9107b32","datavalue":{"value":{"entity-type":"item","numeric-id":2055864,"id":"Q2055864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$EE581693-BEAC-4B70-B5B9-2E1ACA560DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bf83626afb25080059b6ed16da69d74215dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5133983,"id":"Q5133983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$599B0B89-A056-4113-A196-086681B8E11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3860c002e5bd73f6a4938093fc1d13dc428ed801","datavalue":{"value":{"entity-type":"item","numeric-id":5850985,"id":"Q5850985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$21A70DF2-B923-47C3-B222-6EF92188218F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"686d8c1af79a48830313f258a972641c870a4f2f","datavalue":{"value":{"entity-type":"item","numeric-id":2631965,"id":"Q2631965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$C4CBFF2B-DF23-42D3-8AAF-649382094BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9f30a506579d570709211d696ed5ba11d9cc6f","datavalue":{"value":{"entity-type":"item","numeric-id":4665735,"id":"Q4665735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$433A58AC-C769-4504-A0EF-B822FADA679C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30492f77eb016746469a740ef03c349aed405ecd","datavalue":{"value":{"entity-type":"item","numeric-id":5387843,"id":"Q5387843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$44C8AD70-D5DA-441B-B025-B6B81350D5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5791688c0d08cb0956d2f1e861eee0a36c47d237","datavalue":{"value":{"entity-type":"item","numeric-id":2471743,"id":"Q2471743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$CFAF3E55-8EED-4C2D-90B6-B9C7A2E3D152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$4CD0EA73-5F71-4B47-BFD4-2A9237A8958D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$D6AA1E89-A526-458A-8291-DDC904A28FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5469f72b3d14e0a040a00af8c98b8e5cf4cb2b","datavalue":{"value":{"entity-type":"item","numeric-id":3172879,"id":"Q3172879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$96AD9D8E-881C-4CC7-B662-0D660947CA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"961e583e188fc7cff1699f17f5a1576a96a31fd3","datavalue":{"value":{"entity-type":"item","numeric-id":287340,"id":"Q287340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$DF1EC4C4-D1B4-4AEB-B71D-91F88B3DFC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6a505c48f7ed8fbc36053c87307f799e1a7f54","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$DDD18451-F4CD-416E-82C4-FC7BE03C71C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b19149185e72c842c12321303888117be6b4dec","datavalue":{"value":{"entity-type":"item","numeric-id":2914754,"id":"Q2914754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$1C712406-CE1A-4742-AA23-353E5421A8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e95031f926c5f0524c20cbbb322383964510ed","datavalue":{"value":{"entity-type":"item","numeric-id":2864408,"id":"Q2864408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$BE2C8B40-24BD-42A4-A51F-E202F90F0176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4370175d8030918ba7fe1c9ab8112224b76824d","datavalue":{"value":{"entity-type":"item","numeric-id":3498463,"id":"Q3498463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$3BDDB0DF-8288-4472-9D44-E62A57B50961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2d52bb81737c531e4b9955919288175749019e","datavalue":{"value":{"entity-type":"item","numeric-id":1725841,"id":"Q1725841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$7E6A9FDC-7229-4886-A8A5-4C0506E62A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494aa31720bff090f87eabeb86ce7380ba058cbf","datavalue":{"value":{"entity-type":"item","numeric-id":5747649,"id":"Q5747649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$A5ADCED7-BB74-4E39-A0AD-CA88A07C39DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"981b322b800f12891beed18d9218a5203bf47bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2351156,"id":"Q2351156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$CA5D95AB-00D1-40E1-9D70-1BAD9D2BD308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3a827859850e2bb084b4bc935d7e93d39d6eea","datavalue":{"value":{"entity-type":"item","numeric-id":3200468,"id":"Q3200468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$93076AD2-0E79-4BB8-9821-2DE5E7BEC8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"353ba43643221e015306077da0bcac5de374c954","datavalue":{"value":{"entity-type":"item","numeric-id":2127222,"id":"Q2127222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$2A8A8783-C2EA-4931-B38C-99BA02228346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed2462edf5f32ab2aaa354ff9ecbd66b037a97f","datavalue":{"value":{"entity-type":"item","numeric-id":5048991,"id":"Q5048991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$7D2D6918-E981-45C1-B2C3-2A4955016BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd3cb6b9019747c7bbfc2bed55b78e42a7665495","datavalue":{"value":{"entity-type":"item","numeric-id":1663240,"id":"Q1663240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$AF949F14-3861-45BA-8EB6-24BFA55E478C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b547ecbdee111d500340a1755c27397d76f7d718","datavalue":{"value":{"entity-type":"item","numeric-id":3608794,"id":"Q3608794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$CA5EC1D0-60A7-43FC-A503-7367BAF6AAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a08243fd980f5701ca2fc53c5c48bfcfef4aa6d","datavalue":{"value":{"entity-type":"item","numeric-id":2795295,"id":"Q2795295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$D12F5E2C-C5BC-41BD-B48A-8ABBC0C71BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3974826730c6cd32f5a0b39902b286982f03f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1275625,"id":"Q1275625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$9C08D73C-418E-4041-9F3D-6A11C427DDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa9aacc2c379e52cdf5a99fdab1f6137b9dbbfb1","datavalue":{"value":{"entity-type":"item","numeric-id":2362206,"id":"Q2362206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$C6DFACF6-4FBF-4CF7-A4D2-2BCC076E599B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd3a18a97e376c807cc3666c7857f971355d8a9","datavalue":{"value":{"entity-type":"item","numeric-id":5425404,"id":"Q5425404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$30EDBC20-C474-4E39-93CA-19F573EE90BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456f56a3bc1b171a4303d760aadc2dfb87f35efa","datavalue":{"value":{"entity-type":"item","numeric-id":3166220,"id":"Q3166220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$88240316-E35B-4D62-9344-1F369FC56697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11afb07be1b91dc20a196bc7b66e67e767c9bb31","datavalue":{"value":{"entity-type":"item","numeric-id":4874803,"id":"Q4874803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$D69C23BE-899D-4918-95BB-82DA7AD602DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa2ae61992a0e5eba0a5e337babaa28b7d7cf92","datavalue":{"value":{"entity-type":"item","numeric-id":437042,"id":"Q437042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$2A3C0DE5-1C27-4185-98A6-976553591312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faa0bc1bb87f751e6c936c2c8a473030613d2716","datavalue":{"value":{"entity-type":"item","numeric-id":2439882,"id":"Q2439882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$F7D4CA8A-668A-483F-92C7-56E37F3907CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c550078709a24810b3ec6e1d82a47c85cb06a5","datavalue":{"value":{"entity-type":"item","numeric-id":2018657,"id":"Q2018657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$758C46A4-64B0-421A-A007-7E427A92C47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92a8b5a195a9ab5cffef1f281a7b28dc8b024756","datavalue":{"value":{"entity-type":"item","numeric-id":5204800,"id":"Q5204800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$DE553875-7358-4F29-8B5B-9CBFC43C8D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$976D5247-3410-41D8-83BA-D730BDD71577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$62504BB7-1992-49CD-AB0D-18D96FBE884F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a50d2155c8b08321a54b3ac0bc39757a6121cf5","datavalue":{"value":{"entity-type":"item","numeric-id":2362107,"id":"Q2362107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$4F78E7D9-D960-4C9C-B2F5-E16EDA56D4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$DACF1099-0DA1-42E2-B06A-3337761C7149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f2f23484cc563361b9a949250d7cf0cf0889e","datavalue":{"value":{"entity-type":"item","numeric-id":2479551,"id":"Q2479551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$158B2029-C885-4980-820E-0457C0641FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba24561784e172b0319855a52aa68b3bc9667e07","datavalue":{"value":{"entity-type":"item","numeric-id":5091243,"id":"Q5091243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$1AB81433-7130-47C0-AA90-82065842FE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$31E2DA40-0FEE-4ED3-ACEA-8990B8A8542E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf54fd52b3ae148a01d4229df0c1b5a1e68af7f","datavalue":{"value":{"entity-type":"item","numeric-id":3613415,"id":"Q3613415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$21C2FB59-F80C-4FB3-8E5F-282937672CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e114146a9d2d5e6b8c252e3e4a144fcee5ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":1404981,"id":"Q1404981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$9F86DF9F-9DF1-4B7F-84D0-11136D7938B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$A23893F8-ACAE-43B9-A797-835BC1685FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4626347e32378157ea8b60d8cdb2d81bc108721f","datavalue":{"value":{"entity-type":"item","numeric-id":5756575,"id":"Q5756575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$46E9D760-2B5A-40F5-BBB0-025A822D9C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d2acfca0f5dfd32b373cf14812fef011284ac9","datavalue":{"value":{"entity-type":"item","numeric-id":2055877,"id":"Q2055877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$479D9728-D067-461E-BCEA-F982F1FC2C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a455d78e1b2e575a95470d6188bea99fa99df4f6","datavalue":{"value":{"entity-type":"item","numeric-id":4910867,"id":"Q4910867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$06873B8F-C3D1-4B47-9AC4-18485EB7022C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0000b092379f98c95c3775e7aba07202a86433b","datavalue":{"value":{"entity-type":"item","numeric-id":5495937,"id":"Q5495937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$BB32E665-A561-474C-AD13-E73FF357E6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448244272da4dbff5b7c78c2545c59c5b5af64d9","datavalue":{"value":{"entity-type":"item","numeric-id":3102745,"id":"Q3102745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$AE31A24D-9369-44D3-A3E4-0370ED0390DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4acf12f6f2468476af5b80237d12aa6e90faaa","datavalue":{"value":{"entity-type":"item","numeric-id":3066085,"id":"Q3066085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$1D2BA1CF-8293-46AA-96B6-80F94B9AAEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9934e7f4b0df4e6f10eb445af518fdfeaa497f21","datavalue":{"value":{"entity-type":"item","numeric-id":1869614,"id":"Q1869614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$1769A0ED-E2EB-4D27-942C-94223ED9A3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed473c6e01919b49d2a3d56d48fd6fe4dac1c845","datavalue":{"value":{"entity-type":"item","numeric-id":1945905,"id":"Q1945905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$D4F11903-D0F3-47B7-BA00-53A406A8B778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01894cb4c186ca51ffd95e0ed24fd5ce8f5fda71","datavalue":{"value":{"entity-type":"item","numeric-id":5951526,"id":"Q5951526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$16409268-13E2-4ECD-822B-68A2466CEF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa6750f3149d248c4e232f6fdbdc36d7bc86e39","datavalue":{"value":{"entity-type":"item","numeric-id":2920991,"id":"Q2920991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$4ECDC9EF-9FE2-427A-8AFC-052C71FC80D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f2503feeec7eab5bebfae2eefbab2a7d275b1f6","datavalue":{"value":{"entity-type":"item","numeric-id":5712318,"id":"Q5712318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$A46DDE6D-B16E-4F39-82D8-291D0626F25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc86c9a5df2a48a5197a520d72844b4cc69b52b4","datavalue":{"value":{"entity-type":"item","numeric-id":1272613,"id":"Q1272613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$726EAD18-04F9-4A75-964D-27D2D4B89BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2667127ff7e04fad7bf3f88432b6dcb7791cab15","datavalue":{"value":{"entity-type":"item","numeric-id":3624141,"id":"Q3624141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102932$E9F45026-6F0B-4B36-ADDD-F0D2D9687EF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43ccd17ee50e68ca84098cc3d2e07590b84c6498","datavalue":{"value":"10.1007/S10817-022-09629-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102932$F85C4D3F-FFAF-4B6A-AAB2-E74B987173A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff044de1c8ab53ceae087038db232905f546e4ff","datavalue":{"value":{"entity-type":"item","numeric-id":2907328,"id":"Q2907328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a63b0ca8a37240f2a63c39d16bd0b49444f5e83","datavalue":{"value":{"amount":"+0.7913711071014404","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":"Q2102932$5FC52341-D18B-42D7-9423-85C46BF6EFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69d2638618b1398e223482eea704c8301b9fd6b","datavalue":{"value":{"entity-type":"item","numeric-id":3102745,"id":"Q3102745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb37caf4016c131bdb6dc41914d9e5c1674ea82","datavalue":{"value":{"amount":"+0.7856003642082214","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":"Q2102932$E667BF25-5D41-4342-B966-DA7B6D6D6A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d26e55b2d0676f92a5f1135769d3cdb3b111fb","datavalue":{"value":{"entity-type":"item","numeric-id":2471743,"id":"Q2471743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3fcb083149742e06341b12d6a7d7172b2025245","datavalue":{"value":{"amount":"+0.7716987729072571","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":"Q2102932$CEFCF132-B4E9-4368-BED6-E4D3C7482669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37ed56f054f2c4d95c0e23622653d6f12097a0ba","datavalue":{"value":{"entity-type":"item","numeric-id":5387843,"id":"Q5387843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f754d99de4a9e63b3dae2fb25205800190b58990","datavalue":{"value":{"amount":"+0.7686290740966797","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":"Q2102932$7EA13B06-B18A-426B-A953-434F4503D94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a760c74583d2c9fd3acc648ecc03c499f5e936ea","datavalue":{"value":{"entity-type":"item","numeric-id":5495937,"id":"Q5495937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f650c365646f1dcfc45dbe6110aac21259a03b","datavalue":{"value":{"amount":"+0.7660397887229919","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":"Q2102932$02F280D1-32BC-4796-B101-C21BDB0C43FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2102932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2102932"}}}}}