{"entities":{"Q3347264":{"pageid":3357972,"ns":120,"title":"Item:Q3347264","lastrevid":46013230,"modified":"2025-12-21T16:43:56Z","type":"item","id":"Q3347264","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3890704"}},"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":"Q3347264$1188B1B9-6572-4737-8D24-07948440973B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a77a41264e522fabc994128a66ad8529b1b501a8","datavalue":{"value":"0558.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347264$BEE07D36-3D2D-42F6-B43F-1E32C05E51B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3347264$7DBE84C8-56D3-4F4D-BF4B-F6F76BFDF045","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3347264$87F347F1-F699-4B7D-B088-A5186B87534E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347264$182AC938-D9FA-4397-8EB2-11B805CD9A5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7be6d8e5144f6e3d0b90f6c960c2a14b6f42ac94","datavalue":{"value":"3890704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3347264$A258BB38-B0D0-472E-8490-BAB066F22D34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"121c99859b889588f1096b3905ab7c3ff14f17ea","datavalue":{"value":"correctness proofs of concurrent and distributed programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347264$CC0688C9-2774-4731-B2A6-7E1A4DA6614E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347264$C612C276-74AD-4F9F-8774-A84BD9E53EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cccf60d621115af89443e73696d4770169930b6b","datavalue":{"value":"reducing complexity of the correctness proofs of CSP programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347264$211C2D43-C988-4467-BBCC-BFE34E1A0F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c475d20e98fc61d455b8a7cedaeaa8bbb6697f3e","datavalue":{"value":"communications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3347264$F0DA2527-1887-4191-8F17-C8B7FB486F18","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":"Q3347264$C151681F-0E26-46C6-9F37-A36C0E7A6EE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9cb3edec2623204e514b856a3a7357a8e81bb57","datavalue":{"value":{"entity-type":"item","numeric-id":3989946,"id":"Q3989946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3677f88f0bce268045c2ca18e3a89adbdcd73703","datavalue":{"value":{"amount":"+0.8905035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3347264$FBC75AD8-89B3-4C9E-8399-9AF1E852E182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87ec311a15d8827e2fadb0daf39bcac965bfa22","datavalue":{"value":{"entity-type":"item","numeric-id":3455540,"id":"Q3455540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5832cbe7cce95df67adfef018620130e0b40ce32","datavalue":{"value":{"amount":"+0.8866602","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3347264$D37A2354-1F09-4D54-BAED-DA8D93B97F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"351591f5f6503f4c4917224f41ed1b263bf455fb","datavalue":{"value":{"entity-type":"item","numeric-id":2938170,"id":"Q2938170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef7a56ecaa6f179bbc1db66b9c1243fd05b6eeb","datavalue":{"value":{"amount":"+0.88193524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3347264$6D42EB0F-EC25-4D72-9C6E-5384640C64E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100348ad4d2ff692d530df03719eb819285cf90c","datavalue":{"value":{"entity-type":"item","numeric-id":2848369,"id":"Q2848369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbfe714c0697e4b0c0fc923be6f30f74b2d0f816","datavalue":{"value":{"amount":"+0.87440383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3347264$7CB4DAFF-C0E5-472D-894E-EBCE38CC8826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1238890e41ca03689facaca3d149d83b98d41c10","datavalue":{"value":{"entity-type":"item","numeric-id":3090843,"id":"Q3090843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc431c2742d4f3b84207b3a34e72ceab53dea47","datavalue":{"value":{"amount":"+0.8735237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3347264$0765F691-F4E3-467B-BB4E-D9BFDE68903C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0acff2b6375a754c2eb310ffec383de8b118f2b","datavalue":{"value":{"entity-type":"item","numeric-id":3617433,"id":"Q3617433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e34a1e0fa71ce923b654a345971c6de837b1eba9","datavalue":{"value":{"amount":"+0.8679352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3347264$157EFD20-DB7C-477F-9AA3-1AA2E1D72E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5460c3c4115d038ac07973252e2a76e86093dad7","datavalue":{"value":{"entity-type":"item","numeric-id":3681909,"id":"Q3681909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc839d2c61ac4fd44a9f657648e9544e750d52e","datavalue":{"value":{"amount":"+0.86574906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3347264$575FF894-099D-4F4B-AD80-9DBE00F2E528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b6d56566321adca77f28726083b293374f4088","datavalue":{"value":{"entity-type":"item","numeric-id":3578394,"id":"Q3578394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00812a2ce1735b7d4ebc4e1fb2a18677bba9b00a","datavalue":{"value":{"amount":"+0.8632922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3347264$2242050C-A5E2-4C45-A4DA-EFCEFAEA7C27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3347264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3347264"}}}}}