{"entities":{"Q2506266":{"pageid":2517009,"ns":120,"title":"Item:Q2506266","lastrevid":72748356,"modified":"2026-04-14T07:28:01Z","type":"item","id":"Q2506266","labels":{"en":{"language":"en","value":"Verification of embedded systems based on interval analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5058232"}},"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":"Q2506266$D28CE4D0-6407-45D1-BF95-D423E66BFCF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddc40b2980995d92f2818672d8e28cfe5a43271e","datavalue":{"value":{"text":"Verification of embedded systems based on interval analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2506266$6BA31F40-609B-4507-A533-FC0F3375EACF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"515aa33201fdecf73b8fece8da792e264f793402","datavalue":{"value":"1099.68661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506266$734D9037-5514-4B0B-B838-19D119DB65BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a938100a6aeb3b7f6ac89c8c2053266822ae103","datavalue":{"value":{"entity-type":"item","numeric-id":2506265,"id":"Q2506265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506266$BE699CAD-1C92-4AE4-A500-1D68BCCF75B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1053abd57cea701cffedfce1a315eed60de1f8e5","datavalue":{"value":{"entity-type":"item","numeric-id":1986656,"id":"Q1986656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506266$584C19C4-9423-4ED3-986D-66599E278FE7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a32831c4e3f60d79ea2f79afb884ef69e4c8191c","datavalue":{"value":{"entity-type":"item","numeric-id":199286,"id":"Q199286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506266$245E376F-D5E1-470D-BEF4-6C2395F5CACD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94743860e157c0fbf5b9e5527eaada210f8c037f","datavalue":{"value":{"time":"+2006-09-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":"Q2506266$5264292E-D961-4E2A-A371-F63414C04507","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506266$4B4683E4-9495-460D-9E9C-8866301AE6D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34615f63f655dfefa7e338cb6f6211dd4fdf1278","datavalue":{"value":"5058232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506266$A0A09175-9F75-457A-831B-FFBE7F452537","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d343c3aff2b3ad7ecbdc1c38012f9d282e11fe20","datavalue":{"value":"Embedded system verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506266$1890CF9A-F8F4-4C59-A358-8C1F4946948C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27f9664a92e1dda2e675ee3135774b494cc63b1f","datavalue":{"value":"interval analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506266$EC147FEB-9180-4A21-9546-1064FD19D4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d02a2c03774987c3a21f629a868d7e81c6d281a2","datavalue":{"value":"assertion-based verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506266$D3C0BCC9-B4FA-4D9B-93F4-646AB634564C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86e651fea0aff0cdd19c63c87b2300b46c9936d","datavalue":{"value":"design for verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506266$2CD05A28-2FD4-40D0-9AD3-FEF0FF34F46E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506266$DF9C5672-DCB1-4CE8-BA06-FDA1091AD16F","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":"Q2506266$EEF97F34-5F06-4401-B1BD-C94A60F075B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9c33a753d2852aed9f91526430840bfd66b65ad","datavalue":{"value":"https://doi.org/10.1007/s10766-005-8909-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2506266$25DAB23B-62E2-45C2-9F8D-CDC1B4807998","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b7ad5a02b68989bc3f65f64aeecbce916a9a69a","datavalue":{"value":"W2020336701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506266$FE8CCF91-3421-4C9E-933E-F68283934FD2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a0f1ff8ee4d94e4f956198a4597447c17b2441","datavalue":{"value":{"entity-type":"item","numeric-id":4824978,"id":"Q4824978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506266$C0FA8510-F680-4914-92AC-9F33ADD51453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506266$F370A736-FECF-4CC4-8730-E9F27454BD66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f44bb4cb1af83370c6f1f03adb34ea8a8e109eac","datavalue":{"value":"10.1007/S10766-005-8909-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506266$D0744534-C9E0-472B-B3F7-B7866DC8FF0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d431fc2cb0384d2000b501ff0beef73bfeca2a7","datavalue":{"value":{"entity-type":"item","numeric-id":5899151,"id":"Q5899151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d799e6ae420db934cf01cc74a69d75c75cda50","datavalue":{"value":{"amount":"+0.7347552180290222","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":"Q2506266$DA627B42-0DF5-4126-8ED9-F4435DDEE86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b9e7b0603a93a170d3eb0db3d5fcde275230fbf","datavalue":{"value":{"entity-type":"item","numeric-id":4473711,"id":"Q4473711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeaabb3b14158a1362b904b439194caaf36f6d1a","datavalue":{"value":{"amount":"+0.7230672240257263","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":"Q2506266$1881E924-C8B7-4A35-B1E5-E919A41D6DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e23372e8aaa7b71a26e8935e5af978187d6274","datavalue":{"value":{"entity-type":"item","numeric-id":5493207,"id":"Q5493207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e40e3ee6f3be817e312f2172acc7a291ca068333","datavalue":{"value":{"amount":"+0.7191550731658936","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":"Q2506266$65790C6D-145C-41FB-8559-207EC00F4B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61deb7f03903a644fcf445d966956ae7136aa03a","datavalue":{"value":{"entity-type":"item","numeric-id":4949356,"id":"Q4949356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9fe13d74f5576ea2b5c2af6a06e6d0e2e8a19e","datavalue":{"value":{"amount":"+0.7168018221855164","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":"Q2506266$69C0A4BD-DFA6-4751-B80F-4DD969F8BA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76a72868b43dbc357846545a2e3cdcd3138970fb","datavalue":{"value":{"entity-type":"item","numeric-id":3628531,"id":"Q3628531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23340d65f6e6994396192cb50841b48f42c19e9","datavalue":{"value":{"amount":"+0.7163867354393005","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":"Q2506266$4384D861-725B-49C8-BBB5-DE1D08BA2EF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of embedded systems based on interval analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_embedded_systems_based_on_interval_analysis"}}}}}