{"entities":{"Q6622001":{"pageid":14233158,"ns":120,"title":"Item:Q6622001","lastrevid":103962530,"modified":"2026-06-06T08:33:06Z","type":"item","id":"Q6622001","labels":{"en":{"language":"en","value":"Proving confluence in the confluence framework with confident"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7929263"}},"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":"Q6622001$629A2595-14AF-4C6B-ADA3-693C76B92765","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d88cdca114550a2cf97b8889976096dc7cdfa65","datavalue":{"value":{"text":"Proving confluence in the confluence framework with confident","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6622001$850724EC-4EAB-4061-9D7E-9B6F45B4F822","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1c19588ca8ef1febcc87270db917e5f47cf5704","datavalue":{"value":{"entity-type":"item","numeric-id":989289,"id":"Q989289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$2201A4AD-0F5B-479D-A449-7BB7668C8C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$975FC6C4-F288-4944-84AD-78F24867FE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8983d191d726b695a460dbf64e3a0d32171659d3","datavalue":{"value":{"entity-type":"item","numeric-id":6187061,"id":"Q6187061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$AC0B0E96-16C0-44AA-982C-1FB0A8831E27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$07BF6EB4-51ED-4517-B5F2-48977065AF47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac889730097a55c61339de7e6de152e6be5788f0","datavalue":{"value":{"time":"+2024-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6622001$5D69CE02-C67B-4F48-AAB7-29F3A0D8F3FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622001$A3D0E3F3-6C36-4C77-A4B1-B9CA16451329","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82d5efbc817c252d1e91ff9412551dd79d258ac6","datavalue":{"value":"7929263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622001$09014D24-C5DF-4C73-8B67-95A8795F46C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622001$FA6EA739-87C0-42FD-8B02-81685161B9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622001$A4BDCF3C-650B-438A-8636-0A54E718106E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6622001$790DF7F2-0B10-43F9-83B4-C5C2D2BCA7DE","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":"Q6622001$AE89577E-18AF-433B-85FB-28929256D216","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b0bc9d3659e8f2b5629b306693b5858611998c","datavalue":{"value":{"entity-type":"item","numeric-id":6151615,"id":"Q6151615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$0EDCD1B5-0FA4-405D-9E38-A1735582132A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$280AAA59-73A2-4338-A85D-9AE101E060A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9f23bc58febcc60aff99ac387949cd328d3079","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$13D4AB11-59EE-45F4-8B4D-35C02206A7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b84f823b14d0f23ba5f08302bad63e3af1883f3","datavalue":{"value":{"entity-type":"item","numeric-id":2043816,"id":"Q2043816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$2FE65D00-A401-4B49-939D-AC9CB080DB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$D23E2C6F-9E57-45F4-BB20-15AC5A8D6CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c946ee26571140051551ad1ed868fb6088571","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$564BE75D-6FA5-4AAD-BBFC-6A6461E94000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$083F15E9-8E46-4823-867D-D8B061C96C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34950020de3b9c2a805e8bdc842332b93d42754","datavalue":{"value":{"entity-type":"item","numeric-id":5089009,"id":"Q5089009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$1159EE0C-B08F-489B-A609-ECDBB081C324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd238595f08fe015f16514f7aff76d016afee35","datavalue":{"value":{"entity-type":"item","numeric-id":3608787,"id":"Q3608787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$E7A7B60E-CE8B-4C63-9096-F25A8585911F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d739f7988c22d3779af68b730ba131bf422b42ba","datavalue":{"value":{"entity-type":"item","numeric-id":3522011,"id":"Q3522011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$C6AC7DE5-C6F7-489E-8316-7CC95075629F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa0a67550b91d4a74d29e7b40c5a8f1dc5c2f5d2","datavalue":{"value":{"entity-type":"item","numeric-id":4933276,"id":"Q4933276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$3688D2F5-3ED2-40D4-AEDC-3CAAAE92C576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae0abab94a705c39043ecd61c1a54360ab1aedae","datavalue":{"value":{"entity-type":"item","numeric-id":1635507,"id":"Q1635507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$45B1D195-75FD-4D9F-9392-6C5B647D67C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16258d9a3a703db616d63050ff5a071f95880252","datavalue":{"value":{"entity-type":"item","numeric-id":5049020,"id":"Q5049020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$A3A6A155-964E-4F5F-9EC1-E9AF6B8A9FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$2F1AB478-DF26-488C-AFCD-100D77119D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$8DB83B88-CF05-4241-B274-06DB94BCE71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$95321AF0-3F81-40DE-BCE1-66B183D61CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7790e3e27db8bec99894f0f897ea0dd1cad496","datavalue":{"value":{"entity-type":"item","numeric-id":6187062,"id":"Q6187062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$78CAFD1E-8808-4218-8A02-322556CBD92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b3a3bbb3070928fbac1b871eab8deae4848ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1328184,"id":"Q1328184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$54C1A4A7-26BF-4684-82F9-2F689EC02576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad49c0e73a818ba4ceaf2b590f61e94f93060ab5","datavalue":{"value":{"entity-type":"item","numeric-id":1929227,"id":"Q1929227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$A9AE78AC-023D-4C0C-9665-2A46EDEF0152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73082194760b2ca2ddf549af4f20d67097ed3f50","datavalue":{"value":{"entity-type":"item","numeric-id":689098,"id":"Q689098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$266FE724-3174-4F70-8D50-3CCBB29CF3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$C16F9953-80E0-4146-88C4-77A0025649F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8c08d244a6b275b719f350bd2ac35e88e48bd9","datavalue":{"value":{"entity-type":"item","numeric-id":1199539,"id":"Q1199539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$D1593623-1D35-429B-A6E9-C9ABCA103F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c44b9b936face2dfc4d4635051b2920e843d73","datavalue":{"value":{"entity-type":"item","numeric-id":2368072,"id":"Q2368072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$4769010F-6781-4B26-809A-AEF62CEFBD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dafa9463b7aae27917c87d2d898e60c5e87e766","datavalue":{"value":{"entity-type":"item","numeric-id":1911401,"id":"Q1911401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$7A1FF3B0-1BF8-4B66-9943-47CA6A8B77E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033dcd0736cb42469f6e374b902230aefb1fddc4","datavalue":{"value":{"entity-type":"item","numeric-id":4954455,"id":"Q4954455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$DBE20637-4F88-4F0E-8467-86C6E27DD5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1178087fa59d8bd99d0bacddba2556fa09cad05d","datavalue":{"value":{"entity-type":"item","numeric-id":3893265,"id":"Q3893265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$D870BD1C-E1F0-41C1-945E-7AC3BB30A237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$CEF8BEB5-1DAB-4930-9917-E8F72C3565D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3fdcf6eed15cca5b9dd7fb0f599de1b8457467","datavalue":{"value":{"entity-type":"item","numeric-id":2956716,"id":"Q2956716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$75222F3C-46BE-4C8E-8615-7F58D4F2FFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f9d3213f8484a650526ddf57d168f43690151cd","datavalue":{"value":{"entity-type":"item","numeric-id":5111905,"id":"Q5111905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$85FB076B-B62D-4DBC-826A-91C23F890827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d7ea5ccd099e8647306ecad8d347ba71cbb0d4","datavalue":{"value":{"entity-type":"item","numeric-id":2904621,"id":"Q2904621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$86ABFC36-64CC-4CFE-BCA2-C7B5B1BB8D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67ebe330482a25481526c9eebf18b5ee31078c61","datavalue":{"value":{"entity-type":"item","numeric-id":5055830,"id":"Q5055830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$104CBC84-A2FE-40F8-A630-ACE28CA1F6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb502a66c2690cba4aa14b834e6ce235a7f99823","datavalue":{"value":{"entity-type":"item","numeric-id":3527284,"id":"Q3527284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$2136CC3E-5FE4-4195-80E5-4592BE7DF848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$68BE20DB-D81F-4FCE-85E7-43FEB9C06871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f8f7ccc1c97a833573f62334972a5021fa3d72","datavalue":{"value":{"entity-type":"item","numeric-id":3817653,"id":"Q3817653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$8251F4A1-F207-4BC2-A4D0-35305004DBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03dacafad2ff19ded175ac7d62381d002687606","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$897DEB2E-DA42-4315-A613-572D830FD200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8630196765e23a48a0f7120cd525c10258da6f13","datavalue":{"value":{"entity-type":"item","numeric-id":2305421,"id":"Q2305421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$3D60AD71-807C-4BAF-AA4F-9A6F0CA99CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74373b55bec6df4b935c511f0aa61279530718c","datavalue":{"value":{"entity-type":"item","numeric-id":3520165,"id":"Q3520165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$A43F55AB-69AF-4543-A2C6-C46A2DFB70F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a2bbb5b4d44285ce61bd44fd533431301032d9","datavalue":{"value":{"entity-type":"item","numeric-id":3636821,"id":"Q3636821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$658864C8-75E8-4000-8B1D-9ACA1D62DBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f30922957fb622ffdcbc55c75cee3bb82a58abd","datavalue":{"value":{"entity-type":"item","numeric-id":2405264,"id":"Q2405264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$F78C0937-855F-456D-9547-0DBA494DED10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b763a04eabde37fd1eb9b2c5994f1585f800cf","datavalue":{"value":{"entity-type":"item","numeric-id":710679,"id":"Q710679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$DC376A14-975D-4338-BEBE-4DAFBD7D4D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c4fecbe4cc69b04cccbaa6947717d7d43e5f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5089547,"id":"Q5089547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$96259B56-58B1-4BA4-8EAE-4F9406847C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfe1a468bf534a00b281ff6f6e46bb3e144de76","datavalue":{"value":{"entity-type":"item","numeric-id":2289018,"id":"Q2289018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$E677F99C-1909-4257-8700-2AF258AABE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$745ACB75-8938-44B7-804C-9EF82F367895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461b8596f936b4acd4b9ccaf6444d9340797391","datavalue":{"value":{"entity-type":"item","numeric-id":2373703,"id":"Q2373703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$732764B8-B3EE-4907-8269-1CD2006E559F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c002024dc720962b6529d391d3debc5a9ceb5","datavalue":{"value":{"entity-type":"item","numeric-id":1931906,"id":"Q1931906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$5629F99E-115B-447D-8BB1-59AB4DFB3BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$C1DED8C5-C560-4C1A-A5EB-A6F6B8F53578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74bac414bf3a72a6fcad7233fc66e59915a6247f","datavalue":{"value":{"entity-type":"item","numeric-id":6109479,"id":"Q6109479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$120C4D0B-88F1-4F32-B927-BD6CE79710CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58eca621ad2654c8a528a69257f4c130fcb4449c","datavalue":{"value":{"entity-type":"item","numeric-id":2042664,"id":"Q2042664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$C162232B-2489-44FB-8DC6-B20EA0299B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6622001$F185623C-43CD-450C-A0DA-A42EDF7965F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"784fe832503e5828765e167f1b9aeb1d7dd4970c","datavalue":{"value":"10.3233/FI-242192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6622001$A64E9368-AD5D-4B75-BD94-70E51B6A3CE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving confluence in the confluence framework with confident","badges":[]}}}}}