{"entities":{"Q3176379":{"pageid":3187089,"ns":120,"title":"Item:Q3176379","lastrevid":86000534,"modified":"2026-06-03T13:17:53Z","type":"item","id":"Q3176379","labels":{"en":{"language":"en","value":"Model checking parameterized systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6908887"}},"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":"Q3176379$F1B965CF-208C-439D-B60D-47F27EC1DC78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43d1e635660309bed932ae88aca5f9e586ef2fa2","datavalue":{"value":{"text":"Model Checking Parameterized Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3176379$15396BC3-1D9E-47A1-A8EC-F5E795E53029","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f21d3982e5ff61b4c4da3df332dc096ebd50d5b8","datavalue":{"value":"1392.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176379$0F90B1E0-6F46-47A3-9BE9-0DACD633E39A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8be9e94bf8104ad515cf0d991e1b0ad03b766a14","datavalue":{"value":"10.1007/978-3-319-10575-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176379$37E64BFD-68F3-40FC-9EB8-96CD59A5E0A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c71d300b782446b6b37501a598b7cff0cbb855f6","datavalue":{"value":{"entity-type":"item","numeric-id":3176358,"id":"Q3176358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$D0E45AD6-3B8F-446E-9555-0729D47A6D97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14df3d82559b6ebe5d0cc96241f3d08d6077f97e","datavalue":{"value":{"time":"+2018-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3176379$0E81E08C-EA32-48C0-A40C-474EFE75061A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176379$48349846-5775-4F6A-8310-DC32682B71A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48dded89da7fe83193baca49cdc9e0d3a7c20a05","datavalue":{"value":"6908887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176379$17794982-7A8F-4AE3-B5D3-C7711D3348D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4028934a4dd64e17e4ebb205add2f2bc15767fdf","datavalue":{"value":{"entity-type":"item","numeric-id":42207,"id":"Q42207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$D1F09BC9-7864-4D67-AF7C-6007B2297B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$286DFBD0-18FF-4DA7-A2BD-116E0D956035","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":"Q3176379$E2B0A351-C6A9-4189-9C79-2065D47421E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae20d9ad7c2be5e6fe1bd1607401eac899cc756d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10575-8_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3176379$E7E45394-CE4D-4750-AB68-CF0F7C2F455D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2dcb1bad66d33d644603ae321b0e989b3d51a7f","datavalue":{"value":"W2803302060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176379$F2273E65-37FA-4A16-8D8F-13F21C6EB693","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a98dd6d97d70129a78995b432cf7ecbb251275","datavalue":{"value":{"entity-type":"item","numeric-id":5758139,"id":"Q5758139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$EF427013-D540-41EC-A1C2-DDAD55950FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9685be4042ed67a73d0b08e5d765a9ad207daad","datavalue":{"value":{"entity-type":"item","numeric-id":2926658,"id":"Q2926658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$E1C6151E-1A8D-4DA7-9AE9-D64892053D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9b87bed981aa39a2e700f5352c6dc58919d90b","datavalue":{"value":{"entity-type":"item","numeric-id":4484482,"id":"Q4484482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$5C44AE7E-5D91-425B-A5EE-376524037089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3572eecb00493319f4f0c2553a162a2ea97adf47","datavalue":{"value":{"entity-type":"item","numeric-id":5312912,"id":"Q5312912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$8CAA4FA8-661C-45B6-9103-3AFCA1B1DC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956690664b3e12f680b0245467bcc703a87c0ae1","datavalue":{"value":{"entity-type":"item","numeric-id":5311492,"id":"Q5311492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$E50E4BDB-BCE3-4268-9D9B-FF13C1E3F73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e69e66169d13b5dd46ddd7a696b7a8a0e7742685","datavalue":{"value":{"entity-type":"item","numeric-id":4551152,"id":"Q4551152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$69F86C5A-0EDB-4BA9-831E-672CEBCD22E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820fe8ac0b5e920640fc8959784100fdaecd5b92","datavalue":{"value":{"entity-type":"item","numeric-id":4737006,"id":"Q4737006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$041B652C-5616-4ADE-9455-A64EBD312F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3544400246a860140bdce611bfdec5ba399d5b1","datavalue":{"value":{"entity-type":"item","numeric-id":5899045,"id":"Q5899045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$4C52167C-4A79-4FFD-B9C9-4C68F574575E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2426859933ded65ecede93f0dda338fe32c6c26e","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$F029C345-5A83-4769-B8D9-34B0507CB4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97c71a218bbd7486ac5ef037a57f93071d21a80","datavalue":{"value":{"entity-type":"item","numeric-id":5900680,"id":"Q5900680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$385282EA-C5AA-4168-9137-DBA4CE174AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6c6d19c19f6597174701ff9246025ac485fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5308434,"id":"Q5308434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$0E64E2DF-24F0-47A4-9F07-29F321E3892E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"346e6666d6abf8f2ec43ac1a604dc5ba74efb51c","datavalue":{"value":{"entity-type":"item","numeric-id":2852015,"id":"Q2852015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$5E98D3E8-B953-4CBB-B3B8-648D0B989288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad980b0c427869fa135ec68b86e65c7071da1ca5","datavalue":{"value":{"entity-type":"item","numeric-id":5312914,"id":"Q5312914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$CB277B47-1AFD-4BAC-9AFA-EAB803A848C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e7bf1a2befbf6382dc3a90af6691254f7995bc","datavalue":{"value":{"entity-type":"item","numeric-id":4804924,"id":"Q4804924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$EC014660-AAC5-4AA9-A0B0-2C3E2506A522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ce10f2c105db58ec72d58d5665464175b07498","datavalue":{"value":{"entity-type":"item","numeric-id":921983,"id":"Q921983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$1129798E-24A8-4FAE-A0FA-1CB12EA59BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d67500ad267793e5f7155f89fc3f68edea9ebb","datavalue":{"value":{"entity-type":"item","numeric-id":5492994,"id":"Q5492994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$EC727A2F-D004-4384-81BF-E380E31E9DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f2f3e32b730a1afbfa6597f16ef5ef9f093f3c","datavalue":{"value":{"entity-type":"item","numeric-id":5898614,"id":"Q5898614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$79800F2E-4379-44DF-B525-3F2E6B130560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7228d911878a16429788a7e2e2b8ecaf57db22","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$3C0AB78D-9B1D-4C2B-BEA8-2587D82E5153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82889a8aaead4f7b83d3113f27cd04ae3da7df58","datavalue":{"value":{"entity-type":"item","numeric-id":2754073,"id":"Q2754073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$6819A251-FC5F-4C42-8D43-4B6A428A9B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55099664c2960104dfa739c0e9359324f560c9ba","datavalue":{"value":{"entity-type":"item","numeric-id":3584939,"id":"Q3584939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$A7F5338C-E576-4842-AECB-31FA431FA0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4acb92f5f977d91828d0f85575a2ecca384ade","datavalue":{"value":{"entity-type":"item","numeric-id":2723423,"id":"Q2723423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$364BA2CA-AFAF-4E39-A556-870B7F3DAD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ffb34a749312d4fd0afec92cccf7c98cc6cdc03","datavalue":{"value":{"entity-type":"item","numeric-id":5897071,"id":"Q5897071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$17D22259-EFD1-45BD-8B55-58E8796C7FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51c2da2c014cfa431e58ae6c8b9f43c46f565c3","datavalue":{"value":{"entity-type":"item","numeric-id":4417919,"id":"Q4417919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$4D17B912-03CB-4C40-8B85-F231FFC823A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$E938D104-CBD2-4F72-B2E3-0258BC8CD264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$4F27A895-860D-4B52-B721-E510524BA029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$E52FD154-793D-464D-B74E-FCFC5536793F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$FA54331B-2EC3-49E2-ABB2-966B1081E94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$6A8944AF-4DAF-4E6A-9969-30C7CC625CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca74c1b4b01eb5401c8b784be60efc1c72a7ed76","datavalue":{"value":{"entity-type":"item","numeric-id":5312894,"id":"Q5312894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$473F97A0-284C-493D-80FD-BC8419705597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79edf1b0816517e52312ed99658f13273c3bc91","datavalue":{"value":{"entity-type":"item","numeric-id":4766565,"id":"Q4766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$EE647147-E4CE-4DF9-9FAE-1B5380DCF9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad8de3639b16c92e9ce55a3dba9a1550e636a752","datavalue":{"value":{"entity-type":"item","numeric-id":5941103,"id":"Q5941103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$BA85FD5F-2307-4F78-A704-3F38A5BCF072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a13231c5436771017881886f6e208131b360db08","datavalue":{"value":{"entity-type":"item","numeric-id":4551161,"id":"Q4551161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$7A5DFE4F-72D3-4766-85C8-D9D6CB55F3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9806903ee6a63fd9ca0b7764a6a00685bb416e","datavalue":{"value":{"entity-type":"item","numeric-id":4494394,"id":"Q4494394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$976973D8-B5BD-4EEB-865E-E2E27E1B7D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1310abcb0bf6cdb448bbefe6a8a1991a31da0559","datavalue":{"value":{"entity-type":"item","numeric-id":4787228,"id":"Q4787228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$C728E879-A13A-4630-B8FA-811C1FAC8E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$DB310A9E-5E82-4B4D-8BCD-E64DDD66DB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97d0e39fff4eb32f474a84cfc3cf8ba9ad1d378","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$649EB685-0909-4C53-A195-52A33619BE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a25b33af710ac36bbea44160810ff142960b615","datavalue":{"value":{"entity-type":"item","numeric-id":4551131,"id":"Q4551131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$2883D277-0473-47BF-A486-C7788D3FADF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28466c4a3ee6ce0042114f971ef065f380db27e6","datavalue":{"value":{"entity-type":"item","numeric-id":1974479,"id":"Q1974479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$2C149634-8DEC-4DCE-8384-6432E84CBE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327cd46bf4b48e147be3bff1c9fea6e5ba45f94e","datavalue":{"value":{"entity-type":"item","numeric-id":1115609,"id":"Q1115609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$5A3C1EAA-5C9A-45FD-8582-E8F0B968F196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1dc1c2dae98a465e7350a6b9e72254be8ec580","datavalue":{"value":{"entity-type":"item","numeric-id":4921501,"id":"Q4921501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$1FD6DD61-EB2F-4CF8-B496-86207F5546D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3218103a201c3695933840931128e21f2e27af","datavalue":{"value":{"entity-type":"item","numeric-id":4414374,"id":"Q4414374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176379$9CEF251A-B4DB-4CF9-90C1-7C74070B6B70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cbaf1e979b491d7a6e5f7ade5d53365f7dd855","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c6b1aba8e3f86c33295cac5e9d2859d42c3043f","datavalue":{"value":{"amount":"+0.8634113073348999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3176379$242FAC56-D20B-4C6A-A5F3-119665A60357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95329cdf73e479f740d8d6b8b9cd8da8de3be4dc","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1c74e60d3a8f741fd6839a5ee022439f066d6d","datavalue":{"value":{"amount":"+0.8546566367149353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3176379$B6EE9DC9-8CE1-4346-BAA4-92CBBB49BD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e88d80e9074cfb0b5ba6a572c8ecfc53b22b379","datavalue":{"value":{"entity-type":"item","numeric-id":4414374,"id":"Q4414374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e38d85120798f7b12bc6026599427866f38569b","datavalue":{"value":{"amount":"+0.8382580876350403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3176379$362086A9-5666-4B46-BC18-A08AA07ED304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da28326d8fa0e5b206d3557bdcdab8bd1f6c8142","datavalue":{"value":{"entity-type":"item","numeric-id":2498278,"id":"Q2498278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e38d85120798f7b12bc6026599427866f38569b","datavalue":{"value":{"amount":"+0.8382580876350403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3176379$2D4E6208-2442-4E37-B98F-A80C83D225DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4334adc3bdc9cba5c11300bca11ac7499fb609e","datavalue":{"value":{"entity-type":"item","numeric-id":5899051,"id":"Q5899051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be9148966f6a630b60b832ea6bf36af02b33eed","datavalue":{"value":{"amount":"+0.8102214932441711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3176379$DDEBDCF2-9FC7-44C9-AB27-02CFA67DB973","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking parameterized systems","badges":[]}}}}}