{"entities":{"Q479837":{"pageid":481604,"ns":120,"title":"Item:Q479837","lastrevid":57213750,"modified":"2026-03-27T12:07:33Z","type":"item","id":"Q479837","labels":{"en":{"language":"en","value":"Deciding floating-point logic with abstract conflict driven clause learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377624"}},"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":"Q479837$925B2B71-508C-487F-855F-3BD71CB50306","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bfbf49bbfc378ba5bd684c5a018e28a721a63e3","datavalue":{"value":{"text":"Deciding floating-point logic with abstract conflict driven clause learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q479837$6181AB52-DDB8-4BE5-B891-C4469CCAE9DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"782eb7a498a019bf678ebe3c3e86871f74a92786","datavalue":{"value":"1317.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479837$F9EC48B0-8E0C-4F3A-8D66-BD422958EE21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9ecefe21c6ae876627103481238d3a51a19d6a6","datavalue":{"value":{"entity-type":"item","numeric-id":479833,"id":"Q479833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$82683233-6A77-4A41-8645-E55882B344EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14a0eb23269ec1fc8704436b597276cf095d31ae","datavalue":{"value":{"entity-type":"item","numeric-id":479834,"id":"Q479834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$0687EF42-1BFB-43B0-A2CB-D32982A74749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97e7d65eece04188cb1a1dff66ddc09c38fbea4","datavalue":{"value":{"entity-type":"item","numeric-id":479835,"id":"Q479835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$C664C87E-A329-4250-B321-3CD60FD25D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3f434bb92565e5cf6d2b60aac0245f4a58be6b3","datavalue":{"value":{"entity-type":"item","numeric-id":479836,"id":"Q479836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$FCC41E31-5CA1-4AFC-921B-5ACA479AA70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$3E390F7D-BE32-4D7D-A94E-28E20408776A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$5B7FF73A-855D-44BA-A9C2-B51D5D08D0E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q479837$36FA8ABF-B87A-4848-AAA5-131F3C9D24DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479837$2502889D-271C-4F39-A5DC-FF91D84E76E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479837$21513303-6F68-4A3D-BC80-4E35AEA83B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479837$2BB2406C-F31B-4C7E-989C-4ABFDE6A97AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3ae5981033d541f00aaa6ccaa84b18837d874f8","datavalue":{"value":"6377624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479837$EB37C1AE-1165-4B17-90E6-FAFA3AF6C70C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q479837$F6C1A23E-53FF-454C-97C0-6B808F8EDDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1cc25000060175331102742147bb07ee4e969c5","datavalue":{"value":"floating-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q479837$C2F076D3-6BAC-4824-BE18-E54FD14DA72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q479837$8943B9D1-86E0-4B66-A787-125221D6BB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q479837$97F4DBF4-485F-424D-A406-F412A8DD2B7D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6c5bf9b768fae30450e2f9e9424d84eb82868d29","datavalue":{"value":"Q59395541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479837$3216DB94-071E-4690-80A7-E5970BC08E7E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38bea4297d9f2f2e9764919709eca5e372065699","datavalue":{"value":{"entity-type":"item","numeric-id":12818,"id":"Q12818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$F9EAA9AC-6E0F-4146-85D5-E0576D046226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$164891D1-95DC-4F06-86A5-81143F6219D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$B6044D23-0369-440A-857F-7A4D60DCD76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$62416A56-4484-47BC-BE4F-D4893C7D4E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$65EB86BD-630C-4AC1-B3CE-4A773A66E899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$6A6EF989-9819-44D4-A44A-F1799BE0A58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b49d24dd527b7d568ea1deeecc25ee859c8be5a0","datavalue":{"value":{"entity-type":"item","numeric-id":38022,"id":"Q38022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$CD20A751-C11B-41F9-933F-B2498889290E","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":"Q479837$F94F22C5-029A-4EBF-9B79-CFBA57C67BB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e455889ef100629590e63f2cae51db081f53e64a","datavalue":{"value":"https://doi.org/10.1007/s10703-013-0203-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q479837$014FB92C-6B72-4C74-B693-DD83812E1BF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"947beb7aaff8565b4e2d918777b3d1e6eae0d071","datavalue":{"value":"W2127145687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479837$D1BE24DA-5818-4FC6-852F-550A89C216A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a13266ef688161489e5f79e85ce047d641f6ba","datavalue":{"value":{"entity-type":"item","numeric-id":5747756,"id":"Q5747756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$22AAC7E3-14CF-4C65-8663-7D344C49B80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a37a8944fbf9376964ff5a76c4d0b4c01d3e590","datavalue":{"value":{"entity-type":"item","numeric-id":2643080,"id":"Q2643080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$21D86361-E9EC-4A62-910C-0B89150F8F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bd97e9dec390545916db4e89e737371beca26b","datavalue":{"value":{"entity-type":"item","numeric-id":5387916,"id":"Q5387916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$20CF56A9-0E89-48E4-955F-3896E8487823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5aa2500d0c70656262ed562adb96f6d867b0913","datavalue":{"value":{"entity-type":"item","numeric-id":2926657,"id":"Q2926657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$A0373152-19A4-4C03-AE80-D679A338071A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b2ea38b665381800303c57dc354880f99086c4","datavalue":{"value":{"entity-type":"item","numeric-id":4930725,"id":"Q4930725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$0311E45E-A398-4864-9082-BE3544D8E04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f29a5684e7a61f7fe324fd8585f3da58269989","datavalue":{"value":{"entity-type":"item","numeric-id":3392932,"id":"Q3392932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$43E8B9F9-614A-4E85-A9D6-A39722DE7A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba531ba8be704aa74784d8ae5afc2c8aa4d8508","datavalue":{"value":{"entity-type":"item","numeric-id":3656879,"id":"Q3656879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$FF860753-8FBF-4B12-9217-02F409EFA3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$5DA52C32-5EF0-4F50-A15D-48C943F9403B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$3FB1202F-184B-4B6F-AC93-22EEF9AE13A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4695cbc8cd59305e55d74b7e093c5f61db18006d","datavalue":{"value":{"entity-type":"item","numeric-id":3588085,"id":"Q3588085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$E90CE532-C32E-4780-8DAC-ACB5E9144B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3527ffb2a53e53bf5a4104d55468d70942ed9c9c","datavalue":{"value":{"entity-type":"item","numeric-id":3000629,"id":"Q3000629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$9308975A-3A6E-4335-B624-B6BB58CAF905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2940d495eb2b669794d95ca8ddbb03437430e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4790659,"id":"Q4790659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$6CE269C5-6200-4BD0-BA91-F3CB0F5EF838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$83102578-739B-4FDC-8F35-16A1BB0615E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba462d720e88fed41cd67622766e9b4ebfeee44","datavalue":{"value":{"entity-type":"item","numeric-id":2894265,"id":"Q2894265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$C7F9083F-FF54-4849-874C-793D048EAA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d4a257ef82cf9bafad6ade7d2102f8d8d9ee6b","datavalue":{"value":{"entity-type":"item","numeric-id":2931790,"id":"Q2931790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$6D641F0A-D022-4A04-83E2-80BD3DC4C3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9c6a9c18369979213fbc387ac5168d5b2202a0","datavalue":{"value":{"entity-type":"item","numeric-id":5408412,"id":"Q5408412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$4EA66417-F496-4009-B315-1BE504A2C59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"586fae6e49225b59a9454fd3e5d7bea4f9f2b19c","datavalue":{"value":{"entity-type":"item","numeric-id":5308687,"id":"Q5308687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$8A32ADD9-6DFC-4BCB-A3DD-17F896265307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065a2d65834e8c8b57bdda41356587a32ad9b5c2","datavalue":{"value":{"entity-type":"item","numeric-id":5457277,"id":"Q5457277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$D77BEC49-F38B-4D08-B341-4656CBE20687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$EA585E89-0057-4D0C-A719-F9B0EFB167D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3b5b253ddc68e650f196e602807cd94d04e46d","datavalue":{"value":{"entity-type":"item","numeric-id":4778705,"id":"Q4778705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$D1B22A54-5A81-4A8F-81DB-A14B31AE2A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761a583f69cec4c5be8f04f0c50f6850fd320730","datavalue":{"value":{"entity-type":"item","numeric-id":5255063,"id":"Q5255063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$5036A96A-60A4-43D8-977D-8245A1C68103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d68ec78d4edd0f55a89c4f13aa4ff027cd9d15c","datavalue":{"value":{"entity-type":"item","numeric-id":1870226,"id":"Q1870226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$AD519A5D-D6A5-4063-B5EC-222CE73DA277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ef9008a9fa143fe20e12a5c9881d6597928911","datavalue":{"value":{"entity-type":"item","numeric-id":5200035,"id":"Q5200035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$93D13FD9-8DB5-4F18-BB5D-01DD7E485431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77121ca06023666fb3b31fe1611bc7b34ff56df","datavalue":{"value":{"entity-type":"item","numeric-id":2908506,"id":"Q2908506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$9CED1D82-2969-423C-A741-50DC5D64B8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6230eb5099e27c7ab57f995d507233f844638ee","datavalue":{"value":{"entity-type":"item","numeric-id":2754053,"id":"Q2754053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$65947120-54E2-4651-82F7-DF8FEBD76B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf127aacc48403a7b3907e5c9de96f1a874f90aa","datavalue":{"value":{"entity-type":"item","numeric-id":3636877,"id":"Q3636877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$3B46C1E4-642A-40A9-9222-9972512E0843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509a43eb44a5715da8f270c1c80bdc0c926c6f04","datavalue":{"value":{"entity-type":"item","numeric-id":714617,"id":"Q714617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$91065C4D-C49E-424A-A013-DCF370CE5DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e432da12fdfecfe2d24610c74125b32daaad566e","datavalue":{"value":{"entity-type":"item","numeric-id":4475657,"id":"Q4475657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$9A7FE13E-1686-474A-ACD2-E431CCF51026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79f794cb0b04265fbc6f7edbeaedf1dc142dec9","datavalue":{"value":{"entity-type":"item","numeric-id":5308685,"id":"Q5308685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$F5C4EF43-57D8-406A-B167-1311A3CC81BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01a8c3a0d7ce18f786020fc1f392e5f28fae4d72","datavalue":{"value":{"entity-type":"item","numeric-id":5716559,"id":"Q5716559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$1F7527DB-454B-4D48-AADE-C23E7E259F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72f65644d666e389907b7173225cdf0065502fd","datavalue":{"value":{"entity-type":"item","numeric-id":4571480,"id":"Q4571480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$94BC7A25-56BB-4923-945E-E6CA7C7F5C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d077f7417b2812e541ae3d63f2b9abb351153146","datavalue":{"value":{"entity-type":"item","numeric-id":3629031,"id":"Q3629031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$B6F48244-114F-4CEF-8D91-3ABE186F3F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afefbaf137f83b64b00e4ef48cc98682850f21d5","datavalue":{"value":{"entity-type":"item","numeric-id":4230664,"id":"Q4230664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$F0E72FF1-B150-421F-898F-A820C9F20356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a5f7a5733c5c055c7ae800d6b62a4dd8dc24d53","datavalue":{"value":{"entity-type":"item","numeric-id":4904223,"id":"Q4904223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$60630D23-9DB3-43CE-9197-E7F3BE656F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$35F5A86C-53AB-40DC-8064-981061DE197A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e65a5b2382ea6f5bbd2362e90dd1a51579c33e1d","datavalue":{"value":"10.1007/S10703-013-0203-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479837$C173D1AC-4D3C-425C-A928-103F9235F1F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755db71bb67d723b2fd3cfbecc665c17abccc4d9","datavalue":{"value":{"entity-type":"item","numeric-id":4411956,"id":"Q4411956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee78a676d637bada13c73a10b41705861c763ef3","datavalue":{"value":{"amount":"+0.8495128","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":"Q479837$EA09C7FE-9E13-48E6-8C8D-CF242A4F7F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c0a7246e2ab8b654f1f1341fa182f57bb8f4f91","datavalue":{"value":{"entity-type":"item","numeric-id":2164244,"id":"Q2164244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171e3355af95cea532456ee2f26ab06cca868f26","datavalue":{"value":{"amount":"+0.82402265","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":"Q479837$AC5BC27E-1872-4D86-B526-117E4025EC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1e52ff3503169fff6ea55799525db57e03fb434","datavalue":{"value":{"entity-type":"item","numeric-id":6487299,"id":"Q6487299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5df94a2aa89780a09fca3660e8ea292e7e8db8e","datavalue":{"value":{"amount":"+0.8236998","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":"Q479837$70176C8F-0970-4CC8-8AB7-D82C8A82D302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f43671425c9ffb7e12ccbe223ca5d6ada69902","datavalue":{"value":{"entity-type":"item","numeric-id":2806863,"id":"Q2806863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1893c6ff2b596d61e3c9e35a5fda559cbb94b50","datavalue":{"value":{"amount":"+0.8201169","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":"Q479837$FD0BE7C9-5F66-4407-9E93-ED3C0A1A6E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2518c21d720410e4f93988ea178553c975bccb","datavalue":{"value":{"entity-type":"item","numeric-id":682374,"id":"Q682374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"991899777dddec952ae37a2f55f8d52c1b9a3c2f","datavalue":{"value":{"amount":"+0.817138","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":"Q479837$406DBE0C-2447-411E-BA1C-E19B549E4842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b9d293ac5478cc5a6755478bb7b711683c7a01b","datavalue":{"value":{"entity-type":"item","numeric-id":2843342,"id":"Q2843342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dfbffc1c0c82f1ffc072044f40b0e3ca1b6b6c9","datavalue":{"value":{"amount":"+0.8132786","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":"Q479837$EAF520C9-BD2C-4EF1-9AE6-DEDD9FBF754E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a4c5d1b7ff4af78a4c65e8e9cd5545ab4b18bb2","datavalue":{"value":{"entity-type":"item","numeric-id":427560,"id":"Q427560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c59bb9d09a3d50a26eb479a100ec1b7756ac31e8","datavalue":{"value":{"amount":"+0.804522","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":"Q479837$EBC8E4E7-B1CA-46BF-99D3-C0A9612B98BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887925069d9615572d47c7b054d26f8f6ec28e24","datavalue":{"value":{"entity-type":"item","numeric-id":5758122,"id":"Q5758122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757baebbaa44eb2957100003947054478fb88c37","datavalue":{"value":{"amount":"+0.8043352","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":"Q479837$41DEAFED-1708-4C2F-ABB5-631054F6D333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b5ffac8228f96899facabdcd2995f7ed2829ca","datavalue":{"value":{"entity-type":"item","numeric-id":4738356,"id":"Q4738356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07caf58471caa485c1bf1ee300075ef592c7d36","datavalue":{"value":{"amount":"+0.8042903","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":"Q479837$5903B473-D159-4CF1-96A7-EAAC9D9D697E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"693844e8eae80a91abc67434d7d59fe9c34b67c5","datavalue":{"value":{"entity-type":"item","numeric-id":4011800,"id":"Q4011800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"767e860efb5c4886a8619c153de0b500362a41ee","datavalue":{"value":{"amount":"+0.8032284","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":"Q479837$1E241527-A767-46E0-B328-79259C16DD23","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479837$22C52CFC-6DBF-42B8-8F15-2527E2BEA324","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:479837","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:479837"}}}}}