{"entities":{"Q5875415":{"pageid":7904966,"ns":120,"title":"Item:Q5875415","lastrevid":41217487,"modified":"2025-04-20T09:50:17Z","type":"item","id":"Q5875415","labels":{"en":{"language":"en","value":"Higher-Order Tarski Grothendieck as a Foundation for Formal Proof."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649958"}},"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":"Q5875415$387A15E1-56AF-446C-A2A6-8083FAE77598","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$71BE8381-E5B0-4670-A068-DDC762595752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91705e7e82173950109985f05602a2e2cc8516e0","datavalue":{"value":{"entity-type":"item","numeric-id":286804,"id":"Q286804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$F97E1477-A5EF-4419-84CC-9E480F37D2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a1f3f19dead339cd86bffa0b34dbb56772c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":438560,"id":"Q438560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$1777463F-8173-4B36-8964-C602E1E7EE43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875415$B29E8D41-3FF3-4C94-B811-D767F7B34101","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875415$86304F7E-A398-4D9E-AFD0-E1C180DD594A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7afafa9458a296fdb1c02492a960b3fb2c3c3c9e","datavalue":{"value":"7649958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875415$C2ABB305-5920-4DA2-9D34-AE6DA2B812F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea9a03b5dc56f980d477656272a4aec82f77f56","datavalue":{"value":"model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875415$2FC96872-1D48-4055-A41B-3BE62E721779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"899d691baca178d68100e1bfc3b3ca2750a5dd96","datavalue":{"value":"higher-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875415$8E629DE2-F9B2-46C8-BE45-3DC3E97AF786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d0c656a05fee91299dba2c9e87a8af21d582aed","datavalue":{"value":"Tarski Grothendieck","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875415$D5846E93-1B8C-4868-A8E0-55B1C163BEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"793695729e43ea493d0d63fccc91d895cd8f830a","datavalue":{"value":"proof foundation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875415$52B7153B-2A52-4AA5-BD58-EFC8A2E90CFA","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":"Q5875415$0FF217EC-DE88-43AD-B877-7C17334252EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$799AFF6B-7442-4859-96A5-EBC224EF6971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$AEF9A52C-ECFF-42D6-AB2A-683BD0407A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$55FEA227-9CE0-4E31-80BF-35D008E700F5","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":"Q5875415$0559E69B-93FC-4A0E-9498-E345D66426E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f427ab6dbbd025b0c0b66dd047be36c332e9e80","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$53C5B347-FA9E-4690-B587-49FA44210684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9fd7dbff509abaee9c64d21afb19f85055bad01","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$C4BDB3A2-E1CC-4AC4-BE11-C04F58C30588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$2442C6F5-0AF9-4A55-BCA5-0FAC41835E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$38BEE2AE-F9B8-4AB6-9718-A704CE97B992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ccbbe6930c8e1cc299a9de96016fd336eaa915c","datavalue":{"value":{"entity-type":"item","numeric-id":18874,"id":"Q18874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$3EAF06FE-FFD0-426C-B627-11548822235B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$F89F4188-A3DF-4C8E-89F8-93EFF8EDB980","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":"Q5875415$1C805239-FAC5-4D2A-8803-49C698378E44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71e44332955233ef07541e23814bb2fcf779f816","datavalue":{"value":"http://drops.dagstuhl.de/opus/volltexte/2019/11064/pdf/LIPIcs-ITP-2019-9.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875415$A2511384-8313-4499-8331-FBA19E54D184","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3757b33661df68553ed7e9535d207ad0738950ed","datavalue":{"value":"W2978296386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875415$FC7F484C-F143-4D82-8EFC-1F59CA2FE1B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d53dd9d9910043629a05ba2494acfc736cacb94","datavalue":{"value":{"text":"Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875415$F853396E-0C4E-4D8A-BC1F-C05BD35E22D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$BD459889-E4BF-4726-8734-6A8DCA3F04A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b31eb60d26c4661feb10212d462496d10d3f508","datavalue":{"value":{"entity-type":"item","numeric-id":5680123,"id":"Q5680123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$6DE01C41-5EF5-4F18-BCA7-C31F767E46B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43de7e0522f95a42a031f29dd1f48dd687623229","datavalue":{"value":{"entity-type":"item","numeric-id":438561,"id":"Q438561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$3C91E8FA-DC34-4E2B-ADD0-063C38541AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$4830BC35-E3DF-4527-8D3A-CCC0058E4CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9660934c4dfb287417da637d46414e83ae767c82","datavalue":{"value":{"entity-type":"item","numeric-id":1868506,"id":"Q1868506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$B9165B25-6C36-4953-BE54-D67DCD37E76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49380a5a0cffda5d1e1b4a498a844a9c2c454f3","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$FF7840F8-E02F-4145-A750-883BB7DE73FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73bc73e3351b113a1680b6365fb1851ae1d25213","datavalue":{"value":{"entity-type":"item","numeric-id":3453102,"id":"Q3453102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$026F4AFF-0B03-4DF5-AFAC-C4DC8F9A8E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fdfc0c3c0e9cfc6e7c95d80498c21e9933322c3","datavalue":{"value":{"entity-type":"item","numeric-id":3575302,"id":"Q3575302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$B60F5926-D3F5-46A2-B66A-A1B020D43861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$1BF0DCF5-5949-4A34-AA13-2E2C1E1CA15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95e6f4239597f494af058b4706d90738a0b9a69","datavalue":{"value":{"entity-type":"item","numeric-id":3460068,"id":"Q3460068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$0E2CBD0B-BD58-4035-A8AA-4ACA1536CF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2e8f4770b19dfe4ed5db70d9e22ebf6c799bda","datavalue":{"value":{"entity-type":"item","numeric-id":1640642,"id":"Q1640642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$392349C8-AFA7-4DB1-8883-5EE403A32B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d861948f1f6146a05d3ce13e4c51b6e0c074be1f","datavalue":{"value":{"entity-type":"item","numeric-id":286794,"id":"Q286794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$DD10A6E8-7A2A-41AA-90FD-4E4D901A0B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92be1aaf19dc1a1687724e4de0f324f279263aca","datavalue":{"value":{"entity-type":"item","numeric-id":2551456,"id":"Q2551456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$91EE4331-7318-420C-8F83-BB06C64CE56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$EA8580A7-D1BB-409D-AB2C-0157D8DC2738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$BCDADF7A-9E71-401C-B0C1-30CA55EE3C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c55f09c39173f168f9ee166ab49eb8e620c679","datavalue":{"value":{"entity-type":"item","numeric-id":5477651,"id":"Q5477651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$B7C0BB5F-9C87-487E-89D6-3AB85734838E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$633EE000-C038-44FC-8823-8972EB4339BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4bda10af2e87b39afdb3a3aad9bae730b307c5","datavalue":{"value":{"entity-type":"item","numeric-id":4628488,"id":"Q4628488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$EB5BAC2D-B06C-4964-A9A8-5620B3BCA91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4465a27d995e35d0f84f566c2db9a02e2a007418","datavalue":{"value":{"entity-type":"item","numeric-id":1798961,"id":"Q1798961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$AFFE9354-642B-4114-B3E8-9F101BBBFFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3664b6907ca78dcc7471c19ca41bf9ba07ff81c","datavalue":{"value":{"entity-type":"item","numeric-id":2323445,"id":"Q2323445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$D8121352-F526-4496-A32B-D418828DC490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac049ffd629fecbffadc2b98758c8b3e8c0de662","datavalue":{"value":{"entity-type":"item","numeric-id":5892493,"id":"Q5892493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$867C21DF-886D-4B8F-AC56-290DE292DAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7eb15f423faa36d0569ab8291b56f8dd2293e6","datavalue":{"value":{"entity-type":"item","numeric-id":4805123,"id":"Q4805123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$F6E7434D-4498-43D1-94C1-14A4917EC175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c913a72527b57ea467866b24b8cfd23fe78226","datavalue":{"value":{"entity-type":"item","numeric-id":5747659,"id":"Q5747659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$613F7AB0-2A50-4732-8132-BEDCE69E307B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b39c7a736e0e2ac275eb08aa4f632c9e6e208158","datavalue":{"value":{"entity-type":"item","numeric-id":2364703,"id":"Q2364703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$8CA677C6-B84F-4F44-A5A9-1AB790B5BD0F","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":"Q5875415$1A24B6A6-4C54-46BB-8683-7B72ECD9C357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c2de221e3b126781b22b880228fcab371b66f0","datavalue":{"value":{"entity-type":"item","numeric-id":3525155,"id":"Q3525155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$534D6373-01C7-45A4-A167-8A1DA2ABFD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136d3bc330af377385e6266bfd9e4c2d4c7a96c","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$FDA17CFE-2D61-4266-A0C8-641EBCAEBE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b639cba4135cf63c741ea53febe1888956d5b23e","datavalue":{"value":{"entity-type":"item","numeric-id":2865745,"id":"Q2865745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$D21EA063-1D12-48EB-B13A-3A7EB2D0F235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"304f75c151f80fcac7f593c768b36c06de8b16e3","datavalue":{"value":{"entity-type":"item","numeric-id":467807,"id":"Q467807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$17B65C4B-19B5-48F1-8A46-C52EF54A190E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de19fe14cb9bc4a1be2b032722a8384e976cd1f0","datavalue":{"value":{"entity-type":"item","numeric-id":502702,"id":"Q502702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$5D920097-ABA4-4AD4-9663-CBB44A93E942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33986f59fa18cd060155d2e9e24a78d8bd71490","datavalue":{"value":{"entity-type":"item","numeric-id":3133182,"id":"Q3133182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$586E00F8-D8C8-43F1-82B9-304942B1C536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8dc272440e995f36d6da32fd0706edf734594","datavalue":{"value":{"entity-type":"item","numeric-id":5769556,"id":"Q5769556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$BC496169-4254-49CB-9C88-C51D5F9A1CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81087b834bd0f0342fd52d99726619dd5c97caec","datavalue":{"value":{"entity-type":"item","numeric-id":3543647,"id":"Q3543647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875415$1882693E-802F-4286-AC82-41EF828EF0A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"099956c8576c58cbf0f341397eba4198d9378698","datavalue":{"value":"10.4230/LIPICS.ITP.2019.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875415$2F5C1867-DAD1-4AB1-9846-D96F84B2BDB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb92946f3fadabd2cf6b6cf057f5d6fb27e0112","datavalue":{"value":{"entity-type":"item","numeric-id":4531863,"id":"Q4531863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e4da90b7e6d80b718754bafcbc1ae22d640274","datavalue":{"value":{"amount":"+0.900551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875415$1F447BC6-0BB6-4C39-94E2-2A77405CB84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79880f78afc173acbe09e6a0ceff77095bf92ed1","datavalue":{"value":{"entity-type":"item","numeric-id":2702494,"id":"Q2702494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"810216bba48dd0aace100dd406f74009806d5566","datavalue":{"value":{"amount":"+0.86972845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875415$910E3B7F-C422-43BC-8907-E51DA718ADB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd595d476d62290a61ae13841dba013427e262c1","datavalue":{"value":{"entity-type":"item","numeric-id":4944848,"id":"Q4944848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae25d190c99f3d3aeec2e039d518736784aeb0c","datavalue":{"value":{"amount":"+0.86779976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875415$2FAAF3A0-114C-4872-882D-9BCF63052065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a2e10dfaa8dfe1b0905c1cf88300746e0e240f","datavalue":{"value":{"entity-type":"item","numeric-id":2881068,"id":"Q2881068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4995d152efae252e6172979da7f84902a91293","datavalue":{"value":{"amount":"+0.86295736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875415$2FE69C6F-A936-4A41-9526-AD4BEE46A4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69d73c5dee53293202141438ecb00ccbc345a71a","datavalue":{"value":{"entity-type":"item","numeric-id":2747705,"id":"Q2747705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33587ff9aaaa920c722a7a6a8691ec11120479bd","datavalue":{"value":{"amount":"+0.86247253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875415$A979578F-D439-4222-86D8-5DAE343EED37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8de705011c46b9e8b3776e8577134f3c3969dc","datavalue":{"value":{"entity-type":"item","numeric-id":4382478,"id":"Q4382478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e32b4b2ca4a0f362438c574a595103d29f886ca","datavalue":{"value":{"amount":"+0.8564217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875415$5FED545F-9543-4C2F-8478-84C833CFD863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bed29e53508912fbfb1df842856b4c7b6d41858","datavalue":{"value":{"entity-type":"item","numeric-id":5107535,"id":"Q5107535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"429a0ce504194866e632c9eb36461fa7af1dc3e7","datavalue":{"value":{"amount":"+0.855926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875415$E194F9B1-44F9-4CB5-962A-1825B3CDF6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63965a3524415a8881203ce2c1cb52558d9197ab","datavalue":{"value":{"entity-type":"item","numeric-id":798634,"id":"Q798634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090ee940425bb4456394f361406dce3312571b21","datavalue":{"value":{"amount":"+0.85589385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875415$28805FB8-0268-4A88-8CA4-62E175BF3D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b9ec05800fd56c7467533f15215eca0b96f43e","datavalue":{"value":{"entity-type":"item","numeric-id":2824411,"id":"Q2824411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7a0b87aec20dd71fe0de6d4fb8b601bc11438b1","datavalue":{"value":{"amount":"+0.85577726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875415$3281111A-27DD-4532-8584-661814337ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf98a15ea8a53104bfce491f6d7b9acd0cbbc8fa","datavalue":{"value":{"entity-type":"item","numeric-id":2287906,"id":"Q2287906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b5367c0bfd0c75aaff3874919507cf81f5f35c","datavalue":{"value":{"amount":"+0.854949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5875415$52AC0B99-FC59-4696-B0F0-1422E3BA2C35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875415","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875415"}}}}}