{"entities":{"Q5747759":{"pageid":7777310,"ns":120,"title":"Item:Q5747759","lastrevid":97044764,"modified":"2026-06-05T13:06:55Z","type":"item","id":"Q5747759","labels":{"en":{"language":"en","value":"Hierarchical reasoning for the verification of parametric systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785446"}},"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":"Q5747759$59733FA4-FACB-4ADD-A121-E43D3080A98B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa08b9b9e1761ae9ee5ba1c4a2029f4735fba76e","datavalue":{"value":{"text":"Hierarchical Reasoning for the Verification of Parametric Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747759$68B896F9-6029-404E-BD38-55BA6463CA43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"277d50b2e9aa289d1b68a8ca9c0d6914e6d604a9","datavalue":{"value":"1291.68269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747759$5F203596-E10D-47B0-9663-3C7F9EE22496","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0b86ce83cf29913a67e7a7c0b40d98e0ccce3dd","datavalue":{"value":"10.1007/978-3-642-14203-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747759$5EEA6EF1-F784-48CF-9136-E771DEFC6361","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ea72ecee982e1dcddee303e9fb3aea539cf87","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747759$C17CBACF-EA0B-4A81-93C5-1A965E61A086","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747759$1B065893-7F3E-4D72-BB77-1EE123D13038","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747759$C3D6A54A-03A7-4BE1-B510-8618C42B8833","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747759$35AD7C13-B0AC-49F6-AE48-EC2C654D35BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747759$F3397216-8428-4969-AA3F-5D463870FDC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a843f139b40bb33f6d4017c967222c6bdabab984","datavalue":{"value":"5785446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747759$C5447EB2-2740-4F52-A55B-7FFE9FEA592F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747759$6C596156-A739-4FF2-8004-73671623F14F","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":"Q5747759$9B9D5F8C-8BBC-4EF4-AA4F-5DD5ED9E2DF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f59e7eac6c1da2ba9923ce86c9fe6df188c51e2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747759$14353E55-94D9-4225-8F16-601B8995197A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1aa431c3036ad1a11ac1d962fd6e9cb1b13dee0","datavalue":{"value":"W1875490257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747759$3368716B-D160-4866-AF83-C18AACC93437","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25f97d863b678de339f343f28e44115ff865f8b","datavalue":{"value":{"entity-type":"item","numeric-id":5452621,"id":"Q5452621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747759$282DEB65-9BAD-408F-96B3-CB21C80E64E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f252ff86822bd99498e2b094b9f770ad55f5bef8","datavalue":{"value":{"entity-type":"item","numeric-id":3636860,"id":"Q3636860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747759$3555CB02-95F6-4642-B654-0763A10FDCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09648fb46469011140ab8712b83801125017f5c0","datavalue":{"value":{"entity-type":"item","numeric-id":3523107,"id":"Q3523107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747759$8D4ACF61-1F4B-4765-AB71-DF847A0453A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7474c1769098271dfa8760cf06b0b45182f69ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2432764,"id":"Q2432764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747759$42059302-40A4-4A71-81E5-3FBBCB379FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a470b378741f28bdecd3dba78fc1f965ca175562","datavalue":{"value":{"entity-type":"item","numeric-id":3608784,"id":"Q3608784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747759$06C7293F-B2FA-4E3B-9C3C-D93697747B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb860ace0e36c82a8ecef7053057816d881aacc0","datavalue":{"value":{"entity-type":"item","numeric-id":3512493,"id":"Q3512493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747759$C8D0C3C6-33A7-413D-ABF0-C901A8C8B0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abfc3b21c0f14353187ab5de281a6e5d1ac24c8","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747759$D51CFD21-CA5A-4CA8-8D80-C8719F152905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aaaccfbedb3cd88fc80e0faeb16f71f2c3e7630","datavalue":{"value":{"entity-type":"item","numeric-id":5458332,"id":"Q5458332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747759$7A9E3AAA-ADCF-40B2-8B68-40019ECFF9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1d0ff00032a66dc3cc178cd9f7faf31d9c1e31","datavalue":{"value":{"entity-type":"item","numeric-id":5747749,"id":"Q5747749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747759$671A9EF2-5453-4A1E-A658-BEBFD97EA283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8571cfb6c41c9203dbca31502594520874a2ee1","datavalue":{"value":{"entity-type":"item","numeric-id":2864523,"id":"Q2864523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747759$B34DA078-3458-490E-ACAD-421527742506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97410c5f75f024969fa496104e5d0f6c8e839095","datavalue":{"value":{"entity-type":"item","numeric-id":5394615,"id":"Q5394615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747759$50A11E0E-83DC-4FB4-BB7B-D384A9868107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6405880c070588ef96205dbcc63ba1fa577e219e","datavalue":{"value":{"entity-type":"item","numeric-id":5446292,"id":"Q5446292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747759$9B4F54CB-905D-4120-9CE7-892E0543E440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747759$F6A3B792-0F54-4AC5-997B-6A6224428796","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb60464a1b003fe470131b5444e5fe059c45790","datavalue":{"value":{"entity-type":"item","numeric-id":4928452,"id":"Q4928452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2a061ff5ee00c3f52d3f9236219c93f71aacf9","datavalue":{"value":{"amount":"+0.8788318634033203","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":"Q5747759$4763CB81-9BDF-4702-82DB-E8804D707AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffda3c4b5f233bc71b2adb3f717e5fc909b23349","datavalue":{"value":{"entity-type":"item","numeric-id":5134273,"id":"Q5134273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b6e5f69292e1e0bbd815e990ae7c19d60651c2","datavalue":{"value":{"amount":"+0.8407379984855652","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":"Q5747759$F9788FF8-090A-4855-9FE7-272C61B75DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"392da8d3c52b9e9305a4da7fbb76888d83e42eb8","datavalue":{"value":{"entity-type":"item","numeric-id":2864523,"id":"Q2864523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b084fb8aa69bd9ef4e9dbc08655c18cb7ea0cb","datavalue":{"value":{"amount":"+0.7813401222229004","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":"Q5747759$429400A7-793F-4EA4-81D9-22D752FC913B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d428460903c2987cbeea62164b5449c26762a3","datavalue":{"value":{"entity-type":"item","numeric-id":5458332,"id":"Q5458332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59d771d55595f99202be6561e394de8aca1aaabf","datavalue":{"value":{"amount":"+0.7788494229316711","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":"Q5747759$3B191309-05C2-4982-8A15-67FE312A64A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6dc544480134f01527a59c0c6fcab5628603f0","datavalue":{"value":{"entity-type":"item","numeric-id":5747749,"id":"Q5747749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2114e2ac8ce3dff110da48cc056319a938cf4a10","datavalue":{"value":{"amount":"+0.758585512638092","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":"Q5747759$90B98A39-2F13-446C-858B-2B92B042A7FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hierarchical reasoning for the verification of parametric systems","badges":[]}}}}}