{"entities":{"Q6535946":{"pageid":14147089,"ns":120,"title":"Item:Q6535946","lastrevid":55604938,"modified":"2026-02-17T19:35:55Z","type":"item","id":"Q6535946","labels":{"en":{"language":"en","value":"Pegasus: a framework for sound continuous invariant generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817369"}},"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":"Q6535946$99B9BCCD-99B2-4719-8AA2-F3832787FC26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed611db6c7057a96603c7939523a0871dc1a8d47","datavalue":{"value":{"text":"Pegasus: a framework for sound continuous invariant generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535946$044C0618-BAF3-4FDC-901E-626D671E0957","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ff5e6bc53599cb5b2e5c7f6b883a3f7baa481b0","datavalue":{"value":"1539.68364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535946$BD59D66F-5D94-4129-92B8-AEC003F505E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc7f46dca5530a5f72624754456e8f5bec1f1c2b","datavalue":{"value":"10.1007/978-3-030-30942-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535946$86A2F414-9159-42D3-A2C8-6132278E72DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c266f039dc6060320eaa17f05328c86c3c95be0","datavalue":{"value":{"entity-type":"item","numeric-id":681338,"id":"Q681338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$D8E6493C-3D57-4E2D-9540-D0F2E742EA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b16426e16334f11344c5d2b57762ae4aeb39220a","datavalue":{"value":{"entity-type":"item","numeric-id":681464,"id":"Q681464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$3EE0583A-188C-4779-A57C-6930DD79805D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d8505fc68a1c1f3753cae6e600a747c5cc24257","datavalue":{"value":{"entity-type":"item","numeric-id":1799128,"id":"Q1799128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$27115DCC-F169-4B6F-AA34-C83CFB8941ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f30f11928671b4270500ff04b24a50b4f8b7866","datavalue":{"value":{"entity-type":"item","numeric-id":252484,"id":"Q252484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$9E711D8F-0F5A-4165-9C14-05FD3A0AACBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc654f17b8a10219c5683cabcebc6a770c6278e4","datavalue":{"value":{"entity-type":"item","numeric-id":681339,"id":"Q681339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$FEAEAB09-6619-4E4A-ACFC-774062F1D524","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535946$4B6B73DD-0515-4C26-B6AE-CDE2A74973F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535946$D7406B70-E53B-4B22-A092-19D7990F9877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535946$B04C3475-D87D-4C8A-9D19-A5BED781AEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cf19f414d003b599cb8555b9227d1a95bcc55a3","datavalue":{"value":"93C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535946$A5882B64-4C68-4B04-8076-247B42628623","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c1483d25dd9b265ea8ce95166a2333f451570e8","datavalue":{"value":"7817369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535946$8A270654-CAFE-404D-BE58-DF3502219C5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4824208d7bba949dd72987d32ffb13493eeb0e","datavalue":{"value":"invariant generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535946$BAF1D99A-0FAC-4B18-B40B-C92CEAB8B888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e9b118c01af656085e6c070811f6b73a3e847c7","datavalue":{"value":"continuous invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535946$3370891D-167B-444D-913D-13DB22510E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"993f9a496ecd5d3ee521ed2547719fb6af15d882","datavalue":{"value":"ordinary differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535946$FBBBB47B-C825-4FD5-BB9F-C88D9A79F699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535946$9F4A262F-55B8-46C3-BA10-E93D62B6BA0F","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":"Q6535946$CBD29956-1ADC-4DEB-979F-A29EDFE602AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4898c6271bc41ce77a9118a1243458fb3e5d6182","datavalue":{"value":{"entity-type":"item","numeric-id":4023101,"id":"Q4023101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$63C6287C-9009-4A8B-B162-3162A768F445","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":"Q6535946$C3BFDD09-ED8D-487C-AB16-63DD9BA47FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$27BE14D0-9CEC-4406-A5AF-FF923CC3ED0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7e5ea8b887807f5a5d06a897412368d42a81e7","datavalue":{"value":{"entity-type":"item","numeric-id":5245268,"id":"Q5245268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$CB39E530-E743-4476-A08D-FD1EEA7A42C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1fcf06ccee920490b3d66824e63f640f0869afd","datavalue":{"value":{"entity-type":"item","numeric-id":507352,"id":"Q507352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$C0D178CE-D1E3-4137-A3A1-17C9F3E3C40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ab69d5f3c976e9fb7df5565492dee9602e6b60","datavalue":{"value":{"entity-type":"item","numeric-id":1553295,"id":"Q1553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$F1619F49-072D-4C65-8326-A97093FC1EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deca8e7cc2cdbbb92d4c53af7a05e4b98800b98c","datavalue":{"value":{"entity-type":"item","numeric-id":1687737,"id":"Q1687737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$10CFCB7A-9130-4010-B159-C3672C8E76A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89325b91413c3f79263a65cf9e0fd24d71fc02af","datavalue":{"value":{"entity-type":"item","numeric-id":3454120,"id":"Q3454120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$DAE4125A-8A78-45A4-98B0-1C090B98021D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f0f63012bd8a792f6bfe8c36d172c7ab45bdf7","datavalue":{"value":{"entity-type":"item","numeric-id":4682245,"id":"Q4682245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$F37F2591-D420-4EC0-A8DB-62E1897D9418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0d03d7de94a3f49357690e576b86d31855df35","datavalue":{"value":{"entity-type":"item","numeric-id":681340,"id":"Q681340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$A8CA3366-C946-45CE-9E4E-2A6AF7400FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65aeb240fe86ed1d1dc3bc4f2194cd78d52efacd","datavalue":{"value":{"entity-type":"item","numeric-id":2756510,"id":"Q2756510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$AEB54A90-3693-49B6-8290-B26662BA89FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb860ace0e36c82a8ecef7053057816d881aacc0","datavalue":{"value":{"entity-type":"item","numeric-id":3512493,"id":"Q3512493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$45460479-BC52-4C37-9CF3-24F76A84C6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b59558a363f3c3f17ba59b606affa1987e49f7","datavalue":{"value":{"entity-type":"item","numeric-id":1830453,"id":"Q1830453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$499921F7-E9AE-484E-A0EA-A8198955CA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fcad4de67a0b259d2e18b6ea1f1cf2651bec37d","datavalue":{"value":{"entity-type":"item","numeric-id":2986958,"id":"Q2986958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$41767086-A7F7-4B11-A092-17FFD0D367B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa517a2e0064dd419e463d97e75cba6dcf0fa801","datavalue":{"value":{"entity-type":"item","numeric-id":5275329,"id":"Q5275329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$F73213AB-4BD6-4D32-912C-C072782353C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017b08dbe8cbc692cacc21526128e74dcdf13be4","datavalue":{"value":{"entity-type":"item","numeric-id":2864837,"id":"Q2864837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$DD1BED6F-CB93-4AEE-86F2-D0EE8DDED2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fc00745ec3d767981805e52c2b6fd5aff5863e","datavalue":{"value":{"entity-type":"item","numeric-id":5945290,"id":"Q5945290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$8882E452-1C21-4F04-BA39-0EF117531E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9b352b10f19d804a8ff77cf9676c394ef8041f","datavalue":{"value":{"entity-type":"item","numeric-id":1725844,"id":"Q1725844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$3282396B-8356-432E-9B7D-E94814FF81F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88f141a44376a6ae077a292e7ff5e01bf869b9f","datavalue":{"value":{"entity-type":"item","numeric-id":1322770,"id":"Q1322770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$ECD1387C-3638-41CB-83F9-127112F9E159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31385ef3ca1eb53ed08bbfa48b8b91d2510acbaf","datavalue":{"value":{"entity-type":"item","numeric-id":4282674,"id":"Q4282674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$0A1E9CEB-352A-43CD-A74B-ED97BF388EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016a601abae689f4b07b54d96bdf8c9c703b4d29","datavalue":{"value":{"entity-type":"item","numeric-id":681465,"id":"Q681465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$F88B1271-28B0-48E4-AE27-DAAB377A358D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c347c60e13d160aa53a2f40cfef7b79c62c55cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$C6529BE2-D4E5-498B-A1D6-7C67BB0948EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d2f52869cc0cd76376bff818708073df94b6b5","datavalue":{"value":{"entity-type":"item","numeric-id":2986831,"id":"Q2986831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$D7B3F315-E20D-40AF-A9EC-4702F9B5C203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824389a8f5dc506b24b24fed3e3137a7680ea62a","datavalue":{"value":{"entity-type":"item","numeric-id":1039853,"id":"Q1039853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$E1635CF4-0B84-4446-88A1-D756967D7238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3fbc226d62731020dc0ca64fe7600f26430f11","datavalue":{"value":{"entity-type":"item","numeric-id":3541700,"id":"Q3541700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$603294AA-686D-4742-A419-48D675B2C39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3219ff8350953aed12855f50a7e04d28ff461e5","datavalue":{"value":{"entity-type":"item","numeric-id":5191121,"id":"Q5191121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$D603C217-2C18-46FE-8997-85E9E6C16037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee5dcfa4bed4983e23b945544634540279752e","datavalue":{"value":{"entity-type":"item","numeric-id":5145359,"id":"Q5145359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$3CB80E9C-684E-4858-A6D9-55CB51581555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad41628e5c514648aa3055d776621cc63b95ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$58E0A9A1-EC1F-4843-AE5B-E89ADCB126D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12760a7b2e52b82d517ac3b3a3918504370739fb","datavalue":{"value":{"entity-type":"item","numeric-id":3043267,"id":"Q3043267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$43698348-79CD-46A7-A5AE-7A8B4CA8C101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"699ad164ec8c5948d3b55b5fd743986f0980e520","datavalue":{"value":{"entity-type":"item","numeric-id":2355695,"id":"Q2355695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$68874A19-CF2A-45C6-A1F5-5DA34321D134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b076775e93ecdd73dc06b7525c703ab85bf61f","datavalue":{"value":{"entity-type":"item","numeric-id":4011324,"id":"Q4011324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$D5F8F219-263A-4693-A6AF-73B1D7B764D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5334e67e9482e264bdd65149cb10cc8102a06b12","datavalue":{"value":{"entity-type":"item","numeric-id":5703954,"id":"Q5703954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$723A3D96-91EF-4F22-A6FD-64AB4714FBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138fcb6fd568edb6ff654ce8adf61403d41b55de","datavalue":{"value":{"entity-type":"item","numeric-id":1240840,"id":"Q1240840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$880F0E16-30F7-4DA6-862C-6567BD662BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5f5be72e497e7af12af00dbd2ffb3207eba819","datavalue":{"value":{"entity-type":"item","numeric-id":5916266,"id":"Q5916266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$14D53761-9A9B-4E3F-BF45-B6E059EC4723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc29f24a6da7e3dd6b40a6898c801c4a04d893d","datavalue":{"value":{"entity-type":"item","numeric-id":4341368,"id":"Q4341368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$27BB5C4C-AF6C-4D32-A1FF-9E47D11E55EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97b423288db2cace6f38c3624e32868ede2ec55","datavalue":{"value":{"entity-type":"item","numeric-id":2985884,"id":"Q2985884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$B124FC8E-E639-4704-B264-98B53834129A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7a095c5324affb0457dc3c701ea0f2b468905a","datavalue":{"value":{"entity-type":"item","numeric-id":2475635,"id":"Q2475635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$FA1F573F-1412-4281-97B3-B0C0099DC46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c2b7fc33a475beafbd49feaf7bbfdd236aafd8","datavalue":{"value":{"entity-type":"item","numeric-id":1402734,"id":"Q1402734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$18276ED5-53EE-4302-8EEC-4EECF295FE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94e61b4ee982a3f2d9587f7f76245f34fa50d117","datavalue":{"value":{"entity-type":"item","numeric-id":2796055,"id":"Q2796055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$F881B35B-A63E-4B70-85EC-7FA3CDAE7AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2f54ebc2c78782209de3b57bb281b1445e958c","datavalue":{"value":{"entity-type":"item","numeric-id":2024361,"id":"Q2024361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$3F4BAD71-1B28-4D3E-A102-D873E488B293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e91b777c2cab7fa4ae0ce2dd6016ae3ee552f10","datavalue":{"value":{"entity-type":"item","numeric-id":5254190,"id":"Q5254190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$B30F00B0-A009-43E2-B747-BCA5560D8992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a04350dc9480fc2452390fba22cda7f487634a","datavalue":{"value":{"entity-type":"item","numeric-id":4418865,"id":"Q4418865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$D3DD3C32-3C38-4C0D-9FFC-91A792D7F0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e581de2eab09c924ee255779128b4867065bcb9","datavalue":{"value":{"entity-type":"item","numeric-id":2475634,"id":"Q2475634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$577A91DE-E133-430F-A595-C24A4B75654B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9195c7bccf6268cd3d0f3a81790a3bb795e0fdad","datavalue":{"value":{"entity-type":"item","numeric-id":3523152,"id":"Q3523152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$455B5395-148D-402D-B387-7C2519FC7EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe51e8ca511a5bb5ee4c175e518b6004a41de45","datavalue":{"value":{"entity-type":"item","numeric-id":4736610,"id":"Q4736610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$54FDA622-0D38-4EEB-B557-9F6F9E67C8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7854915e8b14bf5eeae37a963b18599756769746","datavalue":{"value":{"entity-type":"item","numeric-id":5307955,"id":"Q5307955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$9AA4A4BA-E970-401E-9DE2-BBFB6B639E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68cbacb60d35dbbb3c8a2da4db65e98f0f2f0898","datavalue":{"value":{"entity-type":"item","numeric-id":2848690,"id":"Q2848690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$C0800B26-418C-485A-AE0D-63EF6192792C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8337f90ab6df03507b612b9b2f5b9956dc9653","datavalue":{"value":{"entity-type":"item","numeric-id":2281664,"id":"Q2281664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$1A2DD77B-D231-47EA-B211-963FB370AD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0548d51b5bac6218ba1e1c8f5213cd20c1f81c7","datavalue":{"value":{"entity-type":"item","numeric-id":1337677,"id":"Q1337677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535946$986F2C32-8442-40F8-9DE0-2C07EF1014E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09463a55b7ae011712e0f06b25a30ada2a1ee236","datavalue":{"value":{"entity-type":"item","numeric-id":2147687,"id":"Q2147687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89389515e0dd81e4c06fae4a9920c1ccf7d41fef","datavalue":{"value":{"amount":"+0.9917188286781312","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":"Q6535946$18906C2A-D9CF-4457-936A-FE2B991F27BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5422a47269105e4fce33fc04a22edc8c6eb50e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2796055,"id":"Q2796055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f90866525ca1f56651bdc8d5525cc0160091bbe","datavalue":{"value":{"amount":"+0.7267601490020752","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":"Q6535946$3D7BC370-EEE5-4BE7-B862-F56B9787D100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c0c4130686fe685b67c7fc9112cd1c50c5de811","datavalue":{"value":{"entity-type":"item","numeric-id":2986749,"id":"Q2986749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd8f14eb93cbfa817e5f44953447e00cb01327df","datavalue":{"value":{"amount":"+0.7193270325660706","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":"Q6535946$CDEE12C8-6F06-43C4-88EB-96676D014C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22f2f528629b828577d9f109bdefe9f9e3855f8","datavalue":{"value":{"entity-type":"item","numeric-id":1687737,"id":"Q1687737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1617f10a4a1a9dc9a94023fe57ad8f7cc2296dd3","datavalue":{"value":{"amount":"+0.7088645100593567","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":"Q6535946$7655132E-ED73-4DAC-BDC0-09AF9A31B051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83fcc2c23dc69d83195cd4f74e72f83eaf6dc9e5","datavalue":{"value":{"entity-type":"item","numeric-id":2920146,"id":"Q2920146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8048b681e712d12475c1544f9149b805d9cee7e2","datavalue":{"value":{"amount":"+0.7037095427513123","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":"Q6535946$649A6081-C86F-424E-9698-E63571F7329B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535946"}}}}}