{"entities":{"Q3725528":{"pageid":5755434,"ns":120,"title":"Item:Q3725528","lastrevid":50761607,"modified":"2026-01-15T02:09:33Z","type":"item","id":"Q3725528","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3956416"}},"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":"Q3725528$0BA80CA9-33E3-48D9-A84D-1A5AC753358C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73df6f3eafe030ebc4b31450fb082cc99cd5330c","datavalue":{"value":"0594.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725528$0CE1C949-170B-4A04-855D-5DDFF104AC4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33d000139a62fd77e59fd5eeddbef5ca99d4a3f4","datavalue":{"value":{"entity-type":"item","numeric-id":934705,"id":"Q934705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3725528$DFD30007-CF6F-4BAF-95CC-CFD2B48C60A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a99c6e68c4bf3eed343f564904eff07ea03eb8e3","datavalue":{"value":{"entity-type":"item","numeric-id":1125429,"id":"Q1125429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3725528$7B66B068-AA87-4B60-A5C6-ACC336BA11F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3725528$74F10015-97A3-423E-9A7A-764567FD78D4","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":"Q3725528$BDD264D9-883E-469D-9C3F-384EF5E656DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725528$AA93D99F-F998-4565-B071-C4E5FE9F25AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725528$9F96B731-B049-4E47-A773-4068A07D2090","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c1b7df69e3d7f1deb65f12b5f6c2ed3906751e2","datavalue":{"value":"3956416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3725528$1E679EA0-B7EC-4D58-9F1F-7AA4175B0F81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"097dd3fcf0a1d0dedc09b02d2c76ca07827a583f","datavalue":{"value":"temporal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725528$5E5EC0F3-BC65-4A67-BDCD-D84EE13E2837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccfb9d0b06c076dd07db83217057ea35b6d9d2eb","datavalue":{"value":"liveness aspects of synchronised message based communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725528$BF832B5F-E9C3-4AEF-9F01-9FA21758DB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa045b099c19c21dd33263e6a18dcc4b9c90dc8","datavalue":{"value":"CSP-like language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725528$324EBAF3-5EB7-470C-812E-DEC79A0DB4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a38842aa4dbf5faba66766f1c4268cbf61b1b77","datavalue":{"value":"dynamic process creation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725528$D97BC9E4-FBFB-4475-91FF-55DB2B1F3CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd0b1587c4898febfa58569b7e438800234190f7","datavalue":{"value":"compositional temporal proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725528$00AA161C-8451-47DD-AF35-256FABF9070D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4734a47521c48b7b32ae545a74ae18917855b200","datavalue":{"value":"total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725528$5D08E2A3-57A1-4A86-88C4-15B50BACBC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1354dc0d28d493448e14b7cc3eb857b13b6dd822","datavalue":{"value":"program correctness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725528$8C6BF82A-B34A-430D-8E59-E03725A2F00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725528$1D68DA82-647A-4AC9-BE46-C3DD0AEC5EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14600697105fb6115bd8c79c9dd7045f26573dfc","datavalue":{"value":"dynamic network of processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3725528$80A9ECBE-906D-4C11-A682-5FE4BE8F5A60","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":"Q3725528$F156C0D4-4446-4D0B-AB46-80FB53476BCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dfcba4652c65582e7e00a2f62ec5f6e2e872fef","datavalue":{"value":{"entity-type":"item","numeric-id":3725533,"id":"Q3725533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168f75387bb356f35d302ca01881b0de71f80530","datavalue":{"value":{"amount":"+0.8195628523826599","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":"Q3725528$E5AAC2A4-3BE4-4517-BC71-F40AC1558CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b4a2f6423b87c8b45f33bea6e77cbaad8be6706","datavalue":{"value":{"entity-type":"item","numeric-id":1079948,"id":"Q1079948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59e3ba82a679759aad6a408bb26981f879dd2d1","datavalue":{"value":{"amount":"+0.7903679609298706","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":"Q3725528$8A5E5588-1004-48A2-A27E-F27A843FC573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14239c5ea597cd4f22afd4ff733955b21a2e1b29","datavalue":{"value":{"entity-type":"item","numeric-id":3835444,"id":"Q3835444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a80f111bf3dd9e6dbebb325f74597c1a598840","datavalue":{"value":{"amount":"+0.7871683239936829","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":"Q3725528$39091C05-DE7E-4665-AADD-2F2BF515FE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74974f86a83c0b9ddc8feb10884580cca5fa2ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4282003,"id":"Q4282003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62611d48752050a444c03d779bf18ff6d23f263","datavalue":{"value":{"amount":"+0.7861920595169067","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":"Q3725528$2BEE9A9E-EF30-4B19-B700-D4B57BC381F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0858596335dd9b5a37f9042971ac2431298c3c9f","datavalue":{"value":{"entity-type":"item","numeric-id":4723289,"id":"Q4723289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba428e00b4e0d7a8fc214911c9a37a4402598d0a","datavalue":{"value":{"amount":"+0.7854223847389221","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":"Q3725528$C3BCC59B-E974-4E13-AC4D-14407F63FB0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3725528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3725528"}}}}}