{"entities":{"Q3732953":{"pageid":5762859,"ns":120,"title":"Item:Q3732953","lastrevid":50863736,"modified":"2026-01-15T11:53:11Z","type":"item","id":"Q3732953","labels":{"en":{"language":"en","value":"An example of stepwise refinement of distributed programs: quiescence detection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3965433"}},"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":"Q3732953$3BF7007F-823F-492E-A345-8137D6728C31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26796892dcab2c77705c25f34574fd9bdb486577","datavalue":{"value":{"text":"An example of stepwise refinement of distributed programs: quiescence detection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3732953$1B1FC354-CD58-4CFB-816F-C96919E2FA3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c80e4483635a42f0692c9c2779541926675d79b0","datavalue":{"value":"0598.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732953$59ADAA09-7A3D-47DB-AA99-3AD50F2C7E84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3fce79ba5ef84b317c6315fab0ab45006ad6cf8","datavalue":{"value":"10.1145/5956.5958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732953$18489C28-F9FB-4930-91BD-E8AF02C9EB88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c6ddbe3400d52bfe37658a9a3280ea3520d54f3","datavalue":{"value":{"entity-type":"item","numeric-id":1898184,"id":"Q1898184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3732953$2B1E5BF8-4DDF-412E-9949-F07B7DF037B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c68a16c5cbfcd2b4f037f5d1ee5ded1c873b2444","datavalue":{"value":{"entity-type":"item","numeric-id":239151,"id":"Q239151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3732953$F8A56D91-D597-4233-ABCB-FE896D6F8ECA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3732953$BF34B21B-20B9-47FF-8F55-ED878C2B5B16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3732953$B8517376-0780-4932-9AF3-CE53F2FABA53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1f257a68f7271491b752b7aebf6657ab56265b7","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/toplas/1986-8/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3732953$C57C838D-7E07-4589-8DF1-EFB9D7E4276E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732953$98311B42-BC02-4520-84B2-CA4D8A7E0FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732953$E94625E5-8D9F-4810-98FB-A2F785967F72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c11e76133f1f54356dfbeb85f30ad7ff7c311175","datavalue":{"value":"3965433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732953$2628678B-A672-4984-A061-98A5105DE1D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8199d3c167bb7194c1f4325dd8abc9ea993e9d4d","datavalue":{"value":"program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732953$1FD86936-DAB8-4B60-9881-74D9AC3A8AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732953$6227BF8C-CB5F-4847-ABED-51F42412059E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee3bda3b01eecf8fc58e56f24a8ed1c13a81c18","datavalue":{"value":"termination and deadlock detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732953$3CDA06D7-34ED-4FA6-94CB-6839553A35B4","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":"Q3732953$D07BB7DA-9C1B-4E2D-9BBD-5EE92EEFE6E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6aa352861d5ea131c42b1be2c9df21ce74237e59","datavalue":{"value":"W2154004999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732953$6D29D8CD-1A89-4CB0-895B-F7ACF8550366","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b0f4f21fe4457dfda799fab13ce81f56500d15","datavalue":{"value":{"entity-type":"item","numeric-id":2640349,"id":"Q2640349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8a68aa371d6283176178a259069a20fb85919a","datavalue":{"value":{"amount":"+0.7420558929443359","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":"Q3732953$58F97E96-A36B-489D-8AC5-F52DE9633E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f4b7f96d5cc0152372c27cd209d9b5887558e6","datavalue":{"value":{"entity-type":"item","numeric-id":4038659,"id":"Q4038659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea8111ae92197a098b00ee010426ef0ed751751","datavalue":{"value":{"amount":"+0.732293426990509","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":"Q3732953$E1A643E2-0662-4374-A165-CA0F12C96269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f62bea4d709de99592b8b2743d6cc27fb073e89","datavalue":{"value":{"entity-type":"item","numeric-id":4222763,"id":"Q4222763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea8111ae92197a098b00ee010426ef0ed751751","datavalue":{"value":{"amount":"+0.732293426990509","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":"Q3732953$C65D7EA0-1CD1-4769-A1F2-E653F9EB071B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"137d9b5d48e79611647f32c32308da661a1751d4","datavalue":{"value":{"entity-type":"item","numeric-id":685624,"id":"Q685624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aceca5c30e76512624e79219b8ecd97fd6aec789","datavalue":{"value":{"amount":"+0.7208645343780518","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":"Q3732953$A5E8735D-BBB7-4E24-84B4-B84EBD46D43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62a850180f92538e4c5e725b89fb0e8a7168fb02","datavalue":{"value":{"entity-type":"item","numeric-id":3727356,"id":"Q3727356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aceca5c30e76512624e79219b8ecd97fd6aec789","datavalue":{"value":{"amount":"+0.7208645343780518","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":"Q3732953$D3488141-34F2-413C-B27F-F6FE4756B24D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3732953","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3732953"}}}}}