{"entities":{"Q465680":{"pageid":467447,"ns":120,"title":"Item:Q465680","lastrevid":62099412,"modified":"2026-04-11T03:46:03Z","type":"item","id":"Q465680","labels":{"en":{"language":"en","value":"Linear temporal logic symbolic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6360998"}},"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":"Q465680$5C8C4B8F-35E0-40C1-8E6F-AD0598FB497D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1ce59e279c499b24993c8d5845adcd86255b8d9","datavalue":{"value":{"text":"Linear temporal logic symbolic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q465680$F8B27DF9-A55B-47B2-9A0C-8AD28DFBD8DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcd8b6b5204e77faf9ad2c184c605fdeb056bdaa","datavalue":{"value":"1298.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465680$4F28B765-BC97-40AD-803A-FB6AED41AB07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"15d894b479f971d2f519bcfe7ead0f8c44c5f151","datavalue":{"value":{"entity-type":"item","numeric-id":394965,"id":"Q394965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$886E1ECD-E3C9-4075-81D3-B27A5E8D5750","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9fb6627267bf5062177e95d53922b6e4db33a25","datavalue":{"value":{"time":"+2014-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q465680$C3E3798E-663A-4074-82C6-5A0868C63D50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465680$7D46E3B0-B1D3-4948-BE3A-D099C5E16444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465680$63B594F3-0810-405E-A32F-5ED8CE7F7575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465680$CFFFEF9A-6037-4176-929F-888FD8B26655","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc77cda1af8b95dbed9b3d65bc48fc1b35b8c033","datavalue":{"value":"6360998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465680$CBC8FB95-73C5-4BB4-B484-F63C56132126","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78d3c6259b58913a193d027f5d54d095c8f9d3ee","datavalue":{"value":"linear temporal logic (LTL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q465680$43F96B9B-3607-4E00-A218-11989A264FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c12ba11cfac9ec7bedad4d0c6d398517485b37a9","datavalue":{"value":"symbolic model checking (SMC)","type":"string"},"datatype":"string"},"type":"statement","id":"Q465680$ECE57BDE-F84B-4081-A50C-C1663DE25F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q465680$26E187F1-5407-4616-BE48-EF0CA77DED81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q465680$771D1F42-D168-4168-B999-CA006B720C77","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$CBA1C407-F599-4132-BC2E-491FA67C50D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$E5282139-5F66-46B9-B9D6-BCAC75AC3EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33280de7df3b0036beb2f773d6c63295d582e886","datavalue":{"value":{"entity-type":"item","numeric-id":55703,"id":"Q55703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$860B0EFC-E67A-4C2D-B836-2D1DF4469760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"552fb94da027a8fb9ad249dd880ff1062aea71b2","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$DD2E393A-CE42-4F33-9BD9-08DFFCB9FC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$A0DE7FD1-0BBC-41A6-8FE6-353CABC563AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$76EDCC6A-2324-45D8-A567-D549F2C060B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$70868C9F-4078-46FE-BD20-56872371C8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$BDF925E9-14AF-4284-8426-62B028FD3A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ad725596f99b531ed67c340f4e5db7fc66fe2c1","datavalue":{"value":{"entity-type":"item","numeric-id":19812,"id":"Q19812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$3A8AF4E2-1A37-4698-AC90-7D88B02856E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$2B21A6A0-9AAD-4CCC-8683-5ACF42BFFC2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63732236fa66d5c3f9fb2c4a703259d2ca600fe1","datavalue":{"value":{"entity-type":"item","numeric-id":1996029,"id":"Q1996029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$0A6B5AC4-3EDD-47DC-847F-E46FDD81CECE","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":"Q465680$0181C48E-0155-4DE8-BF66-700D22580814","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40604e187d910477fd19c87615a3d7a3a3282c80","datavalue":{"value":"https://doi.org/10.1016/j.cosrev.2010.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q465680$AE0132BB-7D14-4E05-86FA-78E1F05FF77F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92732a7255793f0218eee166d2ac8815b6edc9e2","datavalue":{"value":"W1965024948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465680$F2724866-5E03-4E3A-BE7A-EBDE5F244DD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$CC733AE5-9788-43AB-903C-5D2473C07ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bde52dc3971c9bf865b543a75be1a784b143973","datavalue":{"value":{"entity-type":"item","numeric-id":3512442,"id":"Q3512442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$5B8C7592-81F9-4EF6-9243-275E5273A075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6571f5e7b59314ce70c60fe99520c2ad4472991","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$99F42DE5-06D4-45C1-B9C3-DA15CE0A742C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31067e58485990e94b288d36b9237062670ad8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4356435,"id":"Q4356435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$2C6BB57A-F479-4518-B702-4EAC7768655E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$EC71AF63-1506-4118-8B96-B7EA67ADDE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64052bf66d4808ae98a3365915a7f430a9951822","datavalue":{"value":{"entity-type":"item","numeric-id":5899036,"id":"Q5899036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$F515AF33-29DF-4F9F-8074-CD53DB646EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f0618ab971b1402c4c34251dffc850ea86689a4","datavalue":{"value":{"entity-type":"item","numeric-id":1856168,"id":"Q1856168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$7AC129B3-5AA7-4343-936B-F2AA7393C12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$A780FD6B-CDDB-48A4-87F7-A5703E5885B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3bd2a89aeae9f01c497530d394e0c4804c2b95f","datavalue":{"value":{"entity-type":"item","numeric-id":3512430,"id":"Q3512430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$2275487D-7729-4F80-99BF-4532E9E6E848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec02d8b891c336785f7e10a18e41b4382dcbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$AB8160B4-2C8E-4D6A-97DE-6810A27CDB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$6E0233E2-E479-45FE-B93F-7E9904843FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de91ecb193514088bc3752dcf7515e5158d8d0a","datavalue":{"value":{"entity-type":"item","numeric-id":2754072,"id":"Q2754072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$F7C982D3-BAE4-49BA-B6AF-7602C03EC6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6d2db3368a3e599316e7e7ac61a76cea0dd8c2","datavalue":{"value":{"entity-type":"item","numeric-id":4531751,"id":"Q4531751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$AB07BCD9-1809-4B69-AFB0-7557E4DE1423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc23da1f5ae0defebb4f6201ea547b848f6d944","datavalue":{"value":{"entity-type":"item","numeric-id":5493225,"id":"Q5493225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$8310A199-94A7-48C5-82E8-513F20EC852B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ab5e692534b1639e5f85db12b52f440db93eca","datavalue":{"value":{"entity-type":"item","numeric-id":5491886,"id":"Q5491886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$DF84B8FC-7CCB-43E4-A7BA-2F90E165EA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e565e03b57304d91468b39467bde71d8811efce7","datavalue":{"value":{"entity-type":"item","numeric-id":2852018,"id":"Q2852018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$51C8455D-7D43-458C-92C6-E329BC60ED88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$06CD276E-155A-41E8-951A-0AC651B2923C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fef66f961724b2c109d231d90a6cd1704764e5","datavalue":{"value":{"entity-type":"item","numeric-id":5312938,"id":"Q5312938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$4594A5F8-B0A2-49BD-8FD1-43AB71CD7539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d346d8485da0bc889f787fa277d331b616d4df2","datavalue":{"value":{"entity-type":"item","numeric-id":4054648,"id":"Q4054648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$4E456369-0F7E-4579-ADA7-2F5B88A5015A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07116ceefeba08b4048eac03ce0bdd36a0c65f15","datavalue":{"value":{"entity-type":"item","numeric-id":1234163,"id":"Q1234163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$5106B19F-85B1-4CA6-98AE-0ACDB352EB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69663320dff635dbc00af9a11bf617c8af76c86","datavalue":{"value":{"entity-type":"item","numeric-id":3512439,"id":"Q3512439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$3AF3870E-0DE1-4CD5-990D-03714406E219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f30d092bd9392a273a20f47ef06ab4dc28e2f7","datavalue":{"value":{"entity-type":"item","numeric-id":1856161,"id":"Q1856161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$6E03638C-BBB2-4E8F-871E-BE3349B241B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$1539FEE9-8355-4C4D-A3BE-52209137618A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc75e886fbdf71be23e2431e3d1861376cec723","datavalue":{"value":{"entity-type":"item","numeric-id":2771059,"id":"Q2771059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$091D0CC7-89A4-4F77-B69E-251520428496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$0C0254D4-425F-4670-A64C-8B8DAC3EC51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$B1D9831E-BAD3-4695-853B-A0D432AB05D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$C4337C26-4907-4AEF-9F95-DAACF7D99705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$3ED0D02E-AE83-4F8A-981A-9749035E78B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$E1F105EC-66D6-4009-959A-3C369D9C40BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd17b0dd92a1f9a870b16332456a96405ff902be","datavalue":{"value":{"entity-type":"item","numeric-id":4936139,"id":"Q4936139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$5A5EFA13-2943-4C93-94C9-893EE57DBE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$5647D60D-F476-4175-8E4C-A3D3638C2C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$4D58FE52-5024-431E-BE4F-239D360E77E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6c65b0378ba4e575d0f710131146d59e647cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$BF383A5A-6A8C-44CD-AAAC-A6BD13323A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$F00FA05D-692B-4F6A-9DF9-B176FD08F85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$666761B4-5034-47D7-9DCC-3B97B474DF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$85D0411D-362B-4104-9C98-4DFF12579E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$5F02B8E1-E26A-4CC5-B384-534183FB7B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e23095c9e979a8ccbe1d8e5e4d4b937b8eb36cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4472249,"id":"Q4472249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$C8122CDD-4A31-41FD-BD2E-4FDDB528C19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e30b87f6e3f7618cfea7524c097e8adbdcbcd4","datavalue":{"value":{"entity-type":"item","numeric-id":4551164,"id":"Q4551164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$F92D031C-A73B-4C0D-9CB1-1AC91EC89842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a40e9609351ddf7ab20779de11d5fc480c8dfc6f","datavalue":{"value":{"entity-type":"item","numeric-id":5452203,"id":"Q5452203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$ABB17E4B-A370-40D6-BBFC-99EE7C1F0CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fea373b26b88ef839b5441e95e16ff3951b07134","datavalue":{"value":{"entity-type":"item","numeric-id":5756746,"id":"Q5756746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$57EDD4CB-866A-4B1E-AC22-9042170E6C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfead181c4df7b86f6e62184823b49dfa079ebaf","datavalue":{"value":{"entity-type":"item","numeric-id":1060013,"id":"Q1060013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$2899ACE1-7C96-4646-B9EF-AC294FCFB2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f13cbf57db59a7ee1ac7dbadb613173d3cb2ded","datavalue":{"value":{"entity-type":"item","numeric-id":5756614,"id":"Q5756614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$C557F23D-8DF7-4EE1-8273-D94B092E2BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85b13896b2a68b9bf78b69d462e062a7e049520","datavalue":{"value":{"entity-type":"item","numeric-id":5900691,"id":"Q5900691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$40D720C4-DA0E-4EFF-9300-DB583B8FC4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8763ab6490670c5d0c807dbcb006e32ee088a12","datavalue":{"value":{"entity-type":"item","numeric-id":5943261,"id":"Q5943261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$A8B12C16-D1F0-4CD2-9FF2-711469ED91C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9966dfc33823478b3f2a5be599bc819ede0f3ca","datavalue":{"value":{"entity-type":"item","numeric-id":5493227,"id":"Q5493227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$00E0B236-778C-4DBD-AF3E-8D85A5A17DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1372c25eacd52e889e17300f70d330595cb52ac9","datavalue":{"value":{"entity-type":"item","numeric-id":5308426,"id":"Q5308426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$8138F54E-3767-4209-8EFA-7DB2EEAA7F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3993e806173d08a1dbcafc4010d7b92ca0ee1b5b","datavalue":{"value":{"entity-type":"item","numeric-id":5492988,"id":"Q5492988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$5392BC92-1C49-4F13-9DD6-E5E42BB36D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f127373c97d01a6ac57c65f762fcc6d06ae7e0c1","datavalue":{"value":{"entity-type":"item","numeric-id":5312943,"id":"Q5312943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$AE393A26-06BA-4749-A035-EE2CE9A20F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b7b79e28ff98a0b9d365f342c980fd9d2e6540","datavalue":{"value":{"entity-type":"item","numeric-id":4804918,"id":"Q4804918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$6242A4BA-8245-46A9-B9F8-A996BF25E487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$A3201BDA-952E-4D9C-B344-64A70C54FE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$9CF69A14-D20C-41AB-BA4A-94A7F430873F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b1ca4463eaad5e2b392062cef8e5e6abde5678","datavalue":{"value":{"entity-type":"item","numeric-id":4493881,"id":"Q4493881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$B584D331-3F46-4C87-B459-D2B2A4D52A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d5214b688b20c085ca517a35ba494bf283ee476","datavalue":{"value":{"entity-type":"item","numeric-id":3698787,"id":"Q3698787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$86D19B9A-1B28-4453-87A9-F5C4C2583C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27eb369af74c81caf93446c2eac86f4939dec84","datavalue":{"value":{"entity-type":"item","numeric-id":4817549,"id":"Q4817549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$F70DA0A4-0E9B-4525-8B1C-49C899D118A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cd54413287e6e70989953202b0183dd784ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$00B36FF9-61ED-4726-975E-59CCCE9D52B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$056875B5-6391-41C8-863B-427F5F3A050F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257bde29cf31ef8d11489aceabb19d4387394d07","datavalue":{"value":{"entity-type":"item","numeric-id":4422087,"id":"Q4422087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$0AC4EC04-1672-49D3-9CFF-D50DA44CFFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79eec4b97bec28f5713ef898e819be0ee7fa02ca","datavalue":{"value":{"entity-type":"item","numeric-id":5897061,"id":"Q5897061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$D3887313-23AE-4C5B-A013-B94CA8B29939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9113a3a15124a3d57eaafa717e51f790c70464","datavalue":{"value":{"entity-type":"item","numeric-id":5387877,"id":"Q5387877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$88E0AF5C-62A6-4CF6-AD6C-71F3C14210B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$58923C1D-4473-48EA-9EF4-CBB6B1FE1D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$DD76E72D-8248-4950-AA39-19805B1F9274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36ac6979365566d2d1f66a4b1d6a274cf660dc","datavalue":{"value":{"entity-type":"item","numeric-id":4817542,"id":"Q4817542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$B6D5C9AF-454C-41CE-B669-8C15BE67FEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$3BB0782D-0C56-42D1-8540-80BD6C917C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c975b107162ac74a24f829c2f56a0100515128d","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$56A94617-00FA-4FD2-98B7-8CBF744F556A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$C758A498-0F28-42AE-9240-C5E962A0DA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$B109DA5E-133B-415F-9B72-3F064F82191E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e41e590ac256592516927020d2f60958d61dd6","datavalue":{"value":{"entity-type":"item","numeric-id":5758127,"id":"Q5758127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$CC3EE669-2C69-4894-A18F-0E1646F9AA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72133fa5aed061c3346d2e39c4b23aff7a408f87","datavalue":{"value":{"entity-type":"item","numeric-id":3617751,"id":"Q3617751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$1EBC78CD-D67C-422D-BC37-7F464E26BA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1cdfb5536a521f63363e276a66d5cafa5c7f9ba","datavalue":{"value":{"entity-type":"item","numeric-id":5628016,"id":"Q5628016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$A5C87160-0B26-44AF-89B0-DF3E75299ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0144faf3da4de6d410c51d8371e21d8e32667277","datavalue":{"value":{"entity-type":"item","numeric-id":4156322,"id":"Q4156322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$99ABEE5D-4679-4DBC-9812-1B2A70CA5681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67782435c81856906476d249cbb89a86efd5732","datavalue":{"value":{"entity-type":"item","numeric-id":4160379,"id":"Q4160379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$F5766723-CFF2-4028-ADC6-BDEFC795246C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$13E428DE-69D4-40F5-9054-9478221E3048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfd2fb261b1a3b9305d5a9c4173518c5b1c630e","datavalue":{"value":{"entity-type":"item","numeric-id":3992994,"id":"Q3992994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$630687B4-C65F-48F9-87C8-9F6E7060983F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$C6F0FC78-3C2F-46BF-9D53-E2A6BA725C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba87e09fe27f7c3ada130d82295101c384f15829","datavalue":{"value":{"entity-type":"item","numeric-id":1313758,"id":"Q1313758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$670EE4A8-EA6F-41CD-A694-6464E34A10FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$EAFBB952-4090-4C1A-9E9E-8E2C00000CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d9abcb7a573d4b1aa6994801b95dbbce1649ae","datavalue":{"value":{"entity-type":"item","numeric-id":5943260,"id":"Q5943260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$3240EA62-1143-456C-B5AC-9900F6DCB6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde643d6528b9759054a68d56fcebc030f48ef7e","datavalue":{"value":{"entity-type":"item","numeric-id":2505621,"id":"Q2505621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$32731E32-A71A-4B1A-A47E-280D977C3125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed70be6a574ecf9bb0b4c2fea55112b7dddb18a","datavalue":{"value":{"entity-type":"item","numeric-id":2771062,"id":"Q2771062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$F225A73E-3DDC-4B73-999F-A6998B9888FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34101ed4e8ce2c8bca9fc7197b2b3a43ba98e34d","datavalue":{"value":{"entity-type":"item","numeric-id":1854498,"id":"Q1854498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q465680$86BC7B50-54CD-4B48-9960-223C33EA3305","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc9473cc9c1640f9e467404e3bb87623557517a3","datavalue":{"value":"10.1016/J.COSREV.2010.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q465680$057CA966-3EE9-4BE8-8D2E-9C8FFDE32BE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"630b4af98aad2211a279975c207ec2f0ee35f1bc","datavalue":{"value":{"entity-type":"item","numeric-id":2851939,"id":"Q2851939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd756eec7697d56514419e3b8929c8d988216ff8","datavalue":{"value":{"amount":"+0.9596032","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":"Q465680$9BFF7C5F-BE9E-447B-A468-6ED82D287677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1883c23305d8a1b064ea2be02f161af8aa5e618e","datavalue":{"value":{"entity-type":"item","numeric-id":1192606,"id":"Q1192606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe8c9cf612ff7e684c7d833efeb01a1406c9dae","datavalue":{"value":{"amount":"+0.94752204","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":"Q465680$37CFEDD6-B2E4-4A8C-BA71-C23FF4229CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00b95d004babe029fc7c86265d8230bfd1bcded2","datavalue":{"value":{"entity-type":"item","numeric-id":3467865,"id":"Q3467865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6991a7c796c42ae146d8cb3ae8f089425c23c34e","datavalue":{"value":{"amount":"+0.93147534","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":"Q465680$616133C9-2CE4-444C-95CF-A0BEB2874AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a87a046cdd6433fa4ab705efde5155be30e15af2","datavalue":{"value":{"amount":"+0.9304706","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":"Q465680$75606B9A-37B6-49D7-BA9C-154E89F13EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7cc07acc3c63eff6297c5395fb439db604d030","datavalue":{"value":{"entity-type":"item","numeric-id":2900477,"id":"Q2900477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61bec8a7a42575474a5036fe6ebbeddd5876f93c","datavalue":{"value":{"amount":"+0.9269385","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":"Q465680$2478965E-9479-4B40-A073-F45EFB5714C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6b7498f5920637787f322928d176bdbab0ec91","datavalue":{"value":{"entity-type":"item","numeric-id":3461297,"id":"Q3461297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80a3f4a5c38ef64626d9c2d3335d917afc487e6e","datavalue":{"value":{"amount":"+0.9194147","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":"Q465680$E0EC267B-0A17-4883-AB75-6FE5FCE472F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2331247730812214a89c61f4db7268aeefac26d","datavalue":{"value":{"entity-type":"item","numeric-id":5464768,"id":"Q5464768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25846261e9d97b8b07aabf1f9711c4a1191abf41","datavalue":{"value":{"amount":"+0.9181","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":"Q465680$597CB0B6-88AC-4F44-ACF4-BD36185169B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d3bc1ffa738d36e0aa4671214ad8123b4ee3eb","datavalue":{"value":{"entity-type":"item","numeric-id":2769587,"id":"Q2769587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e610870bdbebb735c980c89858cd9921208238","datavalue":{"value":{"amount":"+0.9159432","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":"Q465680$B41344B3-7B87-4CC2-8A47-8995723D2AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db395c12c2ac42365f2e7cffab032a670a398c20","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e610870bdbebb735c980c89858cd9921208238","datavalue":{"value":{"amount":"+0.9159432","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":"Q465680$68DA8D16-50DC-45D2-9C6C-A8451B2733BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f86d43d8603d6277018cc9ebb1f716fc6cae0f","datavalue":{"value":{"entity-type":"item","numeric-id":3090866,"id":"Q3090866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80770a976e94db1c6eee1e01ea63e49dde70ab8","datavalue":{"value":{"amount":"+0.9159306","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":"Q465680$CDCC134C-A3C5-4B73-8658-3964E63D75EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear temporal logic symbolic model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_temporal_logic_symbolic_model_checking"}}}}}