{"entities":{"Q6535825":{"pageid":14146968,"ns":120,"title":"Item:Q6535825","lastrevid":55593526,"modified":"2026-02-17T19:24:53Z","type":"item","id":"Q6535825","labels":{"en":{"language":"en","value":"UTP, \\textsf{\\textit{Circus}}, and Isabelle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7810650"}},"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":"Q6535825$C0E93E7C-E5A2-4EDB-A501-2585B685EA63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fabb254983205016e99c3da2f8be85094c1ec192","datavalue":{"value":{"text":"UTP, \\textsf{\\textit{Circus}}, and Isabelle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535825$165AA168-775B-43F0-99AA-B6046F583410","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cd2c750aae4f0ad7c7526719eae8be6bb97f278","datavalue":{"value":"1547.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535825$787F3927-109C-4589-B67C-2EDB18796F52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ae04c148f378e1a7f7269d4a9e898eef31ff70b","datavalue":{"value":"10.1007/978-3-031-40436-8_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535825$F873D1C2-2E36-42C1-89D2-1AE7E89B94EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$6BBC4A3A-10E1-426B-B762-7A7FEE0A8D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$C2D4D434-FAAE-4E23-A798-E3849943948C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f0d16d56334eda577a220b2d6e48a64c295fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1617822,"id":"Q1617822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$1D7C066D-F226-46F4-BCB9-2A6364EDA454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"189ef02bdf1a02bbfe00844a63434a369a39330e","datavalue":{"value":{"entity-type":"item","numeric-id":333317,"id":"Q333317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$F188B101-AD24-4BB8-BC95-CF0E60279F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f98a6fdc4ebcefbbd3979701deb01ce817be9a62","datavalue":{"value":{"entity-type":"item","numeric-id":175412,"id":"Q175412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$4289976D-71C8-48CD-A903-DB4A08DC983A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4d150d5bf876b5a829b43934d70c20b18c58f39","datavalue":{"value":{"entity-type":"item","numeric-id":432149,"id":"Q432149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$3A252EE7-7C9C-4455-B93A-18D6DF66DB4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1952080acac824c5abaf90b4ba5029824c97690c","datavalue":{"value":{"time":"+2024-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535825$ABE0B8E7-1A59-4D96-9F62-7F173E2B139E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535825$CB813D40-DAD8-4814-A23B-D443586CE23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535825$A8E89CAF-B7ED-486A-A0C9-231968D6894A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535825$D65D3891-43C9-43AF-A63C-35644D599154","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42a37a2e5f2457e3f4c73a3e75ae92ce26e49bd6","datavalue":{"value":"7810650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535825$1CF57E11-213A-45F5-BCFC-8E8393DA02DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c8223143402d63869cb92db7f64e9cbcbc6f9c","datavalue":{"value":"Circus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535825$5122BCFF-DD78-4AF8-A59E-CB4838F377CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535825$CD6C49A2-9F5F-4A6B-8347-9931684BD56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535825$2EABF148-CF01-4C4D-83D3-07432F9BF057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d89f9a9a6576c07ae81bd83f56aaea7302b5776c","datavalue":{"value":"Isabelle/UTP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535825$76A4ECF0-5CD5-4685-910C-89C0790D2793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e17a7cb8710771acd5402f91cff6ae2c7d64aa","datavalue":{"value":"refinement calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535825$E8D218B1-232B-42DD-A534-0C699FCBABE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03a0d2848f7e13e5373d661d808855d0d8662087","datavalue":{"value":"UTP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535825$AC178782-1B62-4CB4-A90F-B883F9298D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d866d2f01ac2c31359811196209e4cb400acaa05","datavalue":{"value":"unifying theories of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535825$5FC68C34-257B-4742-A670-D482E8D9CF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fafc44265dfa91ca2c1422c4fc2ccc0afa28bf","datavalue":{"value":"Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535825$A6EF3287-8E4B-4642-9D07-806F91FDCD56","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":"Q6535825$49B5EDC9-4093-4BF9-8F82-DCD559DD9068","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9193dbfc7bccf141a4aab951ab2becf3c421ce66","datavalue":{"value":{"entity-type":"item","numeric-id":1126522,"id":"Q1126522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$9DC8C998-06D3-4DDA-8C1E-DAAF6BDA1934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$26D0A931-E471-4C1B-9E33-FA810F640D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b6a9ea45ca3a49789d1a37c0a2631d2309a08d","datavalue":{"value":{"entity-type":"item","numeric-id":2971701,"id":"Q2971701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$3AF9F0D3-C93C-40ED-8A15-65D71E100668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32873b63211e359025d0fffa3822d61ff66f942d","datavalue":{"value":{"entity-type":"item","numeric-id":4343984,"id":"Q4343984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$BECC091A-FC1E-4B7B-ABD3-8559D4E2A9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34452e7b191b3b29aad5f64aa2c87ec7e592f82","datavalue":{"value":{"entity-type":"item","numeric-id":2843615,"id":"Q2843615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$B417EFE7-202C-4931-A90B-4F902286FE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1ee9207afaa0843ab43d79ab6a7d2898ee1edc","datavalue":{"value":{"entity-type":"item","numeric-id":2814612,"id":"Q2814612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$B59ADEB7-03A1-4E8D-A8E6-1DA735AFB5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75490664644708b71efbf3d600a47f7540edb1a5","datavalue":{"value":{"entity-type":"item","numeric-id":766162,"id":"Q766162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$462B42FE-91B7-47DB-9083-49F8A5B83221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2179d8546d5ce60e354479db662e7bc4b3f5aef8","datavalue":{"value":{"entity-type":"item","numeric-id":706512,"id":"Q706512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$3679D530-D83D-4928-A3DA-E7198FEF174D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9184fc6b19b5c5f0fa5f9820f51ce1e25471d3c5","datavalue":{"value":{"entity-type":"item","numeric-id":851128,"id":"Q851128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$9D8D8C1F-1984-4FF0-BC6E-6A094C01767D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e1d230555751f2736e215479954de0da014773","datavalue":{"value":{"entity-type":"item","numeric-id":2844823,"id":"Q2844823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$C8AC929F-9D5A-4DB1-9CFE-8192FDA1C323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de6837c1039b580a2b129c1e17dd7bde403e279","datavalue":{"value":{"entity-type":"item","numeric-id":1293891,"id":"Q1293891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$1375FECF-2692-44CD-9A6B-450C7A03B64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$6F1CA957-C497-457D-B255-A480B4524CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e8700434177609e5f649d1f5a0b31b34ec0771","datavalue":{"value":{"entity-type":"item","numeric-id":3055747,"id":"Q3055747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$1B7CF4E5-C0DC-4CD7-BD6A-F8F88E43857C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18fbdca55ec35d67a606d8ed57d85e98a2c47039","datavalue":{"value":{"entity-type":"item","numeric-id":4503827,"id":"Q4503827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$0022AC55-8C10-48CC-9562-CF7DBCC48D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f404e88145076a43f26a4aff438db1058e55c891","datavalue":{"value":{"entity-type":"item","numeric-id":2296290,"id":"Q2296290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$5978F9B4-E6F6-4539-8194-3279A78EB62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65cf27cb319b50deacb73df4d115e078e49367","datavalue":{"value":{"entity-type":"item","numeric-id":2007732,"id":"Q2007732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$AB128564-5F5B-4FB5-AA95-00F872886F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f86b973e3b901484f98039b484118a2d2770aaf6","datavalue":{"value":{"entity-type":"item","numeric-id":1708268,"id":"Q1708268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$B4C28371-8E93-44EE-8046-3F85BC23B7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a0dde032130419ec6d0ec24af95d9215a95fb3f","datavalue":{"value":{"entity-type":"item","numeric-id":2043817,"id":"Q2043817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$ADC76922-C0AA-42EE-9EB4-A53FB6E3B4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ea00f9571a2f3eb35a08ae82329dd711da0dc8b","datavalue":{"value":{"entity-type":"item","numeric-id":2814613,"id":"Q2814613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$B74B6DCA-D1F3-47FE-93BB-504B1F74AC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d527d6fed602b2c183f15fe9fbdc76f45659a2","datavalue":{"value":{"entity-type":"item","numeric-id":6134265,"id":"Q6134265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$1A0A703B-121A-424D-B1EC-B6B4D31851F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5981e1168811f3b1a276d506216532fa05a55595","datavalue":{"value":{"entity-type":"item","numeric-id":3179407,"id":"Q3179407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$3F97CCAE-1652-4950-B600-292EEE1528DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$4CAD16A5-AFA9-4DED-B53E-444189CC8B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b441dd0710fe42108f247bc0567dc27fd863143","datavalue":{"value":{"entity-type":"item","numeric-id":844885,"id":"Q844885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$C7ECA82D-9C2A-4976-A2D4-18F4F430D51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fb67831048f0d62fe4d449fdd58a69df2892fe","datavalue":{"value":{"entity-type":"item","numeric-id":5505599,"id":"Q5505599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$357C6CC5-1E09-4989-B180-B1C29502D379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$AA09975B-F693-4D9D-8E92-805ACA86EC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$79841D8E-9E5D-4067-A23A-F435F31768D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b9d9579952d5cb20c7eee1e484c5ede7b57668","datavalue":{"value":{"entity-type":"item","numeric-id":72343,"id":"Q72343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$D9719BCC-1382-47EA-AC67-BCE689D3EF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bab9703cb758abcf8ef0a22f113fb1414f37379","datavalue":{"value":{"entity-type":"item","numeric-id":363506,"id":"Q363506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$937AE664-D54D-4193-B147-7EE60344D921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e33dfc3b8caf9b96189559f156346019e8aaa06","datavalue":{"value":{"entity-type":"item","numeric-id":2391532,"id":"Q2391532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$A7634220-4402-4BCB-90C7-540BC1BE5AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96c2e9ebbbe1b7bb67ea1bfc119b8600958f61a4","datavalue":{"value":{"entity-type":"item","numeric-id":495951,"id":"Q495951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$0EB5B3B6-2FE4-42C3-B52A-A4EC9A8905A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$78441FAC-5B4F-4A62-8A30-381FB91AA408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db45f234f354c516e6967660fb11814401792350","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$EA28F58A-0594-479F-A930-049073EC0640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d5526333ecce1996660037c310a447acb45cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5098720,"id":"Q5098720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$5FE1F31E-432E-495E-AF4D-87BB5DBD5507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263b81d6f82aa7bc5c419ca585e86c9e4182e475","datavalue":{"value":{"entity-type":"item","numeric-id":1019016,"id":"Q1019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$661D9526-E612-42D9-8DD9-A0DD5316B952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e409dc90be3ac477fe6716dacfbfa2076424e0","datavalue":{"value":{"entity-type":"item","numeric-id":1941892,"id":"Q1941892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$6A533BC2-C519-4C97-A215-655C3EB73F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f1ad4b40a1ed84915c92b94deaf9818e8cbe27","datavalue":{"value":{"entity-type":"item","numeric-id":2814614,"id":"Q2814614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$3D48084A-BA9D-400C-8FA3-DD59E05466D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fc312e4b4cd78e48e31385049e6d28eaff6c00","datavalue":{"value":{"entity-type":"item","numeric-id":1757156,"id":"Q1757156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$C48352FF-8C0F-4DAC-BD3C-9F63B6FA2B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd17851d326fa281c196f11a85463e5ab80fd1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5098727,"id":"Q5098727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$8D1F9FDF-35E7-42B1-BA51-E74C7E00B751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"555c47ee53a1161cdab77210bb68822d53f6a746","datavalue":{"value":{"entity-type":"item","numeric-id":3680259,"id":"Q3680259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$7ADBD463-DCC9-457E-8676-1FAC06746F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$06DE105E-81DD-4653-8F7C-A4C7A32EAA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ea564efc740124803ad16ff2c7c525657a956f","datavalue":{"value":{"entity-type":"item","numeric-id":2640348,"id":"Q2640348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$5591C078-CABF-4F2A-873D-273163466E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ce33e7b79de385c7b6906025ca480ceb20c474","datavalue":{"value":{"entity-type":"item","numeric-id":826053,"id":"Q826053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$13597F02-306A-4FEB-8AFD-831FC2C63A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc019e2b4d5136976181164b24b3484dcfaaead6","datavalue":{"value":{"entity-type":"item","numeric-id":4808845,"id":"Q4808845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$5365BFFE-31CC-4524-88AB-8FF3D67EA743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004b6322713c93ba5975d66d08cf938b57dc11ff","datavalue":{"value":{"entity-type":"item","numeric-id":2432218,"id":"Q2432218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$FDCEEA03-1AFB-4B48-B3BC-911F9EE21C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7055297a7b50a57f393bf91cddbacab39495edd","datavalue":{"value":{"entity-type":"item","numeric-id":4412559,"id":"Q4412559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$575CDB26-AC9D-4632-8B0F-1D10784BB263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef1d1a13abb1ab2aeef6c6a15e46cbbf6c406e64","datavalue":{"value":{"entity-type":"item","numeric-id":5709997,"id":"Q5709997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$D543724F-AA13-4E5B-9CCF-8D34627942EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db6b77d177b57901b9c572e4a2dea57eafcf214b","datavalue":{"value":{"entity-type":"item","numeric-id":3618837,"id":"Q3618837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$5913301E-6CE8-407D-97F7-DAEEB84D4B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd14956350606a4cb97c3e2a2e317ad14ee6c5d","datavalue":{"value":{"entity-type":"item","numeric-id":5713453,"id":"Q5713453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$7CBEFBD1-6414-424A-8DB4-603530614A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564322f7d7b049467bf08badc591b9bf7fbd100e","datavalue":{"value":{"entity-type":"item","numeric-id":4737797,"id":"Q4737797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$38F3052D-266D-4F5B-B501-83864116E665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9444e7f4f601cc10dfd450075e12bf702ead1b","datavalue":{"value":{"entity-type":"item","numeric-id":4737799,"id":"Q4737799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$3A226EA0-5EEA-4F31-A62D-59608807F6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab236aa23c38b0cc2b66ad3a0e5535813466543","datavalue":{"value":{"entity-type":"item","numeric-id":2296286,"id":"Q2296286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$FBFF83D0-CCA8-493A-9BED-394354298A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$6E15A775-434A-407E-B9AF-DB719B6202F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62f5283fad229cb4a2faf8324e19c587723671f2","datavalue":{"value":{"entity-type":"item","numeric-id":3585032,"id":"Q3585032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$2B6E7D2F-D36B-4715-993B-35DD9F8AACCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85e681da6eb9c803a28a957ee8fde8d57a8a6c7","datavalue":{"value":{"entity-type":"item","numeric-id":5029454,"id":"Q5029454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$ADB647BC-456E-4671-A948-EDDEDDE78EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0198e68f6dc9303aefc05c74bbadbddc5c16bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4472182,"id":"Q4472182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$490E8DCC-829E-4DFF-9A24-B17E9C5DB3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df24839d625a390053c16402f9628907f226566","datavalue":{"value":{"entity-type":"item","numeric-id":5901607,"id":"Q5901607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$4CF78EA4-D75A-482F-A2E0-565BD4A1F18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9500c52b82211c30e7e53c9ebce092e43e61718","datavalue":{"value":{"entity-type":"item","numeric-id":5716879,"id":"Q5716879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$197F9C86-4BF6-4827-8D13-FBD0812EA9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23a4f79d5a209fbc2d0b0773de40c58b9c966c61","datavalue":{"value":{"entity-type":"item","numeric-id":2971180,"id":"Q2971180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535825$FD71D01A-4F6F-41BD-824A-B9373E13E23A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c00d6b98765156e0ec29101db3b1772bc2b3dc0","datavalue":{"value":{"entity-type":"item","numeric-id":1019016,"id":"Q1019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcd331028c3349ac5b9b37985179974f0d55e194","datavalue":{"value":{"amount":"+0.8415753841400146","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":"Q6535825$521597CA-D995-4FB8-A884-49A3E6515A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f6e05a9adc35b575782fa3dbc252f9c75f18d3","datavalue":{"value":{"entity-type":"item","numeric-id":3055747,"id":"Q3055747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13019e156eb47e53bdc03983fd7b6083d53b7dd1","datavalue":{"value":{"amount":"+0.8059936165809631","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":"Q6535825$DF55A0EC-2E1D-4A93-BC3F-6382CC617D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed37ac69fe647fd59558e80e317d7f099713676","datavalue":{"value":{"entity-type":"item","numeric-id":3585033,"id":"Q3585033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb379791a28132b484af305a16bad52be3b538d","datavalue":{"value":{"amount":"+0.8028860688209534","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":"Q6535825$F481084C-DA1E-4AE9-A043-0261B72255CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a73c88cae8fa0a228995f00f01a8b5461832bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1941892,"id":"Q1941892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec256beff2b683b85c8238fe8033f6fbd92d2b1","datavalue":{"value":{"amount":"+0.7973247170448303","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":"Q6535825$D52FF2B3-85CC-4AB7-9598-31771D361CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6db23d2ad35e7f6579e9dc67d88087dcc91726b","datavalue":{"value":{"entity-type":"item","numeric-id":2814613,"id":"Q2814613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a65905e7de1b8f80f9248d44f6f3c09e628d83d0","datavalue":{"value":{"amount":"+0.789374589920044","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":"Q6535825$75675471-4ADA-4D60-B8DB-6A2920296FC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535825","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535825"}}}}}