{"entities":{"Q3359774":{"pageid":3370479,"ns":120,"title":"Item:Q3359774","lastrevid":46050592,"modified":"2025-12-22T05:45:26Z","type":"item","id":"Q3359774","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4213463"}},"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":"Q3359774$1696CC49-3D15-4018-A1A7-BCDC61B97B79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23602fba2c4970cc06ebcc35aef125440e01c48b","datavalue":{"value":"0733.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3359774$AA910D96-A0C1-43D3-9797-C5BB04226DD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bcdf2499e6cce07c27ae9c6a561900bad65d2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3359772,"id":"Q3359772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3359774$BEE1CFF2-EB05-4842-9ADF-FA2C24585BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2eab19f6f41f33c3838527bfcab3ace910749bc","datavalue":{"value":{"entity-type":"item","numeric-id":3359773,"id":"Q3359773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3359774$FA433ABA-7D7F-454E-98F5-704323FCDD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa6c274ae5806bfe9b5f55fbf71c3fb11f11e611","datavalue":{"value":{"entity-type":"item","numeric-id":921961,"id":"Q921961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3359774$1A82BCEF-0B3C-46DC-82E2-2234FFB95706","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3359774$CBA13BE9-156F-4814-9262-429A81C701F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3359774$A8454623-90A7-4465-B0F4-2B749FE55A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3359774$5F51A362-02CE-4137-94E7-60DEA2E8E32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3359774$B377B02D-7CA2-4783-AC78-4659CB1863C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28cbc1290c779bcf7f2b11af5c5eabd025fb092d","datavalue":{"value":"4213463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3359774$07E399DC-4222-429D-8FDD-25F300F4BF7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b06c4e2e2fa208251f1b7eb210fd4b2f18df1d9","datavalue":{"value":"rely-guarantee specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3359774$205EA941-FBDC-4D87-9D00-FCA6AB9DC348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3359774$A95AB7CB-48A1-4E69-AEA2-669B5BA8D66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86807b9fd79145a6e27db0f6f1532fba342ba890","datavalue":{"value":"shared variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3359774$8C614D33-D077-4938-A5CA-0665CEDCFE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c71b707f5007155db751ae838f69f16c9f7f744c","datavalue":{"value":"specification and verification of concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3359774$DE173153-22EE-4FEB-88DA-82FC8A1E8658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e07787a1cd26c789140f5c3150ac09bb65f07f7","datavalue":{"value":"safety properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3359774$C765C4DF-79B3-4E51-A36E-9AE0D6E49687","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":"Q3359774$233EA6D2-95E6-4E33-A5E6-DDC5EB9DD6B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c27553afe3ec989f4922bdde0cef56955300392c","datavalue":{"value":{"entity-type":"item","numeric-id":5194959,"id":"Q5194959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93fd7010d0ad485c37fecaecd6185aca9cca8c5c","datavalue":{"value":{"amount":"+0.8604241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3359774$FA83D1B6-8DD7-4FF1-9747-980E87CFE3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eb4c4b75493b45e3843b7454635ecd4a130d9c0","datavalue":{"value":{"entity-type":"item","numeric-id":5427260,"id":"Q5427260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d021dca3c959338c01a877a3d1d4b3437b2da6e","datavalue":{"value":{"amount":"+0.8539665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3359774$3A1A0890-5366-4643-BF47-2E0A6A3DD1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39bee104079d0abac0c2cc2a7c6e68109be7623e","datavalue":{"value":{"entity-type":"item","numeric-id":3447708,"id":"Q3447708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"671c98c2cd964a1fbb13027d0465b08721ce1072","datavalue":{"value":{"amount":"+0.84590626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3359774$2200236B-FE0A-49A8-8088-FDC456147DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6f939cfb5d2d85b1d807e3b4050cd4762cdec98","datavalue":{"value":{"entity-type":"item","numeric-id":5146379,"id":"Q5146379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8894023dfd0aa39f94b412cd2c7ff8906b3e9a8a","datavalue":{"value":{"amount":"+0.8456477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3359774$16CF49DC-70E7-4776-8415-690C19E22B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f952c6166e2d30a76d9d8ba5546c1f56b51223d","datavalue":{"value":{"entity-type":"item","numeric-id":2942895,"id":"Q2942895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8bbdae62f0547052657b20db25d1a354330b22f","datavalue":{"value":{"amount":"+0.83928174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3359774$977BCCCF-9DE7-49E4-9B02-8B63CBD51278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09f3b7cd8ee4334fbdc2f1a186f3bf0cf6ffb12","datavalue":{"value":{"entity-type":"item","numeric-id":333330,"id":"Q333330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1efc981c08ca20c230fff356e06432ab65b254eb","datavalue":{"value":{"amount":"+0.8385258","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3359774$206C2684-E4C1-4802-A96D-DF0E2D8F9117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92352399aa1d6b6bcde4318d7c3f8904e98b5b33","datavalue":{"value":{"entity-type":"item","numeric-id":3512489,"id":"Q3512489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f982c94b2e242300133a6be8d3a7cdb6c3f32e1","datavalue":{"value":{"amount":"+0.8371669","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3359774$8A2588A4-7BC0-4136-BDF8-02CF231E59FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3359774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3359774"}}}}}