{"entities":{"Q710668":{"pageid":712517,"ns":120,"title":"Item:Q710668","lastrevid":63855612,"modified":"2026-04-11T16:00:31Z","type":"item","id":"Q710668","labels":{"en":{"language":"en","value":"Engineering constraint solvers for automatic analysis of probabilistic hybrid automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5804229"}},"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":"Q710668$7AB9C255-6AEB-4119-AD38-50C332B05211","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"128705c9dfe74bc6e3a5580c33e79ba05ccf08c2","datavalue":{"value":{"text":"Engineering constraint solvers for automatic analysis of probabilistic hybrid automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q710668$E49664B0-A38D-428C-93DD-64E2370BDB28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b1cf938b0a3427ca2a12e005134fbd54919b4ee","datavalue":{"value":"1205.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710668$28B33E13-29A4-4CF2-B3C2-D5B64B3EBE29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a014e6ba9fde789e090c1a340d6af73ab4b427b1","datavalue":{"value":{"entity-type":"item","numeric-id":394331,"id":"Q394331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$F944584E-F96E-4D94-9BCD-03E33402C38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"018b85db19ecd3a912145159db4a3476bdaf0189","datavalue":{"value":{"entity-type":"item","numeric-id":547914,"id":"Q547914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$C1422034-1023-4CF9-A410-F142322A5F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd3359b636444955d53dffa0e614a9aa01dd0707","datavalue":{"value":{"entity-type":"item","numeric-id":547915,"id":"Q547915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$99D96B47-D8F7-4699-9D4F-337FA519998E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$2FC6EC72-D904-4846-9E3F-626535DE4D71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dce3fe29f40b5c30691cd0c8cf3898003238b7d","datavalue":{"value":{"time":"+2010-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q710668$58D3769B-5928-4507-8BB7-9AA3DAFBFCA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710668$A5E08449-D227-4633-8A9A-B00E15F6447A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710668$E435E8DB-C26C-423F-AB72-DD1E7032C169","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ef3e63c6aaba6217ee60f94e4df128e1d20497d","datavalue":{"value":"5804229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710668$6B7FCFAC-7A98-4923-BE75-16DE6289F9C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec7363a51698514c8a75e631b0022c908fe5aacf","datavalue":{"value":"probabilistic hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q710668$39C866C7-7F5D-4E75-A086-5AC1A92B3A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q710668$0E0F3489-BC04-4ADC-BC4A-61A2E0CD56C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a502656192af024cf469d1e16fd658e00fcac00","datavalue":{"value":"arithmetic constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q710668$868D1CE7-6648-4F4E-93F9-D68E3EE1701A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31028544907ed3c62be99c3ba27bb0dcb5684967","datavalue":{"value":"stochastic satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q710668$5C900980-2F7E-4E0E-93AE-27083203750A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22fc318c6c2e42dbf1c86e8b56323826ebc2c596","datavalue":{"value":{"entity-type":"item","numeric-id":14528,"id":"Q14528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$18ECA6D7-FDCC-4BEF-B0EF-5D2D967D6294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$9D6234D6-830E-4EE0-847F-BA5DC894597E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7354bd697027c020fb16570ae4946efb0c24585d","datavalue":{"value":{"entity-type":"item","numeric-id":33168,"id":"Q33168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$C8F902D4-C0C9-4EB6-80F5-F880BB84C358","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":"Q710668$EFC08A9C-EE69-4D9C-A0DB-54055BB0BC32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9308c841fd61aba057b9f27ad3ceb850dc9134bd","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2010.07.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q710668$9281379E-FC37-4889-9491-F21BCF9BC9BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d7f41706e9aea631dcf7e6c48c8681924b6a326","datavalue":{"value":"W2118424907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710668$80366033-86A0-4318-BAE5-030F8F15224F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9aadeb8520cccf139c519f5ece9b2874d839ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5711504,"id":"Q5711504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$2E5C23F0-7C0C-43E5-94A1-BFDFB50AD39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d016097bce1416f07e0698c466e705d5546539f","datavalue":{"value":{"entity-type":"item","numeric-id":3069995,"id":"Q3069995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$3D4F2629-D669-48DA-AD1E-AA83F290A555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a77ad3fdbf331ba2d08a1884e9ddd1ec5d225aa","datavalue":{"value":{"entity-type":"item","numeric-id":5898969,"id":"Q5898969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$F927C503-B4E3-47C5-B33C-51CDF918B149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbb5e8f38b940cdd98c1bbe80dcee2ffcae0161","datavalue":{"value":{"entity-type":"item","numeric-id":4404205,"id":"Q4404205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$DB900F09-561C-499F-A6DE-B1A0CEB65D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca50b56de23777ce618ce7b9747f11712b65365d","datavalue":{"value":{"entity-type":"item","numeric-id":2849590,"id":"Q2849590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$8311CDF0-DB64-493E-9E00-C2598D33DA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd7acb71a63cfa855d1bd9ded95ad8f7681fd51","datavalue":{"value":{"entity-type":"item","numeric-id":2575731,"id":"Q2575731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$9467EE57-B71D-429B-AFA8-B92693A5E87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$D3F2AE8E-B342-4E17-8DE3-259537075D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f3095b1a7f87b0daf3be22031f56580836160a","datavalue":{"value":{"entity-type":"item","numeric-id":3245701,"id":"Q3245701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$29CD3F00-E90A-4215-8625-307E76171E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5a332054291509a9dc7aec19fd46ec7721520f6","datavalue":{"value":{"entity-type":"item","numeric-id":5703920,"id":"Q5703920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$107F5C8C-CD22-466A-959C-9FF704A1F247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f8692dd2c9908045efe57a1c988c8d5807a0110","datavalue":{"value":{"entity-type":"item","numeric-id":2956713,"id":"Q2956713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$8ED556F7-D1EE-4C45-AB9B-3DA70DD67339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$264C039D-3BAD-40E6-86EB-54FA4352D254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"003e01e100d3e82c7c812db8c206c315bff90a63","datavalue":{"value":{"entity-type":"item","numeric-id":1276129,"id":"Q1276129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$AD9947E0-72B7-49D1-8DD9-139406967A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ba99abf5090ae3a850b4f832068b58d7000dad","datavalue":{"value":{"entity-type":"item","numeric-id":2494653,"id":"Q2494653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$5BBABADB-033D-4FFA-9174-D7B76F95DCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14511b3434fba07b77dec79eceea724900ded85d","datavalue":{"value":{"entity-type":"item","numeric-id":4417983,"id":"Q4417983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$264173A2-3C46-4B4A-9825-0005F7A7BB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339fb96a8e75b9b57ee808656ca5d76960d8db85","datavalue":{"value":{"entity-type":"item","numeric-id":3434956,"id":"Q3434956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$B1CC30D3-38B0-416E-931F-829F3D1E2EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62ae9fcce09452724dd19135d7acc1df40e6c0e4","datavalue":{"value":{"entity-type":"item","numeric-id":3416764,"id":"Q3416764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$0F979CCB-3726-42AD-8E08-189F61C2F4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc545c129f526c9b63326a7d44b2e709df1250c4","datavalue":{"value":{"entity-type":"item","numeric-id":4736997,"id":"Q4736997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$5D5CB682-9C2A-4A63-B343-65D08354A69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b48f4110681c1155ba057f52e9ba98163f2d2a","datavalue":{"value":{"entity-type":"item","numeric-id":3680030,"id":"Q3680030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$8A2906DE-CD28-4EB9-9C54-17EE91E6708E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb069f53702ebcb4130c6349536a4829440ca29","datavalue":{"value":{"entity-type":"item","numeric-id":3136505,"id":"Q3136505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$8DF55C02-CEF2-4D02-8CE5-E480806BD7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$E5DEFAB3-1C38-421E-9E09-DD77826FE0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$93478785-71C5-431E-92BF-AAAB1F6D8DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c364abc9f6e3795ee364ccb24440265ed3af41b","datavalue":{"value":{"entity-type":"item","numeric-id":3540072,"id":"Q3540072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$85D4AE19-D15C-4512-8A6B-F6473A973429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64dacb8361711c06377fc194a2bb5efec5f8bd93","datavalue":{"value":{"entity-type":"item","numeric-id":3991629,"id":"Q3991629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$ADF58B0C-3C89-4FE5-9A73-5E8B22568E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf5667edd20bf607f41849b86ac22a0984c3e35","datavalue":{"value":{"entity-type":"item","numeric-id":883144,"id":"Q883144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$9AB5CD5A-D567-4019-AB1C-7C05C4B6BA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065a2d65834e8c8b57bdda41356587a32ad9b5c2","datavalue":{"value":{"entity-type":"item","numeric-id":5457277,"id":"Q5457277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$4043C80E-7A84-4FFD-ABA3-38EFECD47424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e4ac15b3cd895ddf8775dc4121fd07e552d6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3523106,"id":"Q3523106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$BEE47BBB-3EC7-4CDC-B37B-02AC530DF9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d771fe4d67b7e62b1337b5ef67a0024cc8717a","datavalue":{"value":{"entity-type":"item","numeric-id":5703929,"id":"Q5703929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$65F108F9-47C8-4575-9F27-91067263C6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82ad10c73e928271f482901deda0f097caa8289","datavalue":{"value":{"entity-type":"item","numeric-id":3723675,"id":"Q3723675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$1DB80968-E983-4149-8528-563C4F395A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35068c5afdf5b314784db44955f1e0af782c6d77","datavalue":{"value":{"entity-type":"item","numeric-id":5703932,"id":"Q5703932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$D2B29BA1-2F44-4BED-A08D-99CCB919BD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce241fa57979c3d8a343ab2014c419c925fdb85","datavalue":{"value":{"entity-type":"item","numeric-id":5307939,"id":"Q5307939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$C3041CA7-7905-480A-8A92-D4CF91037350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c35882bf1fd03aee6c18d4a286039bac87ad7bc","datavalue":{"value":{"entity-type":"item","numeric-id":3196626,"id":"Q3196626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$0D88E498-27A0-4D9F-9530-40B426EC73AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ff2886f15d08bb695e0fc9e2ac40d6685d03d0","datavalue":{"value":{"entity-type":"item","numeric-id":4953390,"id":"Q4953390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$AD0D2FF2-DCD9-448B-AC56-D1AA7CD54F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4279a71d98c650f1f5ea29f2003cd8176b4c8873","datavalue":{"value":{"entity-type":"item","numeric-id":5898991,"id":"Q5898991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$61FC11D3-96BA-4ED7-9E3F-AB996078B720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d12a2da8cc8af5999bca8a117656b85079f985e","datavalue":{"value":{"entity-type":"item","numeric-id":5956121,"id":"Q5956121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$2956AD3D-76FF-4856-BDFE-D4A37EC2B8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bba0b210d152b1eed9815189e44a4b818557906","datavalue":{"value":{"entity-type":"item","numeric-id":997058,"id":"Q997058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$701C5444-7BA5-499A-8063-2F3E427A38E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6765c3e21ef1feb36b6720a1571c949f6125de4","datavalue":{"value":{"entity-type":"item","numeric-id":5444070,"id":"Q5444070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$CC61762D-6A60-43C3-827D-0DC7FF01AEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd048630e4c94725b2fd71606963d63b2c39963f","datavalue":{"value":{"entity-type":"item","numeric-id":5437369,"id":"Q5437369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$5AA5E6ED-8F2E-4C98-AA9C-06179118DE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42edee989187062430fb95d373ff478e9c2e9ed8","datavalue":{"value":{"entity-type":"item","numeric-id":5566070,"id":"Q5566070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$66B338FA-F9D6-4C3B-9493-3F748DAFBA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c6ec072a89146545e93445fd192f502b143ebb","datavalue":{"value":{"entity-type":"item","numeric-id":919061,"id":"Q919061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$C14C49F6-96F3-45AC-A4D1-9014A3B82E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$9F22CCF8-889C-4F8D-9ECF-80450B0D3EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0e56df9db89377069ef2057d2ac5bcfceb74c1","datavalue":{"value":{"entity-type":"item","numeric-id":1069296,"id":"Q1069296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$41768695-6823-44FD-9646-50C626CCA9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"962bfa0bab3752dc74158634ede02c266a4dad88","datavalue":{"value":{"entity-type":"item","numeric-id":629649,"id":"Q629649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$1D4E9B94-8206-463A-A169-70E808951AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88f02169e0d82db34a57f3c9fe58dc5d85c93ec2","datavalue":{"value":{"entity-type":"item","numeric-id":2766628,"id":"Q2766628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$DA70735A-BA4A-4207-80D8-C0367854C350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b95a7e9d42c35659424943cc5db527c67b886d1","datavalue":{"value":{"entity-type":"item","numeric-id":5387634,"id":"Q5387634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q710668$DD799558-6420-41CA-A1F2-79DAA6E0431E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ee5a5c0802ab170312915d8924e2a79868442f2","datavalue":{"value":"10.1016/J.JLAP.2010.07.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q710668$73E2F504-06B8-4A6E-BD44-4FED9AE9A0A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa5985af9191d4805673120b1472b621d1ca031","datavalue":{"value":{"entity-type":"item","numeric-id":3523106,"id":"Q3523106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f032816ed79386682b768763b4169f009086230","datavalue":{"value":{"amount":"+0.8805047273635864","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":"Q710668$D3DB9DBD-223E-4D0E-BB89-E2C0176D362B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25bf178637a996618444d91fe52318057b58363a","datavalue":{"value":{"entity-type":"item","numeric-id":547916,"id":"Q547916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d401e8d0ca2325f8297238e72c9171f75e7c461","datavalue":{"value":{"amount":"+0.8409541845321655","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":"Q710668$8A0FB8CA-69FE-45B9-9318-C8D38A41A7CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d366c6c05880546f97e7211b739a8fbf8fb888","datavalue":{"value":{"entity-type":"item","numeric-id":5191406,"id":"Q5191406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fdba32bc52f465b89750f1867bdb93646786596","datavalue":{"value":{"amount":"+0.762173593044281","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":"Q710668$6B50E875-1193-40BD-9C95-92EB8B8B40F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d35fffaa4c92dc867dc629368ae72e8b3891b0","datavalue":{"value":{"entity-type":"item","numeric-id":6104812,"id":"Q6104812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16dd8c0561467c8c15f1f4584f8f6f224af7f2ab","datavalue":{"value":{"amount":"+0.7598736882209778","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":"Q710668$BF28D2B3-9FC0-465C-93F4-A026CBC410C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb54c6371a1e6178d7b119dc9dd1c73e309ed08","datavalue":{"value":{"entity-type":"item","numeric-id":2766628,"id":"Q2766628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790e4d8b40c23d8d3f642c6dbb2fd5a8e6f1e9d5","datavalue":{"value":{"amount":"+0.7550988793373108","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":"Q710668$DABCA942-69BB-42CE-A2EC-70B5D7D38B10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Engineering constraint solvers for automatic analysis of probabilistic hybrid automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Engineering_constraint_solvers_for_automatic_analysis_of_probabilistic_hybrid_automata"}}}}}