{"entities":{"Q4913784":{"pageid":6943363,"ns":120,"title":"Item:Q4913784","lastrevid":51687848,"modified":"2026-01-19T11:57:27Z","type":"item","id":"Q4913784","labels":{"en":{"language":"en","value":"Approximate bounded synthesis for distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6152254"}},"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":"Q4913784$CAA39F0D-79C1-45E9-BBF7-918FCC1E8C1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c1bd63924c0f5c6b5f804e73c50deb6e44f0f82","datavalue":{"value":"1324.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913784$E6AA858F-670C-4450-BBB9-C30E88DC7D71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3acf65f63364ee2de1f8b81ad1ca15f6e47cdaf4","datavalue":{"value":{"entity-type":"item","numeric-id":386575,"id":"Q386575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913784$76AB5EAB-88F9-4657-A4EF-7FAE334418F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b106310c4babfef4a92b1ac008faa417a562825b","datavalue":{"value":{"entity-type":"item","numeric-id":386576,"id":"Q386576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913784$A367154C-E001-41D5-9520-48ACB5174184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa559d0b30bcb967cf77724f4e2eeab06bf73d7c","datavalue":{"value":{"entity-type":"item","numeric-id":476476,"id":"Q476476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913784$7DD7A452-544F-453A-A926-96BE698EDD40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d05c5960e17df88a20f497dd893bcc369c3eaa","datavalue":{"value":{"time":"+2013-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4913784$7F0F7218-03AD-400B-B4FE-C217619D8B0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913784$6F69AF53-3111-42C4-B306-31F0A23D0E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913784$C96C1298-4AEE-484D-B704-7B947E01BCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913784$D31D23D1-044F-4EAD-A2B0-5C446E878904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913784$7E6B373A-70CE-42CA-B3B7-6967902019DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913784$A7689F51-B2E8-4ABC-AAB6-59BC718DE6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913784$E6E099AD-82AC-41F5-A60C-225107877905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913784$E89E3293-ACBC-40E5-B17A-FC62BE4BF718","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97cde23ef8dec0a23db181ca5fcf2fc3c4a60d9f","datavalue":{"value":"6152254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913784$E89FA3FD-2EF1-4145-9567-506A8364FAD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d56f07d90d87f9e983b5cd43df3d2e10c6a0d4b","datavalue":{"value":"complex system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913784$2AE5DBA0-BADA-4AB0-84BE-32DBE79407F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1b612f7adf6abea92587716629093ec77e660f","datavalue":{"value":"mathematical modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913784$7CAEDF02-39EF-4CFD-8F9F-07CDD8A217D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40758adb8b754acc14e3eb9b17ef21ab25b3baa0","datavalue":{"value":"parallel process","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913784$019DCC62-EFE2-479D-B39E-976669D5424C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a59f8170b5f2f6d80e40e39b94c854b4f7a2fb8f","datavalue":{"value":"hierarchical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913784$F7F25858-9569-483B-A361-1F734C1778CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"089b634ba95d5aea5c6e9b7773aac7c710855de9","datavalue":{"value":"APRO network","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913784$DA28ECB0-0CFD-4AAD-8C7B-F32EFBB41B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913784$41106BC5-A846-4FDA-B3A5-4F012857D990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e7cba82aed204c0a36f7d0512e1d36fe068508d","datavalue":{"value":"cluster system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913784$25DF25AC-7D36-414B-8D6D-08B0413641FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913784$D74230DC-D98A-4C78-99F5-5E7F32436BE8","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":"Q4913784$98A3120B-4EAA-4143-888F-688D7BBD6624","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb9a449625e12089bea4fe2f18a39ba4998b716","datavalue":{"value":{"entity-type":"item","numeric-id":3790598,"id":"Q3790598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca2a6aa8b5f09797cea661872d923b94a3e0536","datavalue":{"value":{"amount":"+0.738408625125885","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":"Q4913784$92D9074E-7755-4D0C-8071-861E2507A815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc591d425f9735cc716a7df6c6937a9abd8bc963","datavalue":{"value":{"entity-type":"item","numeric-id":2855318,"id":"Q2855318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b428f8981cdc5f55307e16dcc5d8f1ecd93505","datavalue":{"value":{"amount":"+0.7362903952598572","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":"Q4913784$81ECA58C-F08F-451A-8ABC-CB52D159F91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511e6d0fe3b8b98178cd19ab3e9f3fd89dac6581","datavalue":{"value":{"entity-type":"item","numeric-id":2382306,"id":"Q2382306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1310306ca1da2c39e6e1a9b3fac15c7ed0668bfc","datavalue":{"value":{"amount":"+0.7204291224479675","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":"Q4913784$BCD1780F-AFD0-4897-BAF0-5AE69E4EAD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfb0dba26e4fa921b816d657987aa57997af603","datavalue":{"value":{"entity-type":"item","numeric-id":3691107,"id":"Q3691107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90b51d078a5f2705cab4466ecc3a69cd6356fc4","datavalue":{"value":{"amount":"+0.7165492177009583","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":"Q4913784$563AF2C9-0961-4B38-B317-89345AE64F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6161f1df829927d5c8133ffcc5ad6d585af4363b","datavalue":{"value":{"entity-type":"item","numeric-id":1195147,"id":"Q1195147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ff728ce12ca7dc759998bd371307118ab6a122","datavalue":{"value":{"amount":"+0.7105463743209839","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":"Q4913784$CC39ED98-3912-465D-9828-6AF6A0BFDC42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4913784","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4913784"}}}}}