{"entities":{"Q2956676":{"pageid":2967395,"ns":120,"title":"Item:Q2956676","lastrevid":79610969,"modified":"2026-05-06T14:19:18Z","type":"item","id":"Q2956676","labels":{"en":{"language":"en","value":"Synthesizing different development paradigms: combining top-down with bottom-up reasoning about distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6676164"}},"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":"Q2956676$202601C9-E205-45EE-BF26-AE30BF2E03E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f69b84e62bab4720de55ddd9ec4d2fde19bb7def","datavalue":{"value":{"text":"Synthesizing different development paradigms: Combining top-down with bottom-up reasoning about distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2956676$6A41E54F-901A-470F-938C-FF263CA1FFB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63aa7f87413eb13fb6be0a073fe4c16f244413d8","datavalue":{"value":"1354.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956676$28E5101B-81D6-4583-BD32-6A9179F5FF89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8550858a9f901c5be102c2b2342f0cd2e0d3b1d6","datavalue":{"value":"10.1007/3-540-60692-0_42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956676$9BEC246A-3125-4386-9115-99BDDC7C4E35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9c441d683c119e6cc822cedb6ecd42eb9208490","datavalue":{"value":{"entity-type":"item","numeric-id":1187625,"id":"Q1187625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956676$E76CE9B3-E859-4ED9-A7CE-12FF2638F320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df3df186e0a5abcc8bed8d665b300288bb63bfb6","datavalue":{"value":{"entity-type":"item","numeric-id":2768501,"id":"Q2768501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956676$C316D686-3A46-450E-8791-B6FDDCCE151E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf61e1c28cd3e26b0b006a26cc0e8ae38b4ee613","datavalue":{"value":{"entity-type":"item","numeric-id":673879,"id":"Q673879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956676$EAD70906-EFFD-4129-8075-78260DE6EDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4a33e668865998ad06e8768f6451ffff95432cb","datavalue":{"value":{"entity-type":"item","numeric-id":967529,"id":"Q967529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956676$37DE9373-6888-4CE2-82DD-29129A179FC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2956676$C5FF7065-582C-4366-AE41-D1B6B6EE1B34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"300acc7309ab8a260436b7e7ac046dd31b269120","datavalue":{"value":{"time":"+2017-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2956676$1B9896D4-507E-4BA9-9589-09981DFCE19F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956676$E8558B0E-4B56-45DB-AB70-8608F80C8C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956676$A53021B7-ED15-476C-92AC-06BD1AFF7123","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42324292eaca2629e3f017e5708b34b76c680972","datavalue":{"value":"6676164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956676$43B8BB86-1F9E-4D88-A412-F8095FC4B712","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":"Q2956676$51BEE00B-582C-42AE-BC59-77539425D663","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97bfea51196a26f28e6b4deb14355e8a3a19c842","datavalue":{"value":"https://doi.org/10.1007/3-540-60692-0_42","type":"string"},"datatype":"url"},"type":"statement","id":"Q2956676$78DFF9FE-7D5E-419F-98DD-9311535E6D27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14e7fce62770fa9192e5f3a365db9691c2360a33","datavalue":{"value":"W1730854003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2956676$A06472F8-5245-42A0-8BAB-661623D8BD31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8e8101080255604d6b53985f537e92e53df626","datavalue":{"value":{"entity-type":"item","numeric-id":4471919,"id":"Q4471919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e1f765d78215d980566132a125228c74a2e8d1","datavalue":{"value":{"amount":"+0.710089385509491","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":"Q2956676$93AC003B-26CF-4D7F-9311-4CCEBF490242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7804b317bee31d2ee3d5b9b508f85e776a49fa5","datavalue":{"value":{"entity-type":"item","numeric-id":5716893,"id":"Q5716893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc92fd291650542b57ec5fad2f29756f0eba64b8","datavalue":{"value":{"amount":"+0.6923906803131104","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":"Q2956676$B132352E-9D8E-4368-87F0-DF708F2F612A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fc178aec43c0422800fb8ea4ee9290a6f958a9f","datavalue":{"value":{"entity-type":"item","numeric-id":4385456,"id":"Q4385456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ea8d168414f67996ddce1b11e09a97652f1f9f","datavalue":{"value":{"amount":"+0.6869086623191833","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":"Q2956676$D5778DB7-6DED-42D2-9909-E17D750A4B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbe5f51c282ed5d80030a98cdb99419f730068b","datavalue":{"value":{"entity-type":"item","numeric-id":5900581,"id":"Q5900581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ea8d168414f67996ddce1b11e09a97652f1f9f","datavalue":{"value":{"amount":"+0.6869086623191833","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":"Q2956676$BC6E967F-DEFE-4CA3-B07A-EA2C09AB96C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de6fe9f07d79a5362f2d7f949e5b8139a1ff581","datavalue":{"value":{"entity-type":"item","numeric-id":5504601,"id":"Q5504601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59c1fc5a534013d3617aaa1e64443374d204ac60","datavalue":{"value":{"amount":"+0.6803700923919678","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":"Q2956676$A02C6948-477B-4F88-8614-9A2769C5B33C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesizing different development paradigms: combining top-down with bottom-up reasoning about distributed systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesizing_different_development_paradigms:_combining_top-down_with_bottom-up_reasoning_about_distributed_systems"}}}}}