{"entities":{"Q3731019":{"pageid":5760925,"ns":120,"title":"Item:Q3731019","lastrevid":50803049,"modified":"2026-01-15T05:50:51Z","type":"item","id":"Q3731019","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3963180"}},"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":"Q3731019$37FC57E6-EC5A-461A-84F3-A283B5E0C53A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a26d0a6af75e0cc6865427d0e05724c92dad45d","datavalue":{"value":"0597.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731019$2E3FF50A-1C39-4D97-BA0C-E80A9092571C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"655b272f9711e4d9ee9172807da80e0536e6347a","datavalue":{"value":{"entity-type":"item","numeric-id":229991,"id":"Q229991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731019$3D22BE3C-F8AE-4DA5-BD99-4F4E823670EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4a33e668865998ad06e8768f6451ffff95432cb","datavalue":{"value":{"entity-type":"item","numeric-id":967529,"id":"Q967529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731019$8E2901F7-9C28-4D26-972C-8ECF30012404","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":"Q3731019$71091CDA-B2EF-44F6-959E-C4B850E28811","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731019$0D02C529-7587-4C6A-A8D2-C5F11A708DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731019$0007C330-7A40-49FF-86E2-575825ACA35E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"945a7b038ba86221891dfea66950f2e72cd5b214","datavalue":{"value":"3963180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731019$A61559E3-7BD8-4C13-9DD8-2BC3F7CB1267","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731019$A089EF6B-2FAB-4E2D-845E-0E729E774AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65e118d47216c337b86587df399c29f252dd1913","datavalue":{"value":"formal proof systems for distributed processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731019$511ED364-128E-4C7E-9874-BC389A079AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731019$8350C9C0-10C2-417E-B2E2-88BE4BECEFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731019$D72E84C2-81A5-45BB-A899-6C9A60C8989B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731019$E4BE486C-2928-4AB1-AE49-F9BE0C4DC66D","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":"Q3731019$D9B97214-B62B-43AD-9D2C-FC416EB9C078","rank":"normal"}],"P1643":[{"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":"4d6bdb61f49db6743ce1c3e692681f7f4a0893b9","datavalue":{"value":{"amount":"+0.8330782651901245","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":"Q3731019$01FA2273-CD40-45D6-A564-4C912E3A02F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae772c6a3459e9fbabf3f56064e1b0c1cd84e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5198499,"id":"Q5198499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790a182aa5179830a4ca3dc56de8dac3953b2ebd","datavalue":{"value":{"amount":"+0.8013967871665955","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":"Q3731019$88DC8841-0683-4979-BDDE-B6198771ECF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7687b7b6ef1f4839bff889d4f7b64ce91af7da","datavalue":{"value":{"entity-type":"item","numeric-id":3347278,"id":"Q3347278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240e5910faffe46cc419fa67f84c8c7c324c5635","datavalue":{"value":{"amount":"+0.7965463399887085","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":"Q3731019$FC562E95-72D6-44AC-A44A-A2766C4245FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ff37d49902b9d5663ee08fe8164dedca9a14e82","datavalue":{"value":{"entity-type":"item","numeric-id":1106014,"id":"Q1106014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8216d85fe2d03d2f11c759668202ab70bfd371ef","datavalue":{"value":{"amount":"+0.7829814553260803","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":"Q3731019$F2A9824C-9CC4-4F49-BCC3-53EFEF1EC125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad16f45463e13c094618bcfe21faf97c7c861684","datavalue":{"value":{"entity-type":"item","numeric-id":1079011,"id":"Q1079011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b9cbb8b993c396468a825e52d7361343500d34b","datavalue":{"value":{"amount":"+0.7824907302856445","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":"Q3731019$AD39675E-1DE6-48E9-977A-40E6950677E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3731019","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3731019"}}}}}