{"entities":{"Q716322":{"pageid":718171,"ns":120,"title":"Item:Q716322","lastrevid":63780906,"modified":"2026-04-11T15:30:05Z","type":"item","id":"Q716322","labels":{"en":{"language":"en","value":"Verification of reactive systems via instantiation of parameterised Boolean equation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5882201"}},"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":"Q716322$A2533765-3A89-4DE1-8A03-50070A90C9BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19801e6bdf38ccbec61ce60c08ca2247e8bdf82c","datavalue":{"value":{"text":"Verification of reactive systems via instantiation of parameterised Boolean equation systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q716322$905CD872-DC61-4155-BD2C-F673324D539C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af4c1704b0229301da5755dca46a1c0736d20ac6","datavalue":{"value":"1215.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716322$70F3E477-2EBD-433E-A490-161D2C9E55F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f3b40888be6097ebd75934ba2efdd634c0ff6a","datavalue":{"value":{"entity-type":"item","numeric-id":716319,"id":"Q716319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$67CA857A-6C45-4108-8848-494F5DB6CE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"683bf19d91e49444ed50dd8311d47eade2aaa8db","datavalue":{"value":{"entity-type":"item","numeric-id":716320,"id":"Q716320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$A17A09C2-ACED-459A-8979-B1AAA15DA376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$9B9FE3FB-E7A6-4853-80AE-750968D34626","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$0FA49C9E-59CE-419E-AEA5-6BC940F4CB9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b6451ced8faca5a776070094e00eadb4afa93f8","datavalue":{"value":{"time":"+2011-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q716322$ED4F39F4-AC7D-4B0E-95B2-9165FEB51D3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716322$F810A001-B3CE-45B7-A2C9-5AC67064E742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716322$E5DF9754-8AA2-47B8-9E4E-E981850075FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb00739878404aefcc232a5ec0f6bf9f737bc076","datavalue":{"value":"5882201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716322$2C69E02F-749F-467C-8E0F-91541AC2DCE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q716322$D1E6E52C-10DC-4E80-9D2F-D21E26AC0606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q716322$243B9A73-DE33-4AF7-8B17-3A21F7A10E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70385047063e32e899a03bc21d34ece5ee0e5655","datavalue":{"value":"modal \\(\\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q716322$BF7B6567-A70F-4057-BF84-12CA2FFA6D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b06ba5825444d19c06d33ebae99958bfded095d","datavalue":{"value":"parameterised Boolean equation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q716322$7E620156-50EC-4EC6-90D6-CD8A2859BED3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ef557ffcda9627b52809b9f15010666acbec250","datavalue":{"value":{"entity-type":"item","numeric-id":25960,"id":"Q25960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$45CBAE64-1FAB-4459-A402-025CA459548C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76fd75bdf0976a0e4ed41326843ac8e5ceb2869b","datavalue":{"value":{"entity-type":"item","numeric-id":22161,"id":"Q22161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$43AA3499-BFAF-4ADE-83DB-EDACB7F8133D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$3F3612CD-77AE-47A4-9130-13A9EF840CBE","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":"Q716322$003EB216-7947-4533-AC5A-8CD043AB3C6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"791b33f53f07e439909ab1b2bf2219e09baad9cd","datavalue":{"value":"https://doi.org/10.1016/j.ic.2010.11.025","type":"string"},"datatype":"url"},"type":"statement","id":"Q716322$E7E17F89-FABD-464C-9FD6-03C2DD71225D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66e8be19f41fb34c8d9dc3eacfe651521c033e45","datavalue":{"value":"W2158311980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716322$374D152F-7B8D-44D0-9EBD-B408418F3659","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23c0356f00997568a4551b3bbe478c9e8f6e2dc","datavalue":{"value":{"entity-type":"item","numeric-id":2571204,"id":"Q2571204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$C4983A3B-AAD8-43A5-B5AB-47CCA2BAABC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed8c406d428f511f7f2fcb0abb354fd8a053516","datavalue":{"value":{"entity-type":"item","numeric-id":4250361,"id":"Q4250361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$910CF01C-967A-4D94-819B-40ED484DB029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c78a3a50de3ff9fbe1c2ef9d48d581cfc82992e1","datavalue":{"value":{"entity-type":"item","numeric-id":2486254,"id":"Q2486254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$66CF8A6B-2326-4967-BA74-A3ED67843DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08b539c49b8cbe3f04ffffa52f172c4ca6d1d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3525633,"id":"Q3525633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$C4FA1626-09F0-4743-A20A-9AFDFE1A3022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8e69ab0193656de05f0d276585a34718bfb71b","datavalue":{"value":{"entity-type":"item","numeric-id":5505619,"id":"Q5505619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$99794CE1-9DB3-49ED-95DF-822566500229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745077e22ddc390f24ea65ee95fe67c9ea537546","datavalue":{"value":{"entity-type":"item","numeric-id":5458856,"id":"Q5458856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$2EED31F5-6BC5-452B-8AC0-F04405A4696A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f78c8a6aeffe4bc55f3d7fb548c07dff4762066","datavalue":{"value":{"entity-type":"item","numeric-id":3540191,"id":"Q3540191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$D65332D0-F079-4670-9D07-CC17C92AA873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a0dce92881d00910fd403b575b6fcaa5d9e31f","datavalue":{"value":{"entity-type":"item","numeric-id":2754084,"id":"Q2754084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$AA1455DC-F41F-4BE0-8649-30A3B42358E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5846b6a52b41ddaa616d417bd5048c464788b5da","datavalue":{"value":{"entity-type":"item","numeric-id":5150133,"id":"Q5150133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$43C4A75C-2DD2-444F-ABF6-ECE845539E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ca5a8227a448c7bfe377187aa16f6a75d0e362","datavalue":{"value":{"entity-type":"item","numeric-id":5415659,"id":"Q5415659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$AB123FCF-A920-40FF-821A-53AB532DA114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$2A9866F3-2F13-4C54-9C4D-9FE69CEE9CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992b6ec142ea2c9384e4c75b8982ca586e3de7f4","datavalue":{"value":{"entity-type":"item","numeric-id":3648698,"id":"Q3648698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$5DD8D476-A112-4B6A-A364-4EB690CEA463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8afc731e5d6441c56e3bb93a4e64b3b4be6b74","datavalue":{"value":{"entity-type":"item","numeric-id":3614665,"id":"Q3614665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$9867A129-F6F9-46DA-986C-70BDED2F01D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$B6BE266C-D102-4251-8AED-08DAE897E0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$7FF3AA39-211C-4FD3-991A-8049401EE4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$B82DF094-842D-46EC-A088-5F212F7459DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$36B5F6D7-E389-44A2-B38A-0C2D16EAB983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$FDB57067-4D58-4759-AE3C-CA7455D8A5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$E514D757-3E5D-4A1E-BA26-1EC833FD489E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$DD3BC9BA-B2C6-40C7-BA55-039BCE3300D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57f86d088c00803066af9b3f4d773f9930351455","datavalue":{"value":{"entity-type":"item","numeric-id":6104365,"id":"Q6104365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$79D3FE91-FE72-4443-B4EE-14CB68FB6732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1212badee2dd4c6b49372eb8d0a6f25121e08f2","datavalue":{"value":{"entity-type":"item","numeric-id":3541018,"id":"Q3541018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$DEF2747C-B265-4429-95CD-18F1968086E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0c19fa5bbd98e1c9915eefadfb586ac1b37fcc","datavalue":{"value":{"entity-type":"item","numeric-id":799361,"id":"Q799361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$A949BB77-BA3A-42DC-BCDD-24856B1F16C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8c4f9cc901bad30bbe24ffc4e73a5bd470e287","datavalue":{"value":{"entity-type":"item","numeric-id":4003036,"id":"Q4003036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$65FC79F9-21E2-4CF7-9392-2B4491B6E564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$2DBCFC02-DB16-4F73-A531-D43A303DAB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$8A5A435F-BA19-4C11-99C3-82549328ADDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85bdef2193e5154a38f25f7f1a506467dc959039","datavalue":{"value":{"entity-type":"item","numeric-id":3617762,"id":"Q3617762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$285E5803-7E0A-44C9-81D3-E9AF2A8A4B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48002226a1cb38c03e7106f718a28a86e13a345","datavalue":{"value":{"entity-type":"item","numeric-id":4518897,"id":"Q4518897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716322$EE538813-4A23-4CF2-86BC-4535AE439AFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2cd6b1b9e625204fb1ba7d33bd0591a5a11aa95","datavalue":{"value":"10.1016/J.IC.2010.11.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716322$1C5D4A9E-1A39-45A3-9136-FD0FF2B81175","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d823862eb70dc0061ec59fd89b30f3882b486170","datavalue":{"value":{"entity-type":"item","numeric-id":596025,"id":"Q596025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1be743f4d6205fc384801d0e7b1394542a71f4","datavalue":{"value":{"amount":"+0.89451003","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":"Q716322$15411D6B-045B-47A3-8E88-3922E3C0A033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b169ac0b6ae979ce11d8bfee6e252e9a990168","datavalue":{"value":{"entity-type":"item","numeric-id":5505619,"id":"Q5505619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4226d510eec2297b2064e63c3b20550a751f11","datavalue":{"value":{"amount":"+0.89273685","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":"Q716322$415FAC24-9733-4D2C-8007-C072EC9B0317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024cbed37b7fde1e1dac412cf215393e649fe204","datavalue":{"value":{"entity-type":"item","numeric-id":1407321,"id":"Q1407321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0603a194231c011d246c7f319489cc718c0e4303","datavalue":{"value":{"amount":"+0.8892594","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":"Q716322$EE300788-365D-43AB-A134-5D79927B5E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17f0ba7b077b303fc84a00df3777974c472bd09","datavalue":{"value":{"entity-type":"item","numeric-id":1395897,"id":"Q1395897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f4b3194cecf30f7b67a656af39e812a8ce5938","datavalue":{"value":{"amount":"+0.87840694","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":"Q716322$8C21FC51-6F6C-4F29-8BA4-A7D47648C6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9a4334f6ffae96fa54c7bfd1ac512ef2676620","datavalue":{"value":{"entity-type":"item","numeric-id":4471930,"id":"Q4471930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563a1516e4eb384c854c92d24a12555b3b1f9a57","datavalue":{"value":{"amount":"+0.87787986","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":"Q716322$0A50A174-58E8-4A8A-8C80-A918E3F3AD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5540b7f65af7b728fa00a3c0416eb26b0f3b65","datavalue":{"value":{"entity-type":"item","numeric-id":4681459,"id":"Q4681459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5638b0ccbd3cc1ec11c0c039c3b21367d1fc1d7","datavalue":{"value":{"amount":"+0.8761517","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":"Q716322$CB965262-5225-41BC-8B83-B4AD4A182511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73bb74e226871344bde07e0f10df654185c23321","datavalue":{"value":{"entity-type":"item","numeric-id":2407463,"id":"Q2407463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd7996be971591fab8ee670638bff281050579fb","datavalue":{"value":{"amount":"+0.8752321","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":"Q716322$8F170D39-4E2F-411C-BB94-48C8CBAE30EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c01cb43b538feb58a91583e2951144520c1b516","datavalue":{"value":{"entity-type":"item","numeric-id":4817530,"id":"Q4817530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168508bcdfce463b3336a90cac1da541923c043d","datavalue":{"value":{"amount":"+0.873656","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":"Q716322$C92D08DE-8F80-4BBD-AF81-8D50A837675A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of reactive systems via instantiation of parameterised Boolean equation systems","badges":[]}}}}}