{"entities":{"Q5086232":{"pageid":7115808,"ns":120,"title":"Item:Q5086232","lastrevid":40891379,"modified":"2025-04-13T20:19:34Z","type":"item","id":"Q5086232","labels":{"en":{"language":"en","value":"A Study of Model-Order Reduction Techniques for Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7551554"}},"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":"Q5086232$03822E04-084D-4471-975C-2329AE5C82D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a6752a756d663f86faf396df87397c5778c8119","datavalue":{"value":{"text":"A Study of Model-Order Reduction Techniques for Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5086232$1E070797-8215-4A93-B0FE-884EAC01E698","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca57510f1aadfeaaad4e455381658127f0bb4671","datavalue":{"value":"1493.93007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5086232$F24CD68A-65FA-4D92-AB5E-E0DDB6A20EA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47a8ff3e1f29b92b9b39241885dbdeedf4b9bf78","datavalue":{"value":"10.1007/978-3-319-63501-9_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5086232$238668A3-41D2-4506-BD44-0544B0118D8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"143c6cda9868c99c68dde1fbe6fd4b2e6c3e98a5","datavalue":{"value":{"entity-type":"item","numeric-id":3167227,"id":"Q3167227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086232$EC217A80-4A9B-4006-BEB3-EC93C82D1911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa8972201d7d84d4437d2b00f83963a037f2b7f1","datavalue":{"value":{"entity-type":"item","numeric-id":217070,"id":"Q217070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086232$EE53E2DB-FE89-40F7-8A85-BC628D3B951B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d916c113e94bbfbdfe223618580740bb723d1be","datavalue":{"value":{"entity-type":"item","numeric-id":812049,"id":"Q812049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086232$1E38AC2A-C4F0-40F9-AC41-CF99B825D5DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4be43154055ea54510f8560b8a19ccb11ae6640e","datavalue":{"value":{"entity-type":"item","numeric-id":5086226,"id":"Q5086226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5086232$96219BED-FE4F-4FE7-B5D6-5680D48F776C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b01f91c2828ea0406533259953e45b7596e1cea7","datavalue":{"value":{"time":"+2022-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5086232$F777C64E-3DAC-4770-9815-57854C09EFA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bebb2f5015fb82845b748c674a6a24fd89efb27","datavalue":{"value":"93B11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5086232$3896F6E7-C45C-471A-ACDB-2651E3DC7140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e20a9144c47525561b3a24eedf53da9ffff9498f","datavalue":{"value":"93B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5086232$DB501D65-C6BC-4EB2-A29E-CFC432B3DEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5086232$BC60C386-AF6D-41D6-A277-19F6A6CAB6F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6e5a014e605bfcfb54f0dcdac44b9d01e2ffeb0","datavalue":{"value":"7551554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5086232$F20728BE-BA46-4BC7-9974-BD97F8B26A87","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":"Q5086232$78F1FAA9-27D4-489A-8652-DBDB8840F190","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"828d2d5b1281bd5b84e37e84fe74a6839ae7385b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63501-9_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5086232$9214E29A-B97C-408C-8879-1D6B996B3381","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b49b35537928448e093e26d691fa7c8cf003e8d","datavalue":{"value":"W2734868194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5086232$85DD099A-B021-4698-B470-71E66A2C5E83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a222bf16251a8af35aa3c32835e189c02324c310","datavalue":{"value":{"entity-type":"item","numeric-id":1961915,"id":"Q1961915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de71ba738a39f35516494b7d797d679e39dbe9b","datavalue":{"value":{"amount":"+0.9224851","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":"Q5086232$BD0BC7B7-4179-4A4E-8335-33F41BA12119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f710f1cb19bc2f692bd1c525fa93a6dbf7bdae","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509e86765259fa17fc99c2eec94b39f11c66dc9c","datavalue":{"value":{"amount":"+0.8877231","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":"Q5086232$4901DDBE-CFD8-464E-A696-A92E4CCA4583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4fdc8bbc9d2998bdb36ea8f7f77cf71d57c3f72","datavalue":{"value":{"entity-type":"item","numeric-id":653756,"id":"Q653756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5723bb5f34f10c601a1d10492241d165dac9d49c","datavalue":{"value":{"amount":"+0.8850852","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":"Q5086232$9C8D1AE2-0909-42E2-BC18-5CC2FEEB4B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dffd4ba6cf48f8ac4d638b8da077cd16d550df68","datavalue":{"value":{"entity-type":"item","numeric-id":1125430,"id":"Q1125430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc6d149bb022013e9129271d31fed722eaba0d5","datavalue":{"value":{"amount":"+0.8840743","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":"Q5086232$0981D00B-7079-4DE1-B110-F9B0F6D0E61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3095bfacd7d708ee0f4f3446f17373b3eadee7b9","datavalue":{"value":{"entity-type":"item","numeric-id":3691523,"id":"Q3691523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cabaf6cbcbc542dfb97348e84d7ace67b76a423c","datavalue":{"value":{"amount":"+0.88306683","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":"Q5086232$77A2224E-27C5-48BC-9E42-6D3913F4D133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5427c24d015629f81f24cf668173efc6755e07c","datavalue":{"value":{"entity-type":"item","numeric-id":3510846,"id":"Q3510846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56accb6982032ab2c48c9d8fca061243c2a2d8a0","datavalue":{"value":{"amount":"+0.8782684","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":"Q5086232$943C57C4-A9E7-406F-8FBD-011E5F9CF3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e44922ac30d2db298570ad9868a9e14a0871b6","datavalue":{"value":{"entity-type":"item","numeric-id":3072368,"id":"Q3072368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573ae58ccf4673c77bb9e27eb0396afa2b38b03a","datavalue":{"value":{"amount":"+0.86097157","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":"Q5086232$8E99113F-33A9-458A-B146-54534D973289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b8af454ec2af791b492aaf4ed14827a82eb1ff","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8aa2a6707946d8d5bbcf6f296a08f7d6be00fa","datavalue":{"value":{"amount":"+0.858634","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":"Q5086232$533210CA-7EC4-4C6B-8ADB-5C6795BDF6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8785fdc3b665f792d872207eb191a9027d3185db","datavalue":{"value":{"entity-type":"item","numeric-id":682350,"id":"Q682350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd0aa6043eb4fa3a390dcea8edb5afe91c19eba","datavalue":{"value":{"amount":"+0.85811865","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":"Q5086232$9638D915-141C-4AE2-B8E9-FA768BA79AA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5086232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5086232"}}}}}