{"entities":{"Q2085138":{"pageid":2095880,"ns":120,"title":"Item:Q2085138","lastrevid":71298105,"modified":"2026-04-13T21:17:22Z","type":"item","id":"Q2085138","labels":{"en":{"language":"en","value":"Tractable model discrimination for safety-critical systems with disjunctive and coupled constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7601759"}},"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":"Q2085138$3396EC13-27B3-47C7-A44C-A03789A3E68B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1847c31f65c9d8b63bdaf3bd53f87686be9e13b","datavalue":{"value":{"text":"Tractable model discrimination for safety-critical systems with disjunctive and coupled constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2085138$FF4FB945-CAB7-4FBE-8E86-A5797DB788BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df079d40757f81d2454bc803c5d3505e0eb63069","datavalue":{"value":"1500.93022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2085138$144A129F-98D8-48FF-BB48-2D9B0CE93D66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31dccf8034f5e43a236ad7693653f665e4109383","datavalue":{"value":{"entity-type":"item","numeric-id":716371,"id":"Q716371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$7910CF03-AFAD-4DB2-8D64-65638D136150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3e7d484c24c7f17c0955e192490d4378cfbeddd","datavalue":{"value":{"entity-type":"item","numeric-id":2085137,"id":"Q2085137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$F5AB767C-EB04-4431-9DFE-2B92C4CF7991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba670296f8016cf51744ea5985299c128cfe40bd","datavalue":{"value":{"entity-type":"item","numeric-id":901219,"id":"Q901219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$90B59ACA-3139-44AA-A914-7D5C91BD2AD8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9d0f2155ba9995cae9f99d2ed79b4b1c769519a1","datavalue":{"value":{"entity-type":"item","numeric-id":254169,"id":"Q254169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$7584F4E8-BBAD-465B-8417-7BC62A10A2CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39fcf3265ef324cd8f042b5ffc2d91b62eb5b915","datavalue":{"value":{"time":"+2022-10-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":"Q2085138$275C8CD5-9583-4593-8549-DD9D25EE154E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f47b8551cfcd2e27e18ae083a8521741e193efcd","datavalue":{"value":"93B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2085138$908F094A-126D-47B5-A845-7510D439B1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2085138$58C1F622-48CC-444F-910A-D8EA777DDAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4d4b880941bb65ec306ce9d3141ff7e82566f56","datavalue":{"value":"90C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2085138$C5E958E8-1CBB-4CE7-B77B-1BC9E0BD2823","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"625bd45ae00d948e657d20995cdbfd8c1c8beb1c","datavalue":{"value":"7601759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2085138$FDB5021F-E47D-4A88-9FD4-5CDC2C841205","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7950e8ed95387103451d7e82673357056927ae55","datavalue":{"value":"model discrimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2085138$7E639031-55E5-440B-BF68-674E783B5F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd2f4ca7eb140d94774ef51d2e510b9edd946301","datavalue":{"value":"input design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2085138$9396391E-E4A2-4AB7-8834-45DAA821F7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c180c713326c9559773144f0db0e679adf5a697","datavalue":{"value":"intention identification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2085138$E724160A-E0B2-4187-A745-7D27EEBC2380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40824276f4e3fdfc74ad3f67bd3e49838d9da9b8","datavalue":{"value":"fault diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2085138$922A7875-1987-41A7-B506-B6C5743C93AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86aa6a7ee8cefde278b552b1728b64412297ec10","datavalue":{"value":"autonomous driving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2085138$91526A73-BFF0-4552-88F1-6ACEE807889C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e58a18b4c8abfd896280a7c892e7b8a2b7898d6f","datavalue":{"value":{"entity-type":"item","numeric-id":16900,"id":"Q16900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$7D84466A-4089-4DDA-A7C7-09FDEB4E6D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2661723bd8fb0a5b0a65726fbd566913fdbe58b","datavalue":{"value":{"entity-type":"item","numeric-id":1005315,"id":"Q1005315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$8F36087C-0030-45C0-AF0E-E8BE97F789D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d5f8f33fa9b6db20d27e63fd21b838251f6fe7","datavalue":{"value":{"entity-type":"item","numeric-id":4909338,"id":"Q4909338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$9F92754C-A285-4F59-A437-01917D6CAB76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac9b45efcde3b1b86340819d2a4cb8d287b1663","datavalue":{"value":{"entity-type":"item","numeric-id":5926461,"id":"Q5926461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$06A10105-F722-4688-9917-64CD1333AF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda80f3f2e8d0310f2f61915d80247ca17f74cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2491904,"id":"Q2491904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$F8028D15-2577-4647-910C-D06BCFD53563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596915140347a0e240b0f21a1b87753a0111da6f","datavalue":{"value":{"entity-type":"item","numeric-id":458850,"id":"Q458850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$9CBFB7DF-30F1-4F45-A004-F6802F02E94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b255c6c7f47131c96df8166b895fb8d2dec24ae","datavalue":{"value":{"entity-type":"item","numeric-id":2409415,"id":"Q2409415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$63B38290-0DE4-4045-B55A-56E589A00A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56576a4eda948729e73c4b0f6dad2dab51e21077","datavalue":{"value":{"entity-type":"item","numeric-id":2253347,"id":"Q2253347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$FF244A38-7843-429C-8F31-BDE5CD3CAE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e59d33a5584a9c658532eb58941c8cddc71795b","datavalue":{"value":{"entity-type":"item","numeric-id":5307942,"id":"Q5307942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$E7A955C2-B0B1-432F-A139-4DDE4EEDC6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19006b4b67040981e7efe0e659deefd0196f771a","datavalue":{"value":{"entity-type":"item","numeric-id":3115860,"id":"Q3115860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$A7F7A2AA-041E-4966-8610-CB5904DBFD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af86ab898dd6cee1f45633f8c392f15657571440","datavalue":{"value":{"entity-type":"item","numeric-id":3182207,"id":"Q3182207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$E64FA8FF-0E92-414E-8866-D7B69802AAAC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce3ea894551f7d46aed8be9d5b93bf780882eb1a","datavalue":{"value":{"entity-type":"item","numeric-id":16900,"id":"Q16900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$C1381D36-1CD3-4C68-ABE6-2BBDDB3198F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$1F5AE070-AEA4-4F10-AA17-A5AE6FC14913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83793d2d04b664d34057899871316417b4be46c8","datavalue":{"value":{"entity-type":"item","numeric-id":16766,"id":"Q16766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$FB48202F-EFAB-468C-AB9A-22E49AFB03AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c2ad928ef7e075a5826c42714da18f3ea07be26","datavalue":{"value":{"entity-type":"item","numeric-id":16292,"id":"Q16292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2085138$DD40D9AB-C6AC-409F-B22D-F9D576F8D1E4","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":"Q2085138$28831F4A-B67F-4DAF-A91E-E1E70D2929BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73412805a55735650339f342c9acf2f70ee89b0f","datavalue":{"value":"https://doi.org/10.1016/j.nahs.2022.101217","type":"string"},"datatype":"url"},"type":"statement","id":"Q2085138$8B35DA32-7A28-4C82-9446-238CD5B57AE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a187ad80b2d6a7e5d676955ffe5072c9151a075e","datavalue":{"value":"W4281667823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2085138$DC3484CA-9EE3-475A-AB71-FF2D50C557A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bba9db5ddc98c480190a55a5ee02288ef283a7d","datavalue":{"value":"10.1016/J.NAHS.2022.101217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2085138$CBBBBC0A-E234-4919-BF6C-A6AE10B7B471","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68e9e9f317337994cdb9391ed70be5333490ad9e","datavalue":{"value":{"entity-type":"item","numeric-id":2409415,"id":"Q2409415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2581c169eef32a45c159cc14a1464913a9307420","datavalue":{"value":{"amount":"+0.6658585071563721","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":"Q2085138$BE1A9E06-9520-4421-B89E-EE921DBC9B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7050b143f6af7fe0b171b2476350e059fa3cfd0a","datavalue":{"value":{"entity-type":"item","numeric-id":4721466,"id":"Q4721466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b58af250236777e8f3e3ddaf8848bdcbf07029","datavalue":{"value":{"amount":"+0.6493698954582214","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":"Q2085138$9C977D76-09DD-4C00-AB74-7E82779BA20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926b458ba765216b2ed330b08e8d005d5bdd2c33","datavalue":{"value":{"entity-type":"item","numeric-id":3321966,"id":"Q3321966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f857a1bb82a5ac66a0d007acdcadd8ff096ce5f","datavalue":{"value":{"amount":"+0.6232367753982544","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":"Q2085138$59C40F68-B2F5-432F-8E61-D5D31BA93BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4bae9f8184b57a6bf40020899c268c4b9f3ce5e","datavalue":{"value":{"entity-type":"item","numeric-id":6136140,"id":"Q6136140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2917920a1c549630a1d59a9bfde238c12ce1659","datavalue":{"value":{"amount":"+0.6184916496276855","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":"Q2085138$608C17ED-554A-402D-9D6B-4A62B6F87862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a76bd04cbe6e46489acd2119b311e64a766f91","datavalue":{"value":{"entity-type":"item","numeric-id":5346510,"id":"Q5346510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca1647e33beee493043d39c79563832de0214b51","datavalue":{"value":{"amount":"+0.6179142594337463","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":"Q2085138$0432652A-8312-43ED-B61C-FF0B0213DCCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tractable model discrimination for safety-critical systems with disjunctive and coupled constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tractable_model_discrimination_for_safety-critical_systems_with_disjunctive_and_coupled_constraints"}}}}}