{"entities":{"Q3700812":{"pageid":5730718,"ns":120,"title":"Item:Q3700812","lastrevid":50372465,"modified":"2026-01-13T22:15:04Z","type":"item","id":"Q3700812","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3926220"}},"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":"Q3700812$431660B9-AF35-4771-8D85-772C78D2E413","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efddc9969a2bd7300294f8b8a8c154014ce52f0e","datavalue":{"value":"0578.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700812$CA475BD0-778C-494D-806A-02C8D32B2648","rank":"normal"}],"P16":[{"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":"Q3700812$FDE90273-1C41-4FCF-A454-BE6A68732AC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3700812$84BA09AC-135D-424F-903B-3345855DEA10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700812$8A5CA2E2-E5FB-40DE-B6D8-50921E26865D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfd41c55ad6e329ea3b7855e15a2b92816b11a61","datavalue":{"value":"3926220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700812$08E90A2A-DE50-4322-B609-9FD6A8522E20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700812$A27FE459-CE17-47AF-931E-ECEF449BF8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"020d228966f70377ad59a2f9ffcaf5fab9758eb1","datavalue":{"value":"analysis of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700812$BFC65294-84AB-4B7B-8B8C-3CCB1BF22807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700812$51B5BE7D-D355-4424-BC75-49C4E9490478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aba3bd2194c55f133d4ad4deeb19fbf8bd064e22","datavalue":{"value":"sequential verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700812$D8160C3A-208F-45F8-8A3E-FA84DFAE7497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700812$8E864B32-9E0D-4870-AFE6-3259F14AD204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700812$633BB271-CB72-4AF1-908B-BF429776F98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"995b00cc7d69ee07cf24da51a3a5485ed2bb2d30","datavalue":{"value":"mutual exclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700812$58C8B173-4EED-4B97-AA35-6118014199C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700812$1DB14138-9BBD-45FF-9436-4360D24AA420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e763a5df430e12f9b74ef360a5370a3f10b31725","datavalue":{"value":"encapsulation principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700812$36C5A59F-BC3C-4E5F-A763-4A8502B3DF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc2caa0a342ca8b67b936ebf00be01020f3dda6","datavalue":{"value":"invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700812$B2666C84-69B1-40D2-9403-5B5201A9914D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6dfaf80c239820953373a9c64a9f10dc39aaffe","datavalue":{"value":"program history","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700812$6D8E2181-DCBB-4DE4-B74D-D8EBBFD01CCF","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":"Q3700812$AA77CBF3-CA0E-4B1E-89C9-A85D3CE07945","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e88955d91680e6d765da8c1b8b08c87afc0248","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c08cee6d966654b76ad8e69e33073263ade2c89e","datavalue":{"value":{"amount":"+0.8143665194511414","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":"Q3700812$5FB64683-029D-41DA-9A44-837932DB7BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedc2fd789aa2f3d014d919c3a3a4076c401257b","datavalue":{"value":{"entity-type":"item","numeric-id":4885623,"id":"Q4885623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e88a41709a6d00295ede59d816f5ebc8660a93c","datavalue":{"value":{"amount":"+0.7741808295249939","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":"Q3700812$957DB6E4-4D90-45BF-B2B2-8B63971713D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beac1a2789e0b5a4281a7f96134071f404f043bc","datavalue":{"value":{"entity-type":"item","numeric-id":2759366,"id":"Q2759366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd09562a7547e8d2872f1a4d236c6e24f7a996f5","datavalue":{"value":{"amount":"+0.7666059732437134","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":"Q3700812$937518B5-244B-47EC-96B5-5B954AD2D820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d885a6b1bd128d2ae79869745e4b7954534fe14","datavalue":{"value":{"entity-type":"item","numeric-id":5930938,"id":"Q5930938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c09312e767e3ecbcd6f84adebba1e95e11beee2","datavalue":{"value":{"amount":"+0.7577610611915588","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":"Q3700812$DAD91AC8-3DFB-4401-B199-3F2FA3943F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5994139c9380b8f49568f90b62efb4dc285c425d","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f8700e91ec7c2d497f9e39deda5e8386bd9fd3","datavalue":{"value":{"amount":"+0.7560037970542908","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":"Q3700812$1E305F10-C615-497E-AB6D-31BCD3B247D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3700812","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3700812"}}}}}