{"entities":{"Q2363814":{"pageid":2374557,"ns":120,"title":"Item:Q2363814","lastrevid":43946751,"modified":"2025-11-18T10:28:34Z","type":"item","id":"Q2363814","labels":{"en":{"language":"en","value":"Infinite-state invariant checking with IC3 and predicate abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6752218"}},"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":"Q2363814$4664866A-CA95-4DD8-AFB4-BE5B1F3FE806","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8fbab1b870e64bb029005df9a984fdc6e321d02","datavalue":{"value":{"text":"Infinite-state invariant checking with IC3 and predicate abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2363814$09456BCE-3EA2-4D4B-A05C-370B708F2D9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"826c4ea1c29de520f71aa4aa7aa46c9d3ee2d1b0","datavalue":{"value":"1368.68245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363814$FF50D240-1391-4C95-903C-45077BF4139E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$74B3F027-4151-4361-BB7F-CE0CA038BB0C","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":"Q2363814$E5F9FC41-D61F-4B1B-BE5F-F0C7B680248C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f362d073bbe8a8d138f2af9af0d2a06b61a58c","datavalue":{"value":{"entity-type":"item","numeric-id":479824,"id":"Q479824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$A7510005-2824-4656-9B22-4886B96BD9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a3a6d65cef09233c3157717e074297efd5d7a8","datavalue":{"value":{"entity-type":"item","numeric-id":479825,"id":"Q479825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$13BCA10F-E05E-41A1-AF6A-DF9E1C8A71A3","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":"Q2363814$AA97F93C-440E-4A58-A5B0-0153D9A6158A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88acc2f980fa4865c29a618cd3ee152842fc9da9","datavalue":{"value":{"time":"+2017-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2363814$7434F463-48CC-4369-A7E2-C8CDBFFF96FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363814$1B7587EC-C264-4C94-B655-846E2D5DE898","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93accedf0c82c6e77c8d9aedd49a399ef874a0cd","datavalue":{"value":"6752218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363814$C63C0FC8-8DFE-4F88-B7E9-0D4C1A39A53A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363814$DD26CE44-5E2C-4807-9684-D6B551264371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363814$FC6222F4-2630-4E37-B092-8FDDD52B4D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a122d9ad0bbbbdbf6445cb067f20e2a2142919cf","datavalue":{"value":"IC3","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363814$8BBAC677-9957-4AF6-8637-739DD4358AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363814$C584B717-8AE1-45DE-9C08-3F84D0B9CCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363814$6E851D54-9F88-4621-9FAD-8F4A01044EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39798fe92e7ff67ee0b4a7633c0b5df74d0f0950","datavalue":{"value":"inductive invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363814$E278692A-6104-4A3E-8664-3C31A574900F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"43016016b00b6bbf43efc2187442275e0e8237f3","datavalue":{"value":"Q62041091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363814$8245B5B3-96F3-49E5-8156-1E7D0C0A72BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33734e36764580044df2d1101af853dac96392fb","datavalue":{"value":{"entity-type":"item","numeric-id":21759,"id":"Q21759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$BD9BA999-E62F-424D-8507-9136AD5AE1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$782CB462-64F1-4C36-9367-9A6CF2CAFC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"18407fbdc0151f0b5ba9a01c199138cbfc2a4f45","datavalue":{"value":{"entity-type":"item","numeric-id":35083,"id":"Q35083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$1046F2B0-408B-4687-8699-0E36D138A2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4e1fe9e7e19a9673e889bcce0afc1d800822389","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$1E319C7E-E0E3-4D9F-9FCD-C4F2DA6AA6CC","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":"Q2363814$AA65CC6E-A3A4-478F-AB28-D183523C4922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c2e88c3e093f252840def020d846265cb56777f","datavalue":{"value":{"entity-type":"item","numeric-id":32840,"id":"Q32840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$94A0A10A-ED8B-4962-AA9D-5CCF5042B6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7c9f5eed0f349f139cff26a79e9b6872daabaf4","datavalue":{"value":{"entity-type":"item","numeric-id":32841,"id":"Q32841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$5F8E10F5-1144-48AE-AAB3-4AB37FAE35DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8410f136621df4e01ad7bbefcd83de21323b713d","datavalue":{"value":{"entity-type":"item","numeric-id":32842,"id":"Q32842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$FA17D9D9-1314-4264-A201-04E37C8A1869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b3325656006a29af2c68029f45509324b74c517","datavalue":{"value":{"entity-type":"item","numeric-id":32843,"id":"Q32843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$7C934B8D-2CE8-4733-84DF-90DA6D346E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$E144894D-D92A-4DB1-90D0-891E73CFC213","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":"Q2363814$424A6E65-D205-47FC-A4A0-209A56A98C7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df32645293b30fd8030964be4b9adc47326910b5","datavalue":{"value":"https://doi.org/10.1007/s10703-016-0257-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2363814$52106BE2-9A9B-4B8C-A254-AFEE143BA260","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b39afdf9c0cd7216fe4632dfb00150314c8dc4e3","datavalue":{"value":"W2522207775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363814$F514146B-66D1-412C-92B6-0B394D0E7ABD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"302fba4972f027bccf62618a4d6131134324ec74","datavalue":{"value":{"entity-type":"item","numeric-id":4472235,"id":"Q4472235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$0ECF25AA-AA94-4CBC-B81B-1277B8A5C24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd5e9b7224b44a5be727c6870f16a737b8c3625","datavalue":{"value":{"entity-type":"item","numeric-id":2769592,"id":"Q2769592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$75354067-41F4-44C4-B643-E061479BB8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48c2c388a22640ac9d5b19d2053fe4b933139852","datavalue":{"value":{"entity-type":"item","numeric-id":5172647,"id":"Q5172647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$043A3776-7624-49BF-B458-17A73D5AA953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$0BE9BA6A-15E0-47D7-A2C9-D055A8FFEEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$15A4424A-17A5-4062-9DB7-1CC03F8F1625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a721eea058e807770cf825065bd252a7ab7056d","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$8703B086-3973-41FE-A9FB-323BF937A75A","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":"Q2363814$9C85EC39-084A-4FCB-8D13-459D6B99C581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dac129a159e5019d1399be30aa2aedbb8b57223","datavalue":{"value":{"entity-type":"item","numeric-id":2946624,"id":"Q2946624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$B550E23F-6B8F-4BFC-8B41-EEEB55778675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf13bad04489d2d1715f98da876ead76a4a1200b","datavalue":{"value":{"entity-type":"item","numeric-id":5716541,"id":"Q5716541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$3E70C746-2AE1-4FD7-89EA-6CBD852AC39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$A414014B-B9E6-4D85-A283-0B8ED1C49D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$3EC28F8A-8019-4E51-82F1-97396C3E3ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$E84A230C-7FAB-4ADC-B808-0FD1DFF04BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7dd0892c14507a8ebfe27b348bce87a4fc4a48e","datavalue":{"value":{"entity-type":"item","numeric-id":1702932,"id":"Q1702932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$A563B7C4-BBE1-46CE-BE46-A91C8CF5C25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a88480fe65be056db65097d1e9220f806bbeb6","datavalue":{"value":{"entity-type":"item","numeric-id":4649395,"id":"Q4649395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$089D3C7E-FB13-47D8-9E6A-97ED8BA9C329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$327BB64F-6D72-429B-B55D-8DA640742F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363814$BC4978CC-4A44-45E9-9133-DB951B3969D3","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"85c6f2e496dcbda821833695feccd366e01da6d0","datavalue":{"value":"journals/fmsd/CimattiGMT16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363814$BB2068AC-478D-4E12-8677-30970271155F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"093cc6f8563acc12f19ac3ae4733c402f3a5a61e","datavalue":{"value":"10.1007/S10703-016-0257-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363814$29AB99A5-62EB-4F56-BD08-93D1033A4A2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f255c8930eb9a924b316e45efef096ffc92973b5","datavalue":{"value":{"entity-type":"item","numeric-id":2723916,"id":"Q2723916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9c52d214808c3b75211b898f37427a6d6c625a","datavalue":{"value":{"amount":"+0.91420466","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":"Q2363814$A78B6AFE-FA09-4999-B868-72DE7195C14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c895a9cbb43a2cba041157fda7dcbfc7f9f01f8","datavalue":{"value":{"entity-type":"item","numeric-id":4817540,"id":"Q4817540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adba72dea21c9edfb3c1b779de4c6aeb51dff91c","datavalue":{"value":{"amount":"+0.9026399","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":"Q2363814$BAAC94C6-FBC9-4F75-A0A6-32488446FE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d71ddcad81550a2a2bc3dd13db6e154775480a","datavalue":{"value":{"entity-type":"item","numeric-id":3085977,"id":"Q3085977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7cc35c8a32e363f84222ccaff9a17943c26a6f3","datavalue":{"value":{"amount":"+0.89937377","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":"Q2363814$09063190-6277-48BF-9F20-0A1106C357EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a1754e9f24f53d0ad889d0482f26317c0f3b22","datavalue":{"value":{"entity-type":"item","numeric-id":4501131,"id":"Q4501131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c793dedd0c316cdf4d97d8d7f040c495c1fe047","datavalue":{"value":{"amount":"+0.89746296","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":"Q2363814$6168FC3F-9BE3-4E28-BB53-A4E46D1433CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd2a65f285ff5bb36a7e52932f064893621b27f","datavalue":{"value":{"entity-type":"item","numeric-id":5476389,"id":"Q5476389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b119aba919d74dfaa000089d910decc07c186ea","datavalue":{"value":{"amount":"+0.89629793","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":"Q2363814$1DCB5654-60DB-4F2C-99BE-D2C1A8067065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0143549ab0739cdae5b91cd5d47e09062d0cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4939270,"id":"Q4939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c18760284b1dd2ca1d133a0757ea953539f1743","datavalue":{"value":{"amount":"+0.894156","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":"Q2363814$26B8529C-F595-46C0-89F7-DD7003693453","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":"42df462294322cd7e410dc112c38f747bffccec6","datavalue":{"value":{"amount":"+0.89239407","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":"Q2363814$5D3DC957-7338-4787-9D43-A1904CF6E86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb6768e94c7996322ce021fc09b34ca279a1730","datavalue":{"value":{"entity-type":"item","numeric-id":2958376,"id":"Q2958376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2b6c1018a5096f236a37db7c4c0351bfb92103","datavalue":{"value":{"amount":"+0.8903452","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":"Q2363814$39D6C196-CB8A-4CDA-B589-760EFAA3A5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb974bc2d605da6e61f3a345b56bfa334ee03d2","datavalue":{"value":{"entity-type":"item","numeric-id":3613348,"id":"Q3613348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7bdd6d05a476bf1899e2142d50a7009cf92fb2","datavalue":{"value":{"amount":"+0.890242","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":"Q2363814$60E83999-3A05-41A3-95F0-BC0C3603E5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5b43b408b2da4a683dba83631a428854b25f1e","datavalue":{"value":{"entity-type":"item","numeric-id":5491850,"id":"Q5491850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bbd9439f8c3fa58f496e8cfcce05a193de8d848","datavalue":{"value":{"amount":"+0.88927543","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":"Q2363814$79FF95AE-90F1-40D4-B7AA-6197F077F9A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2363814","badges":[]}}}}}