{"entities":{"Q1663245":{"pageid":1673986,"ns":120,"title":"Item:Q1663245","lastrevid":43268974,"modified":"2025-07-23T07:49:53Z","type":"item","id":"Q1663245","labels":{"en":{"language":"en","value":"Formally verified algorithms for upper-bounding state space diameters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6921422"}},"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":"Q1663245$6BE18C0B-E7D1-49C2-9985-B2988A43C0C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faa61c2c3b62cc991f1f69c15ea8f6f235f3d2ef","datavalue":{"value":{"text":"Formally verified algorithms for upper-bounding state space diameters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1663245$8AAF5FE4-5648-4363-9A7F-DEF7DCD69783","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6fb66272f71047b93142944d0bd66d1d293d21e","datavalue":{"value":"1451.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663245$F5216D32-8F5A-49CF-A46B-DF6F94269E58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f0be3c33817dec30ca405b4332fb07d2bfa84bf","datavalue":{"value":{"entity-type":"item","numeric-id":1663243,"id":"Q1663243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$3F4C6F2B-935D-407F-B7B0-496537A308B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$AAB3170C-C014-4C56-B356-AAE67D12F154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4319e36f31697b465281f35e1782e26d5448bc5","datavalue":{"value":{"entity-type":"item","numeric-id":1663244,"id":"Q1663244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$EED20A1B-9E94-4860-B622-A94A0CA0AA95","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":"Q1663245$1F7B694F-E237-47C9-8C22-F72371131040","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dea8b353f71cbbb3b5cacc724847e34eb1031d7","datavalue":{"value":{"time":"+2018-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1663245$61E36453-3804-4BC8-A00D-FC1C51E7D4B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663245$F81A35E5-4CAB-42D7-88DA-030D30A975CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663245$6DDD178E-5DE7-4FDB-B37E-7DB3940D6DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663245$2A4C5D8A-1AA1-4D8D-A767-395A82F0B4BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c530476ae87a7b9de416c5b166a27f1682e8eb9c","datavalue":{"value":"6921422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663245$2655074E-30AE-4ABF-A024-6099B5AC40B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663245$16ED0359-96E7-42E4-9DCD-A828256149C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd227adb1378edbe90691dff18511cebed6b0036","datavalue":{"value":"diameter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663245$4007EAFB-F3ED-48CB-AC45-2D330612A0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663245$CDE3C40D-0371-41BC-B6FF-715DBE9C1624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91dd2ca4584d227c5490d0fcd9046c6cfcb28779","datavalue":{"value":"completeness threshold","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663245$8C625899-4DEF-4AAF-9BCB-C2527328C3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"350340194d3a3542925114977af17a6836e01c8e","datavalue":{"value":"AI planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663245$D1F168E7-5567-44EE-9791-00C97A8ABE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44035d8df6248a4abe88e2661a856f54252afa43","datavalue":{"value":"SAT-based planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663245$4026ED70-B974-47E2-9430-44378554E04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663245$C5196AAA-5B1B-436B-8E15-D73A699F1792","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$A21DEC0F-E061-40EF-891B-DBCCED851539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd1392891407fd9f11bfc5ced5f71a7f7a0fb2a6","datavalue":{"value":{"entity-type":"item","numeric-id":40261,"id":"Q40261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$F86A148D-4FDB-4342-A193-83000AB0DC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$2BEA24B9-E9AF-41EF-8502-FD99A27D7C9C","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":"Q1663245$2EF0E504-B899-4A13-AEC1-29DF620373A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0fac9fb5cfad6545c88cc8857964533dffc3ed17","datavalue":{"value":{"entity-type":"item","numeric-id":40544,"id":"Q40544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$C6659511-5F49-4309-BFD8-F2C46091E9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d668101f6ec8ba9deddd8d165379a7bb54a38625","datavalue":{"value":{"entity-type":"item","numeric-id":40948,"id":"Q40948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$6ADDC183-9B0F-416E-9187-982F1E4D09E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14b12f9eed27b20b4d0c60a11537d0587a1c9d03","datavalue":{"value":{"entity-type":"item","numeric-id":40964,"id":"Q40964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$F4C8D605-A15B-4790-B64F-70BE6762B172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7c500c34aae7ad0764902a8c33926ea860d29006","datavalue":{"value":{"entity-type":"item","numeric-id":40963,"id":"Q40963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$5403956E-F60A-45E2-86AF-A5264C91DE12","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":"Q1663245$491D2B05-63C2-46FC-84CA-4A8E583C9D95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c5f16663bca0f5039b7b2daf27784888a764ef0","datavalue":{"value":"https://doi.org/10.1007/s10817-018-9450-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1663245$EE5944DB-9971-4546-AD8B-25898413827E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3139effdec4be88743f368d84236d3fd3842e543","datavalue":{"value":"W2789258134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663245$77691273-8A49-4BDB-82F4-3753A3465EE2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b7f242d24937bbcdb000517db57a53a3e35f4c","datavalue":{"value":{"entity-type":"item","numeric-id":4575605,"id":"Q4575605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$D11E82BA-77C1-4FB0-A0BF-F7F2C03D44BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b27df12ff6a00266eec05f715c93535cf3934c","datavalue":{"value":{"entity-type":"item","numeric-id":2945619,"id":"Q2945619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$FEB59107-F82C-4A8E-ADA1-DBAD642D2504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1569f5530b9747eba4a828270bb888d9d63503e","datavalue":{"value":{"entity-type":"item","numeric-id":4268701,"id":"Q4268701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$33CE2B2D-0295-4F2B-990C-611DE2ADBD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232637b3c8b377b0f78e769b0e3efbafe2361935","datavalue":{"value":{"entity-type":"item","numeric-id":1356884,"id":"Q1356884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$21C91E12-9274-4A41-B40F-8A4FD2041001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42451d9b2f091244b010a7dc1fc6a0f53a57abc4","datavalue":{"value":{"entity-type":"item","numeric-id":4369883,"id":"Q4369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$38ACBB94-98A0-466E-8FA8-74A37F532DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344170b015e91f2c1e385af7eff20b912b356d9f","datavalue":{"value":{"entity-type":"item","numeric-id":4804893,"id":"Q4804893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$9D16811B-6038-40BA-9837-B672189062D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f788049477e6e5a97c1d807ad8078fbbdf3ea61","datavalue":{"value":{"entity-type":"item","numeric-id":4429693,"id":"Q4429693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$8A8FFDA9-733E-4EAE-BE04-7C44FBB9A4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b39464a78499f9fbbd00185efc04ba3627e5aee","datavalue":{"value":{"entity-type":"item","numeric-id":5466464,"id":"Q5466464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$F3ACD7B7-E6F8-4DD2-97BD-90C3E2001F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$8B175EC8-0141-4389-AD25-8456E7BB51B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7161ffdae4c47424f6ecfa93c5125d449e5f0b0","datavalue":{"value":{"entity-type":"item","numeric-id":2986792,"id":"Q2986792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$B8D51B62-067F-4F3C-B8DA-14360FC3BD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d28266d9d0f4737bf9de4002674aec5c329a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":3053160,"id":"Q3053160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$87D8004E-B9FD-4D69-93D7-560832E5471A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043eb9080e2ce38ad3dd772535a60cd52da9b3bf","datavalue":{"value":{"entity-type":"item","numeric-id":5384040,"id":"Q5384040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$F6C15497-BCB9-4B3A-9EDE-DF1BAC4B663D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76dac142148d9373fb7fa05bc34096c47eac3a75","datavalue":{"value":{"entity-type":"item","numeric-id":3475294,"id":"Q3475294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$9A1195E9-FEAB-4005-B522-3B1BA61453B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf64620cbaa189b5344c60d4e135d5b6d9b67869","datavalue":{"value":{"entity-type":"item","numeric-id":1775900,"id":"Q1775900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$877D3D09-F008-4931-BC27-829065AF94C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3347fbcc62f722664aa5f07cb6cc8b7de6173af","datavalue":{"value":{"entity-type":"item","numeric-id":906483,"id":"Q906483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$9EA58F47-0E68-436B-A194-C310AC55B603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89eadf0826f1705bdea50f97ab314e5ef7d3cc95","datavalue":{"value":{"entity-type":"item","numeric-id":612941,"id":"Q612941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$848D6AF9-AAFB-40BF-84AF-A4340A76E04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af38a80a15165de9447c68a451d21e2f1f1a1e4","datavalue":{"value":{"entity-type":"item","numeric-id":2938041,"id":"Q2938041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$511B887D-348F-4EF5-AEAC-D1966AEDF6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd76ee1d43d8351f82db815b5dfd273d51c2d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":1262322,"id":"Q1262322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$48307430-17A7-4604-B046-F7BF8A241850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c11585d6392da0604fd3c12d216689fdec031a","datavalue":{"value":{"entity-type":"item","numeric-id":453498,"id":"Q453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$7BD1EB43-F988-4D7F-BA54-556777F7CF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b5e9764238b84a89b6f90ca43e0cea49889b35","datavalue":{"value":{"entity-type":"item","numeric-id":2551696,"id":"Q2551696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$2C11E33C-5A11-4515-8E8A-F6B8AFCE386B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14acfe2f4f339610911d7bf217920bda5474651c","datavalue":{"value":{"entity-type":"item","numeric-id":4091447,"id":"Q4091447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$55741F94-8DB9-477B-BB4B-5C4CD23BCE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13bee5f0057389e1c16ac139c18b978a9fc1e0e6","datavalue":{"value":{"entity-type":"item","numeric-id":3624014,"id":"Q3624014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$60229248-CB8D-42FC-960F-69F80F642E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1af8abe41c9e8aff502622e419feb3df55654b","datavalue":{"value":{"entity-type":"item","numeric-id":1332851,"id":"Q1332851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$EBF0B31B-C690-48CE-B1A7-737A5F7ECBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacb907dd9697f1a762f9a4806c2c91d826f7e19","datavalue":{"value":{"entity-type":"item","numeric-id":2848683,"id":"Q2848683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$2DC964CB-BD1B-47F8-A3CF-0A8CCD915578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea922bc3cd3ddaaa42fe2bfaa5b81fa3391d5959","datavalue":{"value":{"entity-type":"item","numeric-id":3088266,"id":"Q3088266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$C8863AB6-6E73-4C8D-A866-00A1B2DC2568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87957d20676b341fc2d415efa4c896e75ab57ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4414397,"id":"Q4414397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$31E546F3-C228-4D1A-99B2-363F2F6273FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$0A944A14-F30A-4F4A-B7CF-119DBB644CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6baec46ea7a7f97c5e0dfc3ae1985ee3aaeb4b","datavalue":{"value":{"entity-type":"item","numeric-id":2396003,"id":"Q2396003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$950C0F22-2F18-453B-A703-C6AAB01080BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7653da84007c7a5f47e587934a232ab2e277182a","datavalue":{"value":{"entity-type":"item","numeric-id":3525136,"id":"Q3525136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$AA6823AE-11E9-41B9-820C-66BB21966937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9e23d06ba128e6f458cb69868b08cfef79af62","datavalue":{"value":{"entity-type":"item","numeric-id":1433224,"id":"Q1433224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$8FA3AC64-6BCC-4581-A4A0-BFDE60129CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"babd23140874eb5fae71cd5313ccbf026dbcbf25","datavalue":{"value":{"entity-type":"item","numeric-id":3454094,"id":"Q3454094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$6901C462-9BA3-43BB-A96D-4BB1EFCEBACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac267cefe4c0b3f2d90f4b0252d3226cf35ab665","datavalue":{"value":{"entity-type":"item","numeric-id":1854568,"id":"Q1854568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$FA60E64E-870C-4F2D-9124-88A016D796B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57971a1dc21b4998ecc5dbfd573eb38d79059318","datavalue":{"value":{"entity-type":"item","numeric-id":359984,"id":"Q359984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$530EBC63-B70E-47CA-84CD-92D2988C36A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4675fdb0e0708f4f0cc371668bf4c2847e859377","datavalue":{"value":{"entity-type":"item","numeric-id":5495822,"id":"Q5495822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$AC8E0DB4-D63D-4B47-AFE9-326CBB9AC297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4243a855a95d15dcc52f4675bed6925988c3cdd1","datavalue":{"value":{"entity-type":"item","numeric-id":3183543,"id":"Q3183543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$CC900AC3-5979-4D58-BF05-CAF796037BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$B6DDACC7-35D8-4123-926E-28EE6FA8D75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9681784022b86162db543dda6c6ef131035bebcd","datavalue":{"value":{"entity-type":"item","numeric-id":4020701,"id":"Q4020701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$57DE0834-7EC7-453A-8EED-8F6FDE66DF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce670ec1d34ee6c61f1437c968abe3b27423157","datavalue":{"value":{"entity-type":"item","numeric-id":3088018,"id":"Q3088018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663245$9C50FC4E-121C-4292-98CD-006C491B0AA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd48bdc7dfee2e09e5937f74e6690ffccaa3ea78","datavalue":{"value":"10.1007/S10817-018-9450-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663245$47851EEC-F632-4B82-8423-67BF5C6B1D27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a422cd9e465da40f4dad50100afd03c46d0850c4","datavalue":{"value":{"entity-type":"item","numeric-id":2945619,"id":"Q2945619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd9ce66c3576deb31de490f22011f9cd9e890380","datavalue":{"value":{"amount":"+0.864814","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":"Q1663245$8DAB8ADE-5D05-4973-BCD4-E8F6F374C6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1d892fafc997bf4e518fc8e8e79e6da6074ef5","datavalue":{"value":{"entity-type":"item","numeric-id":5703797,"id":"Q5703797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"161d5eeb91ada02d680cff3e7c6916d11a11f910","datavalue":{"value":{"amount":"+0.8625111","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":"Q1663245$DEFF5554-D229-42D3-9897-33401765430E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"498b348c822bf3cc8cca64913278d146aaa15c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3527279,"id":"Q3527279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"667205d6cfce90687c04ddabd2606b267fc4e68e","datavalue":{"value":{"amount":"+0.852326","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":"Q1663245$2DC18FAD-F0C4-4371-88B6-EA8D3E98F744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60551692e600e110ca5b90f3a1d772a55d43c8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5703763,"id":"Q5703763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c6a21402323ccc8f45e11a4a5a00042d02589b","datavalue":{"value":{"amount":"+0.8501694","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":"Q1663245$BC781396-BDA1-470B-8F70-E78E232A195D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab708b87e2154529b600539565947a2ae82c8e5","datavalue":{"value":{"entity-type":"item","numeric-id":5292626,"id":"Q5292626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c7378769e23776b57c34194a9be6acece320dfc","datavalue":{"value":{"amount":"+0.84965456","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":"Q1663245$E08B99BD-6196-44AE-AA31-4B523ECD9042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"269fc4ffe2d7be75f65e9d7f11669acad7784276","datavalue":{"value":{"entity-type":"item","numeric-id":4540483,"id":"Q4540483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffdaa617bd853b58011826999c343d1a8b40a12a","datavalue":{"value":{"amount":"+0.84625614","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":"Q1663245$9B22C866-4A87-459E-9CB6-D6311B2CFEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c728f909c4e661abf45de4d6d8c9c8a3995d64c6","datavalue":{"value":{"entity-type":"item","numeric-id":2757842,"id":"Q2757842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c675322eaefe89f66f56431964a351c912eeba","datavalue":{"value":{"amount":"+0.84400165","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":"Q1663245$B804DE46-0627-44AB-9C01-28369E630A5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1663245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1663245"}}}}}