{"entities":{"Q5946347":{"pageid":8123149,"ns":120,"title":"Item:Q5946347","lastrevid":97824089,"modified":"2026-06-05T15:29:24Z","type":"item","id":"Q5946347","labels":{"en":{"language":"en","value":"Formal methods in designing embedded systems -- the SACRES experience"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658699"}},"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":"Q5946347$D3B3D575-EBCE-40D5-8844-88BEB672F970","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11b6aa161a513b779544f96875e3af789cdf6746","datavalue":{"value":{"text":"Formal methods in designing embedded systems -- the SACRES experience","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5946347$72F1C0C0-0601-4F7A-958B-FFD77185060E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8d9f6685beaaee7d1ba3158dd7cd08a69d44ee2","datavalue":{"value":"0984.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946347$D22BB838-35DA-4BE5-9374-B557C4FC054D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0c381bb1eb8014e3a59900bc85594ca0a3a724d","datavalue":{"value":"10.1023/A:1011295931367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946347$0B280255-08E6-4308-8A32-2003F7E1B45A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b75a8d2b38b15d3be067774e7dce15e24514908","datavalue":{"value":{"entity-type":"item","numeric-id":209475,"id":"Q209475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946347$0B286A98-C3F8-4E5E-ACCB-F206BE39D549","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946347$34762460-E62A-4C76-8BC9-056993F78EA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27d4813feb9835cf67361e7d170bc0c6d9cdf0d5","datavalue":{"value":{"time":"+2002-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5946347$2F2F3782-F6C4-43D7-9BB0-3A419E284392","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946347$1D316EA5-38DC-452A-B41D-B7789A19A364","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92f83c0d33cb8261ef4c447f7ec9fa6600a2a059","datavalue":{"value":"1658699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5946347$AAA4E88C-DB2F-4B1B-B7E1-0DF93594189B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2ab3eb6c049625d56fb076ac18ad9b89105d2a5","datavalue":{"value":"SACRES","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946347$911051C6-3112-4935-B3C9-BA9703952160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa71ee3f09f44c9b0ac84b5364516945c765fbf","datavalue":{"value":"design environment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5946347$5747DD0E-9994-43BF-9D02-049894FBB2BC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d56aaa8b61bd2eb58d79a5b19ae81a9cebd14366","datavalue":{"value":{"entity-type":"item","numeric-id":15452,"id":"Q15452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5946347$BDE9A652-F98D-4B60-BD73-E74B6C120CD3","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":"Q5946347$E40F9911-06DC-45B7-886C-45818E3FC6B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9debdf2f2f7901d99d6ae44179987833ff6cde58","datavalue":{"value":{"entity-type":"item","numeric-id":4439552,"id":"Q4439552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20044561e7e7162bfc85126f8c4e7aff0b82001f","datavalue":{"value":{"amount":"+0.7889801263809204","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":"Q5946347$96B8C917-B65D-4F5D-9B20-5830564E0E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70737d0756f65e0131eda41d8c7bb17a46148685","datavalue":{"value":{"entity-type":"item","numeric-id":3158282,"id":"Q3158282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20044561e7e7162bfc85126f8c4e7aff0b82001f","datavalue":{"value":{"amount":"+0.7889801263809204","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":"Q5946347$4186387A-F907-44C3-B034-E08C7A194772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c4174026a40322bb882e4bc6c5c5101e682a5b","datavalue":{"value":{"entity-type":"item","numeric-id":3564012,"id":"Q3564012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"522a2b71e2efdf56cfa5d66d365b8fbdee9a6bb6","datavalue":{"value":{"amount":"+0.7484828233718872","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":"Q5946347$A5A7C953-CC8D-4593-B819-1EF5851429A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d119b80e6484340e5918151ffb38cb0620293f","datavalue":{"value":{"entity-type":"item","numeric-id":4473705,"id":"Q4473705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9a83fa5ae695ac0dbfd97254829cbd94c7cbbc","datavalue":{"value":{"amount":"+0.744816780090332","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":"Q5946347$62988908-1166-403C-A9FA-938672E1EEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feca7f6f6c2212e475be0ffaf59b794582bbf172","datavalue":{"value":{"entity-type":"item","numeric-id":4509910,"id":"Q4509910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01377fcf4f903bb527aa828f23c56865fa90e90c","datavalue":{"value":{"amount":"+0.7421056628227234","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":"Q5946347$FC812920-4964-4170-8FDB-4878F5F2771A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal methods in designing embedded systems -- the SACRES experience","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_methods_in_designing_embedded_systems_--_the_SACRES_experience"}}}}}