{"entities":{"Q1089790":{"pageid":1100542,"ns":120,"title":"Item:Q1089790","lastrevid":66109578,"modified":"2026-04-12T07:37:20Z","type":"item","id":"Q1089790","labels":{"en":{"language":"en","value":"Specification and top-down design of distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4005592"}},"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":"Q1089790$D93BFE86-EDD9-43EF-8AF4-37B1E6AB4DCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ae94e9ce34266f1dabd63f211cd190da8ddbe15","datavalue":{"value":{"text":"Specification and top-down design of distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1089790$0A242FDB-67D5-4E34-9656-4D32E3CECAC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb27d229ef4bc94ecc13a78435a53329550245a2","datavalue":{"value":"0619.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089790$5F1ABDD2-0198-4C34-B44C-FA30C9ADF299","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c63e683d72d2104d6bf426a32148de86bf5c437","datavalue":{"value":"10.1016/0022-0000(87)90026-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089790$0BACBE18-DCD5-4379-B26C-33703DBA6993","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe0ba64045f6b8bc93a417d90524c47759b2541","datavalue":{"value":{"entity-type":"item","numeric-id":213032,"id":"Q213032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$1FD6F4E6-774E-4F49-AB93-C85E3D67B718","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$AC038CBC-A33E-4027-9470-1A9D9E79D436","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1089790$571B2016-C80D-4354-9B35-84BF9F2038D0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fbcb6470a99421852b251ff53ab48ac003a0a8ad","datavalue":{"value":"See the review of the preliminary version in Lect. Notes Comput. Sci. 185, 4-28 (1985; Zbl 0563.68020).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089790$DF26E9C9-00AC-4071-BDEE-30A4190982CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089790$B2B525D7-AC61-44DD-A190-7719A1F28E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089790$39F944D0-D10B-4208-AB20-F3660A34381E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fa17ba30dcd2a0ffcb14399ca6a2c17cb2002da","datavalue":{"value":"4005592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089790$7F82E888-3106-407F-AA73-518DA7272ADA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca66f3f17e967a9e245b082664364a3cec9a105","datavalue":{"value":"nondeterministic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089790$DC4FB797-51A1-495B-A529-694DBE6236C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a56ce3421c2737e6231dc70d4b211b90875763dc","datavalue":{"value":"concurrent communication agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089790$2EB01C62-EC3C-474E-BCA7-12BB704A3592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089790$5C98F889-9000-4491-90B6-673C8053547D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8376a09662b67ff600c57220464c9238631343bc","datavalue":{"value":"inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089790$FDAAFE9B-87F6-4F9D-8F49-DD69C9E7F461","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":"Q1089790$E160C2D4-14F3-40AF-97A8-C2444CE06614","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71fd9391c3119982a7386ec8e51f404e61db7d3e","datavalue":{"value":"https://doi.org/10.1016/0022-0000(87)90026-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1089790$24916AB7-8804-4319-940B-17F066CB518F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0de09b4235ac0a6f077cc76734daea00930b9c8d","datavalue":{"value":"W2154307838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089790$EBC0F585-A141-4734-9104-67B4BCC85121","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fcedb27f76af57f2932afc76a3a085b3d11592","datavalue":{"value":{"entity-type":"item","numeric-id":3725528,"id":"Q3725528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$FE586F8B-DA28-493E-BBBF-414EBFDC51C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64b6ccafd77be295bffb3990c7688874dea1138","datavalue":{"value":{"entity-type":"item","numeric-id":4746778,"id":"Q4746778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$587E7D69-96DC-48FB-9997-98D8A5E73DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2fd734b3b7b50c83275a7242273f4cb7ec80b94","datavalue":{"value":{"entity-type":"item","numeric-id":1838282,"id":"Q1838282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$4506F583-3199-4D59-9270-F536A772D9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafe2b4510b62eb6f7da558d828a5cce371d51f6","datavalue":{"value":{"entity-type":"item","numeric-id":3657421,"id":"Q3657421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$7BC76902-4D3F-4F1A-A850-03A8097CCD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e764bcaa3f10a7885ad757dc5e688d591a1fc064","datavalue":{"value":{"entity-type":"item","numeric-id":3719813,"id":"Q3719813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$304B957A-FC7D-4D2A-A853-166F74DA5EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10d39325e99d915044337685f61c3b5206d3164","datavalue":{"value":{"entity-type":"item","numeric-id":3347276,"id":"Q3347276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$693A6AC4-2A16-488B-AA8D-099E42666004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a612039d08dd1b39bf6eae6fa519ae89db00c0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3216137,"id":"Q3216137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$E6666224-EC71-4BCB-AE13-9E781001C5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c8f9071577ba573850f7e66a886df33df06189","datavalue":{"value":{"entity-type":"item","numeric-id":3339253,"id":"Q3339253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$946520A6-279E-4360-857A-45B0E2C4367C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"151471590de58d09fa37bb7570546a91d5a5d094","datavalue":{"value":{"entity-type":"item","numeric-id":579917,"id":"Q579917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$077AA3AA-933C-4EA0-8F33-846611F6C480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf74703b34de1626ffd3d7ae5025c7b42a757dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1169290,"id":"Q1169290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$BBC5F02D-A873-4050-9BCC-BEADF5BA8936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a95725ef959f462ddc538789b5dc4c37dff0f0f","datavalue":{"value":{"entity-type":"item","numeric-id":4076730,"id":"Q4076730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$5282FCBA-807C-4A4B-AA5C-263AC43A74A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82ad10c73e928271f482901deda0f097caa8289","datavalue":{"value":{"entity-type":"item","numeric-id":3723675,"id":"Q3723675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$EAE96EFE-AFCD-4EF3-BB5C-8742EAB24797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$B582A798-5848-4A40-AE23-7B71EE2CAD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f7e92412f6b79d84af77b11b1aebb79e0508b8","datavalue":{"value":{"entity-type":"item","numeric-id":4138147,"id":"Q4138147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$F44AED0A-DC1D-45AB-AF0C-256263C0361B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23248c88fc41b2950a22cde2c8bc56c687ea48a","datavalue":{"value":{"entity-type":"item","numeric-id":4151149,"id":"Q4151149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$CD864EB5-7DA0-4FDA-BD36-9F93C6202F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$65FC49E2-F2BA-4815-801F-76C5252ADB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$FF65971E-F6F9-4BE8-8EA8-384379CAA76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$BF92717A-4172-4D5C-87EE-9BC615EC56DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$6AB96C67-F4BC-4D62-A1CD-64B61965A15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9a9dea218297e050daccb0e20119a5cddf246","datavalue":{"value":{"entity-type":"item","numeric-id":3667958,"id":"Q3667958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089790$3592BDFE-7AD2-4335-AE24-9604A5663725","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification and top-down design of distributed systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specification_and_top-down_design_of_distributed_systems"}}}}}