{"entities":{"Q6496629":{"pageid":14075402,"ns":120,"title":"Item:Q6496629","lastrevid":57344823,"modified":"2026-03-30T14:10:39Z","type":"item","id":"Q6496629","labels":{"en":{"language":"en","value":"Formal Reasoning Using Distributed Assertions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7842299"}},"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":"Q6496629$45C89825-1C03-452B-8F84-91B13EDA81CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"523c67498a0737a3944c14cd9a682f3f7dec7047","datavalue":{"value":{"text":"Formal Reasoning Using Distributed Assertions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6496629$C141CEBD-60CE-4B3E-8D7C-578C7CA3549C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6847e539734be8cf4ceaa481db20bb12b18f6f2f","datavalue":{"value":"10.1007/978-3-031-43369-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6496629$F1211DE4-788B-4DAF-AE32-6B9E17F988E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4495632dacc9be7a9785fa75651e6fdd13afe61","datavalue":{"value":{"entity-type":"item","numeric-id":6496628,"id":"Q6496628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$CC105C50-6740-4F2B-A952-46341ED0CB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20c32845a86517c3925e9fa1724cfe5786b42b11","datavalue":{"value":{"entity-type":"item","numeric-id":928658,"id":"Q928658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$D766BAFC-1D8B-4F95-AFBC-377C1AF58AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$E832B63A-C44D-4D14-8E5F-A6227F32F967","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfe8f812c44973320a5b5393ac1a99b462a2ece6","datavalue":{"value":{"time":"+2024-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6496629$EE2D69F5-E1B1-43A3-9270-6455685D849D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6496629$E1E7AB87-A072-47BF-9D9F-6D5BC9A54CD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15689c78971b6810bd6876d8435212e91b8cf1de","datavalue":{"value":"7842299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6496629$B2B4B698-E652-4F59-9E18-992A412A5C8D","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":"Q6496629$DEF90474-8BBF-421C-9531-FE47F051FE82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d97626ea5ff9be24bcc32ef8bdbf862e07f2e9","datavalue":{"value":{"entity-type":"item","numeric-id":3522044,"id":"Q3522044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$4B7F6705-38BC-4873-882C-D5B10521F4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cb7bc6676bcf4ae8d66c7a793e7ffdddba9905","datavalue":{"value":{"entity-type":"item","numeric-id":5110924,"id":"Q5110924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$C6395D26-8F6C-409C-84FE-680CBA78C5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb15445443b7a8677c7ef043ed8530f20d54b0c3","datavalue":{"value":{"entity-type":"item","numeric-id":3100209,"id":"Q3100209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$A3D5E1E7-3890-467F-881C-DDA8681A164C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a774592121362aea0b18362b2a1fe30f87c72aa","datavalue":{"value":{"entity-type":"item","numeric-id":1810904,"id":"Q1810904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$88F9CAAB-F764-4ADA-BE87-711BE2512DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$EA026DDE-E055-45D5-BFB4-F73C4C28B0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ef8bd5491561954e053fb17a1031115fe3ad2f","datavalue":{"value":{"entity-type":"item","numeric-id":5195258,"id":"Q5195258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$14845289-AE4C-4CAD-A97B-1C9B10D0A3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c1110fd3be878ef3de03103ae27e7c28e603a5","datavalue":{"value":{"entity-type":"item","numeric-id":5301849,"id":"Q5301849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$FB23FF59-A5CE-4969-AFB2-CC22E77B5791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f9dec41c7615ebddca88a5ee0923f61e9449fc","datavalue":{"value":{"entity-type":"item","numeric-id":1610674,"id":"Q1610674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$6E5B6F87-AE90-4894-84F1-405DCB44B216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef4114ad058efe7edabe8fdd17733b47122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":1701039,"id":"Q1701039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$E7331FF3-2D51-4A7B-AE95-D5D75C6F65FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f10d994e8a97bbbe2becee90fad178192db2e602","datavalue":{"value":{"entity-type":"item","numeric-id":5313072,"id":"Q5313072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$AF3A35C5-7D12-4A6E-A508-4C3563C4D7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf284620825356e4026f7163726a6eaa28789317","datavalue":{"value":{"entity-type":"item","numeric-id":287277,"id":"Q287277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$30295F67-CF11-43D6-95EF-25AD806F83EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba3bb8eb8718e00bca2697a55c941e0dc2927c0","datavalue":{"value":{"entity-type":"item","numeric-id":4691183,"id":"Q4691183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$A77BDF25-CFDC-4652-90A3-15757F6B628E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$B2E13CF4-5CE2-4206-B120-6D842661B107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b783d0052b7f250a9573410e9be2b4624ef11e","datavalue":{"value":{"entity-type":"item","numeric-id":5899057,"id":"Q5899057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$8D14B690-2258-4E5E-8297-7AF8703E52A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975b2bde1b83feb55eaa9c825c633af636d80354","datavalue":{"value":{"entity-type":"item","numeric-id":617715,"id":"Q617715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$7A3DB5C7-CD08-441A-AE53-CF1261421074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$675EC36F-6393-4CCE-9E2A-8BDC8C10269B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$9F8780C8-9BAB-41A0-9E9C-22D64B26A530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26d230258b918f625e763c45159f0527c390eb3f","datavalue":{"value":{"entity-type":"item","numeric-id":5236557,"id":"Q5236557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$1FD50713-DCD9-49C7-82DB-D979BCD19962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$902B9DAF-4D4A-4C9E-A742-5E9A97F4CEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b99ba7b69b0e5b7eb5624f8355ea42ea38f6953","datavalue":{"value":{"entity-type":"item","numeric-id":263104,"id":"Q263104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$34D454D2-82EE-46F2-8446-117D1089D363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33986f59fa18cd060155d2e9e24a78d8bd71490","datavalue":{"value":{"entity-type":"item","numeric-id":3133182,"id":"Q3133182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$20416511-75C2-4BFD-AD0A-95A5CC69E93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c103bf2cb62768c300adccc9356dc2154001a007","datavalue":{"value":{"entity-type":"item","numeric-id":2209542,"id":"Q2209542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$0AD6ED55-BA1C-41A0-9D72-8F7E6A28D533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$1B54D428-050A-43DE-BE33-6213AB585847","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e20aa566d303f8a7cbed4b248ef424c69af84ea","datavalue":{"value":{"entity-type":"item","numeric-id":1701039,"id":"Q1701039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ba34ec336fc69e84a8bc4b8ab62bb8b238788b","datavalue":{"value":{"amount":"+0.6819057464599609","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":"Q6496629$EA7078D8-C127-4F90-8F87-8DF8A0730D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c3827053eda897a004928956321cc924352f63","datavalue":{"value":{"entity-type":"item","numeric-id":5435630,"id":"Q5435630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820ae66444e60489e4eaeabe398c58f2fd8f3b4d","datavalue":{"value":{"amount":"+0.6800130009651184","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":"Q6496629$D87DEBFF-38B8-4276-9322-C269577F3A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc266ebb54b890652e53082ab264af512b3532a5","datavalue":{"value":{"entity-type":"item","numeric-id":5236558,"id":"Q5236558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4d47a4d9f2831d6d545dc7c578a9c8cb7c67a0","datavalue":{"value":{"amount":"+0.6757500767707825","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":"Q6496629$E154624F-0D17-48D4-9202-267500C0A008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1b97a6f9d5931d17692b9da0d3db3bb3213cf3","datavalue":{"value":{"entity-type":"item","numeric-id":3455771,"id":"Q3455771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d29a4d76c62819858e07d1c339776afb5d32b6fd","datavalue":{"value":{"amount":"+0.6635487675666809","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":"Q6496629$679DA31C-4C90-4DD5-81BA-819245BCAE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2976377a66c5997a5d9f768c20aed296c77ce056","datavalue":{"value":{"entity-type":"item","numeric-id":2915172,"id":"Q2915172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c25350e6f5876e178bd3dd9501dea61b86a1c96","datavalue":{"value":{"amount":"+0.6627991199493408","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":"Q6496629$45180815-8018-42DA-8096-848A6F9DB303","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6496629$F3970AD6-1637-469C-96D3-A631B5E2055C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6496629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6496629"}}}}}