{"entities":{"Q253980":{"pageid":255747,"ns":120,"title":"Item:Q253980","lastrevid":60348627,"modified":"2026-04-10T16:36:30Z","type":"item","id":"Q253980","labels":{"en":{"language":"en","value":"Parameterised verification for multi-agent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6551553"}},"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":"Q253980$1E17F95B-639A-458F-B208-A3553E9E61B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed43dc136fa419ccd97ec30cb9e01fd297eb9800","datavalue":{"value":{"text":"Parameterised verification for multi-agent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q253980$7E26B6CA-D1C0-4D68-946A-C6B62199207C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb7f631dcb41fa463cb6cda030f7761dfec0701a","datavalue":{"value":"1351.68294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q253980$2E4E3662-FF9E-4B05-ACC7-FB49B4EE3BA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$9AC96181-3045-4657-A015-0FC826D6078B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d64657497f836ca9759a26855d3a3e0d86319c6","datavalue":{"value":{"time":"+2016-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q253980$09093426-9353-4428-B6F4-69F92077C302","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q253980$385EF5FB-2D5D-4860-B3ED-1C235B87BE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q253980$BFD3E349-B92F-4543-9C54-F2052AFE56A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95954b46c0a5b358d16769f49f9d8c0ab096ac9b","datavalue":{"value":"6551553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q253980$DA47DC97-6403-43DF-8C77-FA9552B2D280","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q253980$C9107557-3DEC-46CB-90CD-D702D2928267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f5cd91049aafbb7429741190c883a73bd6e5dee","datavalue":{"value":"validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q253980$4793713A-7181-46BB-AB2A-3C901B76539D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9444b8224495bc3a0f450a750954c9373bb547ea","datavalue":{"value":"parameterised verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q253980$41B4B8B1-277A-449B-8B51-EFD7AB159481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adc57a126a90eb1be61f79c419b947507e5ac4b2","datavalue":{"value":"cutoffs","type":"string"},"datatype":"string"},"type":"statement","id":"Q253980$46AB4D7D-4F61-4DE1-84E0-DA9D22D7EC87","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7851d97c45aab9a7d8da1baea974d0b6776fd357","datavalue":{"value":{"entity-type":"item","numeric-id":14558,"id":"Q14558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$97F35F2A-9703-4533-99B2-5D5BCE0E7DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b792ce763f8f58c8ec463fa21b4c599eb550b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":21448,"id":"Q21448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$CA1ED23F-6F7F-4E5E-A1EA-0AB00ACD8CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"371406a043e069d30f6f1d468943360839c2befd","datavalue":{"value":{"entity-type":"item","numeric-id":18320,"id":"Q18320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$AAA05EA0-9375-497F-B222-2BBC1CD0F966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$142909AF-E665-42F6-9882-B4B2B7C3BD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$4971769D-43A0-431E-A84D-7330D8C9E43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f0ef2bf8377a0b1024a6bd13b52053a465726708","datavalue":{"value":{"entity-type":"item","numeric-id":32673,"id":"Q32673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$42544C1B-15BA-4724-AF55-0A0C55B41BCF","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":"Q253980$6C24ED78-95D0-46BE-B3E2-DBE558D5E7E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bab9faea137a2d46846108145f862c177951cc79","datavalue":{"value":"https://doi.org/10.1016/j.artint.2016.01.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q253980$F61ACBDD-24E1-4AAF-8702-154909BFA466","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"416c5de6ee26d5693773cce096758ae125718f93","datavalue":{"value":"W2283569934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q253980$934E3285-11C8-4D8E-9EFA-C4CB81FAB99A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11e8548165a301d01a241362bcf1efce79d1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$80C5339D-A0F8-4392-ABA4-D9EC59B1ADCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2591224063f9da137283be927b66386056f5c65e","datavalue":{"value":{"entity-type":"item","numeric-id":4661971,"id":"Q4661971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$9CF4CBF3-A1F2-484A-8D6A-0172A50E208C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$B5B88BC2-5AD1-4BCA-A3EB-537309916D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef597239a5bf2866eda91716c456582ce9749823","datavalue":{"value":{"entity-type":"item","numeric-id":3081902,"id":"Q3081902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$E46B4148-F56D-4CE7-93F8-680338A168C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb45f7d6639f84b527141fafd39e33affb92f14","datavalue":{"value":{"entity-type":"item","numeric-id":1028970,"id":"Q1028970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$3F7BB29A-F1B4-454B-8866-4D500DB13DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b352f3f08e65e36ba13412329e8552c37ac8cb3","datavalue":{"value":{"entity-type":"item","numeric-id":2999187,"id":"Q2999187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$4CE1E05B-80AE-4953-9CC6-BBF21A49B1C0","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":"Q253980$6CCA7218-6C6D-4495-9D0D-374F6C839650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9423e8a70f66f1c42f30543c752d4bb06e3d0d","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$CB82CADA-81D8-4FDE-9E4C-35B9AB758C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ec1ba56991efe8104d108b59c02ed6e35948b1","datavalue":{"value":{"entity-type":"item","numeric-id":2372185,"id":"Q2372185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$AACA49AF-BCD7-4DA2-AA68-9E8F222B1B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507389a3432eb006973aea7c583263134bb0d8b9","datavalue":{"value":{"entity-type":"item","numeric-id":2848072,"id":"Q2848072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$8A8A0947-CC17-48C0-9415-514FABB9C0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabfbcb477b7637f4c9ba59fe13e67c7127e940c","datavalue":{"value":{"entity-type":"item","numeric-id":2386107,"id":"Q2386107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$A727FE08-E8D1-465B-B55F-EB4B767E57D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d50c524c53d7f49976000982a6078db3bc09507","datavalue":{"value":{"entity-type":"item","numeric-id":5506377,"id":"Q5506377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$A5CF1D0E-33E7-4841-9D34-09D8B5C6AF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a22f3ef20f11108b2416e81f5c1a0ef4c09783","datavalue":{"value":{"entity-type":"item","numeric-id":5458319,"id":"Q5458319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$71509A51-387F-4300-8501-689B3B364DA2","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":"Q253980$BC2A872C-135F-40F3-8CA8-1A3E94106F6C","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":"Q253980$B9D1D8AF-2A69-4F41-8CD2-3692A2244C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e28476bfef33ad1b2b85b86e71d14c7098ed3c","datavalue":{"value":{"entity-type":"item","numeric-id":4936148,"id":"Q4936148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$E83A7192-3013-4B2F-A408-9AC9A9AC0D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567fcd1c261f6a4df3dd5aad2c8976d4ea228e34","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$9354C0B1-14F8-4002-80F3-3C80C5DF9B32","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":"Q253980$F744BDFE-19DF-4970-91C1-CEC2A152711F","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":"Q253980$D698A41C-4743-4BA7-A552-6B66338B3438","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":"Q253980$7F98B75C-828D-464D-BF65-7AD37429F464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b2a2787ed47a4d5e91d9ce327d2742e1960b77","datavalue":{"value":{"entity-type":"item","numeric-id":2754094,"id":"Q2754094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$ADF43B0D-65BA-4646-B1DC-4B1E3047E8C5","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":"Q253980$ED62E9C3-B03C-412A-A7D4-77DE8C9403A4","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":"Q253980$B0848E0D-06D3-45AC-BA16-82197BF6EC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629f0d98aaa935fc69136e7996206257ff744c71","datavalue":{"value":{"entity-type":"item","numeric-id":5311479,"id":"Q5311479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$9FED80F1-76EF-46B6-BA5F-85867E9D4E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4bc1e19c37922a639da1a9ec5564fb5110b1aa","datavalue":{"value":{"entity-type":"item","numeric-id":2938070,"id":"Q2938070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$8829305B-0844-4CB7-8AC6-94843D2B2883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b3675b5c0c7a82ed12ae8ee9060e9d4fb8b0804","datavalue":{"value":{"entity-type":"item","numeric-id":4472243,"id":"Q4472243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$FBFD01AE-57FC-42E0-ACB9-1BD312AB4669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79a232d5b59cc7a6e6aa2597c20969e12ed4f05","datavalue":{"value":{"entity-type":"item","numeric-id":4490845,"id":"Q4490845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$436200D7-7912-4C43-8907-AFAF13D5C2ED","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":"Q253980$FA216B3A-289A-4C93-87B4-202757A598F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$C6F1C11F-A7A7-4A8A-9DCF-4381A2B03558","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ac5ca44df85e0d620dbbf815cab9bb93d5b1abc","datavalue":{"value":"10.1016/J.ARTINT.2016.01.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q253980$96B2B24D-97C1-4112-9451-D40A45CF0EF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df56e80dcca1d3e4a46feaaa5a7f9e76f61b9232","datavalue":{"value":{"entity-type":"item","numeric-id":3166991,"id":"Q3166991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e465529ef1b332fea03f11d933408d26ab2b0b5","datavalue":{"value":{"amount":"+0.93065095","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":"Q253980$A272B8A2-E04A-4DF2-9EEB-68553D08CEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb93040098d9645df8261f1ff2b44e048c9c8289","datavalue":{"value":{"entity-type":"item","numeric-id":5696417,"id":"Q5696417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86255b1ea2a9b01894dbac35b0343baec941f44","datavalue":{"value":{"amount":"+0.9107585","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":"Q253980$8E1E1C97-F965-4347-A033-77104710BC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39743f77185560a377781cc91bf41d36750009ea","datavalue":{"value":{"entity-type":"item","numeric-id":3401961,"id":"Q3401961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7971a8cc465382704968d2a19c3d8e03e1c46d","datavalue":{"value":{"amount":"+0.9107381","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":"Q253980$F24B516F-39DF-42A2-9B13-9C64FA3A9429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"305601bd10e4543ee41f5a7c6bc2673dbabf52b6","datavalue":{"value":{"entity-type":"item","numeric-id":4209291,"id":"Q4209291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83f38da28068b9242f589bd63529015e9e68207b","datavalue":{"value":{"amount":"+0.9097028","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":"Q253980$BC0F411F-2681-46BE-A5E8-6052E7D6D16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2883aa54596a176e1ba114458028922de336a969","datavalue":{"value":{"entity-type":"item","numeric-id":4413373,"id":"Q4413373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4d7635c4fc4814f6577075f59c2e19cfeb8946","datavalue":{"value":{"amount":"+0.90928376","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":"Q253980$08CA46BC-C029-42CA-B09F-6957F3D89D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce66b2124fac2dba105993fffe4889b32b4eb92","datavalue":{"value":{"entity-type":"item","numeric-id":5049036,"id":"Q5049036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86318f937e1de8afa5e334d75043e0a8aa4ca3dc","datavalue":{"value":{"amount":"+0.90635407","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":"Q253980$534C825E-CEFC-4708-861A-48276D1BFADD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c335d522bbb4526466311ff74036956768f82af3","datavalue":{"value":{"entity-type":"item","numeric-id":6770943,"id":"Q6770943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$9748C304-BB65-472C-9C9B-2CC0A67EAA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff5eb95cd0f47a5dcbb6509988939501b112b5","datavalue":{"value":{"entity-type":"item","numeric-id":598544,"id":"Q598544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q253980$ACAE3F0C-0838-4FB0-89DD-CEFAF9BCFF06","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":"Q253980$CB28DCD6-681C-4301-B0F8-777CBB2FCEFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parameterised verification for multi-agent systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Parameterised_verification_for_multi-agent_systems"}}}}}