{"entities":{"Q2263425":{"pageid":2274168,"ns":120,"title":"Item:Q2263425","lastrevid":72973698,"modified":"2026-04-14T09:07:19Z","type":"item","id":"Q2263425","labels":{"en":{"language":"en","value":"Algorithm for synthesis of real-time systems under reliability constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416512"}},"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":"Q2263425$1C69F673-793D-45AB-AB56-EC611EFF418E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6204cef275719d673d0c5c6d48ced32eb7a7305","datavalue":{"value":{"text":"Algorithm for synthesis of real-time systems under reliability constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2263425$F473D046-4DBB-4612-8E36-09033F221D78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46c957bbd09aad6374e220f13d99d0f14d1e648c","datavalue":{"value":"1307.93268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263425$42D8F740-C078-4BCE-BA63-04330FC51072","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90295736869f618d88b92bb373fb8d576eee3a23","datavalue":{"value":"10.1134/S106423071202013X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263425$5A21C8E1-9217-457A-A9D0-6608D9B3CC71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0af7fef6e12f531f9e72e1adb3e9c3ee419183e","datavalue":{"value":{"entity-type":"item","numeric-id":2018644,"id":"Q2018644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263425$96E17F13-FEC9-48EC-AAD2-F98B329C0873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a04055cd3d91f1e328715a3e913e13d89f423c7e","datavalue":{"value":{"entity-type":"item","numeric-id":174265,"id":"Q174265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263425$C827FF26-5464-4068-B082-C2F3A32EC0E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cf25ce818b85bb8b10c5d233e02ea9e0a830581b","datavalue":{"value":{"entity-type":"item","numeric-id":295575,"id":"Q295575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263425$24D18340-E3C5-4552-8DF5-BC5B2F7C2048","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2263425$86CF1695-5E22-492C-885B-941C3D1E5DA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263425$74B2156E-9F6F-4694-A8FA-A29A39C6D020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263425$99A5DFB5-A538-4D6A-8E88-5E1328DE9ED1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a40701646b55a14a13c3eda6f40e5af7faf301dd","datavalue":{"value":"6416512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2263425$6E73A2CC-02E4-4615-B459-331D95B99F94","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":"Q2263425$7D706526-07FA-495D-BF9B-DDDAD1A935B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81f41b52c1523a445c780243bcb200bac0a6bdf","datavalue":{"value":{"entity-type":"item","numeric-id":733994,"id":"Q733994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263425$3C584B28-D744-4FD2-A745-9CE0654E6EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00adab57c354220be8660f094eb30ba16ec228e","datavalue":{"value":{"entity-type":"item","numeric-id":3687702,"id":"Q3687702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263425$7E1DA5EA-A2B8-4F9B-A781-ED33F4998C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263425$EADE4442-1023-44C4-9252-F39C2B1907D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49bce2992fde77e6459df5a10bd2eaf74259d6db","datavalue":{"value":{"entity-type":"item","numeric-id":1403220,"id":"Q1403220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263425$0DDAE44D-928D-4C4B-8E48-879F210CEE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a0645868a9329cb3fff295b09266700787b148","datavalue":{"value":{"entity-type":"item","numeric-id":4317098,"id":"Q4317098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2263425$750CDF83-0487-4458-9ECC-AAE84B36F0E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"023eecda68e2d18f804e40e3c0e247f9182d6f84","datavalue":{"value":{"entity-type":"item","numeric-id":5176179,"id":"Q5176179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80dc34d65a26c0d702aa7b7f57a86e54980a0ab","datavalue":{"value":{"amount":"+0.7673916220664978","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":"Q2263425$D893F1D8-C20F-4DAF-9F37-138D947E2B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caa3dd2f9552fcd3904f31cf371916ebaeb6ae2a","datavalue":{"value":{"entity-type":"item","numeric-id":2017764,"id":"Q2017764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eab264d76c6052196e15afdd8e13377ab7ace116","datavalue":{"value":{"amount":"+0.7469915151596069","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":"Q2263425$C34F474C-E738-4044-A565-3D878273B4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d3dec4e8ebacfb281702c56487198c0c300644","datavalue":{"value":{"entity-type":"item","numeric-id":1319773,"id":"Q1319773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e47e63110cac10a7c8f66ccb4980bff2435698b","datavalue":{"value":{"amount":"+0.7320853471755981","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":"Q2263425$E8EA7516-C450-4A97-B4C6-E283E479316B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeee6fb49b7559f719d4f89b588aacd34128ddc7","datavalue":{"value":{"entity-type":"item","numeric-id":5929915,"id":"Q5929915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec5acb9a14f7947f1970b92ae315e637fe490d3","datavalue":{"value":{"amount":"+0.7218831181526184","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":"Q2263425$714E5EFE-B438-4230-AF8A-23BBB759F363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"232858878ee7117404f65130d5008c0842b226c5","datavalue":{"value":{"entity-type":"item","numeric-id":395267,"id":"Q395267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42d38fc71262eb5b755202237a3a5dae958ff8c6","datavalue":{"value":{"amount":"+0.7212018370628357","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":"Q2263425$6F725B36-8AC0-4285-BE00-0B9C7B835CC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithm for synthesis of real-time systems under reliability constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithm_for_synthesis_of_real-time_systems_under_reliability_constraints"}}}}}