{"entities":{"Q6639734":{"pageid":14250886,"ns":120,"title":"Item:Q6639734","lastrevid":55793041,"modified":"2026-02-17T22:54:00Z","type":"item","id":"Q6639734","labels":{"en":{"language":"en","value":"Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7945734"}},"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":"Q6639734$E9009F4F-0A61-4AD8-BD44-38579BC7F92F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e26354a5e85d6d85f78d0beba5fa252f5b2c10bf","datavalue":{"value":{"text":"Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6639734$309306CC-4BBD-40FA-B48C-FB703D2ED644","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f28c6f17189715ed832177cbcbb505f96e8d7c4f","datavalue":{"value":{"entity-type":"item","numeric-id":1617823,"id":"Q1617823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$78A8F323-2993-4928-A86C-DA58848CC87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$2ACC0089-B11C-4579-8ADF-0F84313A2B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f0d16d56334eda577a220b2d6e48a64c295fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":1617822,"id":"Q1617822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$2A73D952-EC10-4A14-BE1C-691FF80FC2A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$BFD678CF-DF90-4F82-A1C7-142AD98F01C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a4067ad21165ce71a0cf0d57227113013b4f117","datavalue":{"value":{"time":"+2024-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6639734$35CE4013-DFA3-4F94-88CF-DE4703FD0AD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639734$28DC911B-81AF-4737-B3EB-E6994117C43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639734$75A42278-70A9-4900-BFCC-FF8C78EE2808","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"959abf4534b2c0ee3d245035240e03e6b8c58365","datavalue":{"value":"7945734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639734$0BEFF416-7623-48CD-B1D8-22EB9F66D235","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639734$4B6569C5-432C-4A94-8F28-F32F126F22D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b98241ded7975c0f16318c85fe17a6847618e0","datavalue":{"value":"fixed-point theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639734$675A9ACF-C03F-4AFE-A4E2-33DF235C4A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b79e7ee150c3a6251ff50564c02e87292764dc1","datavalue":{"value":"predicative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639734$BDC953D5-A4DA-4B4A-A28D-8B7CDFAED92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03a0d2848f7e13e5373d661d808855d0d8662087","datavalue":{"value":"UTP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639734$050119BE-9F1D-4584-863C-2C57F98D1DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed819d96bc7cff24691938b6313255b68e60e95e","datavalue":{"value":"probabilistic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639734$3ABC9637-0FED-4DE8-8F21-DBE029BB5CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639734$9219FC2F-61DD-4E79-8CFD-9B21457FEEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4ba4811b863c3f125c5385dacdb87e1b4d3c61f","datavalue":{"value":"probability distributions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639734$425688FA-83F7-43F6-8BBA-B03233142FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639734$BD4039B3-4107-4EB5-B5A2-18D78DC9E300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a37356c3382c350f8dae1854e5c4cb5f061a9b2","datavalue":{"value":"quantitative verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639734$975B5886-C461-4805-868D-DDDA85DAB5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639734$C0C94742-64FA-46CC-A815-28030CCE7D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639734$434453AF-C205-49F4-9657-E59A49AE27D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639734$E9A9B5A3-B166-401C-AFFE-6BBF9E63A237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa401a90f7be40837e492046fd0146ae8e354d2","datavalue":{"value":"robotics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639734$1D4E3A36-9735-4552-8A04-D769FE6D9997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639734$5B83D276-AFBC-4CBE-81C7-40CF67A69123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f12eb165bd6cb53df1cbde83765cb1c65a6033d","datavalue":{"value":"classification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6639734$788ACF75-7865-46EF-A76A-A98B3BD2DCCD","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":"Q6639734$7AE0F3C7-432D-4D3A-85D9-58ABD0EFFB2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd14956350606a4cb97c3e2a2e317ad14ee6c5d","datavalue":{"value":{"entity-type":"item","numeric-id":5713453,"id":"Q5713453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$9FF2C593-3112-42A6-852F-9BFC07BD14E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff2fde5fee5dbb94ae7f59259e7f9b9ff71cb8bd","datavalue":{"value":{"entity-type":"item","numeric-id":640292,"id":"Q640292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$8B353CDD-64DC-40ED-A691-63F66744F9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8b39becd3d97e5b4332fc0ca5be51b8d26579c9","datavalue":{"value":{"entity-type":"item","numeric-id":3744955,"id":"Q3744955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$18EB698D-E429-4669-B4E3-D67C4EA840ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$D3EE7A2D-9A76-46D6-BAC5-17CFAE2C50B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68a86855822e448cb04f157262ce822691dbc12","datavalue":{"value":{"entity-type":"item","numeric-id":5150951,"id":"Q5150951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$1D621F98-CA19-4B9D-8AB2-C77E6F6EC1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$465757C3-6197-4E18-ADAE-CAE51199A991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$3C45E373-18B5-47A0-ADEC-FA0FDC99E6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81309e87becee3cda8d7174d2d8b5b31baaaeac","datavalue":{"value":{"entity-type":"item","numeric-id":2576950,"id":"Q2576950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$38D5CDAC-3D2D-4F2A-A702-2246408C5448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43404ec2d41a8c402f2500bd778d3e2740e76c76","datavalue":{"value":{"entity-type":"item","numeric-id":2802489,"id":"Q2802489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$A0BFA61D-6B08-42FF-9189-85BB0DB119A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242981f17c00df13a619d8bfc5459a0605635e93","datavalue":{"value":{"entity-type":"item","numeric-id":4625651,"id":"Q4625651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$EB8A85A8-469E-421C-B208-456EE637AF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc2d2ea3c0233142e77b98852e5e67bdaaa6240","datavalue":{"value":{"entity-type":"item","numeric-id":2323970,"id":"Q2323970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$F599FB53-C918-47A5-BEAF-6B5049AF8DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d16eb2457f1ae3593ef05e516dcd31f598ca1d8","datavalue":{"value":{"entity-type":"item","numeric-id":5253588,"id":"Q5253588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$D09CC98E-BA2D-4767-982A-47FB1D1B95D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ceee60449fc5767ba4cfde05fcdc1655f62f81b","datavalue":{"value":{"entity-type":"item","numeric-id":5313085,"id":"Q5313085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$0D3CF140-305E-4E9E-9D4A-4E13A6FCF5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d9a08ef6dc140dcaab0298ba120310f9347198","datavalue":{"value":{"entity-type":"item","numeric-id":2695373,"id":"Q2695373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$9E895ACD-B4E7-46BE-9F1E-847EC59D419B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de575d403630110b481edcb771b36c96771ed154","datavalue":{"value":{"entity-type":"item","numeric-id":1806131,"id":"Q1806131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$085F223B-82D3-4CD7-98B3-B637601416F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b746ff7695e203d510f019d0c136ce59ed84361e","datavalue":{"value":{"entity-type":"item","numeric-id":5150945,"id":"Q5150945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$A4A4B080-8005-4178-8A03-BDFF9258E6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$64EE3D94-74B4-4C1E-A6B4-3CE60DF7590A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82ad10c73e928271f482901deda0f097caa8289","datavalue":{"value":{"entity-type":"item","numeric-id":3723675,"id":"Q3723675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$503E08EF-38AA-4BDB-BB60-D65D72ED8345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$6477708A-AEE9-4A8E-9357-8FA8589F0347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f182afa47ea37b09a1d1a3075ffe1edef8370b5","datavalue":{"value":{"entity-type":"item","numeric-id":1063584,"id":"Q1063584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$B36B67FB-F1D8-44FC-B0B1-3AD8C8266E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df24839d625a390053c16402f9628907f226566","datavalue":{"value":{"entity-type":"item","numeric-id":5901607,"id":"Q5901607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$04D7E93A-3208-43D9-A2AF-667CFDC0D96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab27431165540664640d5aa634c6148768b5aab","datavalue":{"value":{"entity-type":"item","numeric-id":1356940,"id":"Q1356940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$3514A579-5777-4049-A255-13FF10A46232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab236aa23c38b0cc2b66ad3a0e5535813466543","datavalue":{"value":{"entity-type":"item","numeric-id":2296286,"id":"Q2296286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$4F72D759-B64C-40DE-9BC3-34F06391600D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1370d4ef41cfc490a43b42eec581952d43ac681","datavalue":{"value":{"entity-type":"item","numeric-id":923886,"id":"Q923886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$5C8486C8-00F9-457F-A547-CEA20FFFF55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2596fff7a43cf9dae167e4a3260a86eb026f5650","datavalue":{"value":{"entity-type":"item","numeric-id":3021957,"id":"Q3021957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$4761A154-6D92-4707-82DB-9021B975A0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797020f33bcb505e6b7d4ea91449a8c0b95864c3","datavalue":{"value":{"entity-type":"item","numeric-id":2373709,"id":"Q2373709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$302FBDBC-5D88-43F8-B2AA-10B95AB1D26C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f01e77b2c8dc769c5ab3929411452edbf96a4b","datavalue":{"value":{"entity-type":"item","numeric-id":5971408,"id":"Q5971408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$4C36D49C-C2EE-4894-8446-C5246E8C813E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5ad8860e2dfafdd492a4ade42b23f462631c32","datavalue":{"value":{"entity-type":"item","numeric-id":5261508,"id":"Q5261508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$603B4E58-F38A-4788-A488-65AE51F34EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde1171a1e61455ff21c0984feff3bab884b2d41","datavalue":{"value":{"entity-type":"item","numeric-id":1733103,"id":"Q1733103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$EA07EC1A-EC34-40A5-A363-B660605439B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28257ce02a4ba767d4b99cee6ba427bdbee61632","datavalue":{"value":{"entity-type":"item","numeric-id":2946345,"id":"Q2946345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$60E9C81F-DC0D-4E74-8FD8-4EBD194126EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd49cacaad2bba32371c0649c7914f9763803f6","datavalue":{"value":{"entity-type":"item","numeric-id":5703859,"id":"Q5703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$AB8FAC8A-7A75-41EC-94B5-1A149D088C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494704942889132fc5cd85d5e8b020c6a4a0b233","datavalue":{"value":{"entity-type":"item","numeric-id":2819834,"id":"Q2819834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$396EA82D-A01A-42C0-BD02-D1F5AE2DE999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7df6c5f8e4981be81c1b788a005568bc7eb853e","datavalue":{"value":{"entity-type":"item","numeric-id":6166145,"id":"Q6166145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$AF15E0A3-9203-43AE-8A86-08BD2F10AB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$64E42E6A-6759-445B-8D8B-840E5151DEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7e36306e3367786752603029959f3c466b6fb71","datavalue":{"value":{"entity-type":"item","numeric-id":3347251,"id":"Q3347251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$FB61EB9F-BCC7-489B-BFBD-9D727327CB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c2b438ff41595a3ca675f4a06f2dbbf97d0cfb","datavalue":{"value":{"entity-type":"item","numeric-id":2585204,"id":"Q2585204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$3089D087-29F6-4727-A566-A0A475C8A3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5981e1168811f3b1a276d506216532fa05a55595","datavalue":{"value":{"entity-type":"item","numeric-id":3179407,"id":"Q3179407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$4214D1DE-C506-4D44-85A9-21E1E6FD6E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ecd1ff3653c079baef04ed164c52723e8c739b","datavalue":{"value":{"entity-type":"item","numeric-id":3723676,"id":"Q3723676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$BA2644CE-E0C1-4A85-8F81-9D208DF686D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e27ad4b2994da46e11c5d31647a6af63a7a804b","datavalue":{"value":{"entity-type":"item","numeric-id":4282663,"id":"Q4282663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$C7282E5D-1960-4395-9921-D009CFD45ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d360f4c10b4163627f57faa3db163275ea6a011","datavalue":{"value":{"entity-type":"item","numeric-id":5327350,"id":"Q5327350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$00B7A855-8F96-4FBF-B4EC-A17F98C74D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$7DA9BF32-4C3B-4AEC-9F6D-DA38FB598D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb2285c8a941ba61ae041f917d026e280c870f9","datavalue":{"value":{"entity-type":"item","numeric-id":3138043,"id":"Q3138043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$DE3416CA-C32F-44C0-B779-E26B9384BBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a61b7701da971a87c154b5ba63697136c95a92","datavalue":{"value":{"entity-type":"item","numeric-id":4385538,"id":"Q4385538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$47931FEC-4BED-4B94-AB3F-31B891B6B96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d4b3fa7e45928bcee6b16f759f549d80fde972","datavalue":{"value":{"entity-type":"item","numeric-id":884946,"id":"Q884946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$D2956D4A-AE02-479E-8F54-6DEBCC172D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d3bf53e94a938d4f9a9fcdc3603c5ab6b47000","datavalue":{"value":{"entity-type":"item","numeric-id":5709980,"id":"Q5709980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$B5E6125D-D016-4A92-B2A5-4F57A9A550C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$AB97D61C-3E6C-42C3-811C-0AC0154CF0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d5526333ecce1996660037c310a447acb45cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5098720,"id":"Q5098720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$9F3BC683-A491-48E4-A00E-D8CC7D1E875B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c6b72f9c8f81b8d711ea18b4fe96c1f2fab19a9","datavalue":{"value":{"entity-type":"item","numeric-id":2365393,"id":"Q2365393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$7CD98737-5DC9-479B-B476-04CF7FA15DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d330c9967f580ffb498c48ddb39c9deb1547de","datavalue":{"value":{"entity-type":"item","numeric-id":5709370,"id":"Q5709370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$CECEDAEA-A8AA-4479-A329-BC7C712F16D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$2015DD9A-2131-41D6-B634-6D7B549547DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$566447D7-C4AB-4BCC-8C54-99F61AB05C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56557a811608e93a4f482e5a66b784fb3dd2257","datavalue":{"value":{"entity-type":"item","numeric-id":4730757,"id":"Q4730757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$FDB4D671-B63F-46BA-B0FA-82376A6C3DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$27AF167B-8080-4011-A163-3471E7595AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64500073f4568fa832760e38bdced5255a2807ea","datavalue":{"value":{"entity-type":"item","numeric-id":1392272,"id":"Q1392272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$3502A232-94EA-40AD-A0BD-F50FAC0BB3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb760dafe3a1dec3e75166aa9c1193599f9cb773","datavalue":{"value":{"entity-type":"item","numeric-id":672230,"id":"Q672230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$C54AD410-5AD8-4531-92CD-6412D3703BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$05734D86-338E-46EC-BB4F-1DFBD3023F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6639734$5AF9B51C-75D4-41EC-8321-B7237A38641A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03470950f1bd5ea9f0e3e3f0bc3f64918a5dc545","datavalue":{"value":"10.1016/J.TCS.2024.114876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6639734$808C3E91-E38F-4B51-8F8F-12C0C05F767F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e762e37cd06209be4295de301f467d7cd1e5ccd3","datavalue":{"value":{"entity-type":"item","numeric-id":2163157,"id":"Q2163157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4723ad8b8766d8a047027b23d18a81ca15e2751a","datavalue":{"value":{"amount":"+0.7050496935844421","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":"Q6639734$ED2D7B68-CAF7-4896-BF31-5887856A9D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7407a79318151a9354ceed665afe56cab3441e","datavalue":{"value":{"entity-type":"item","numeric-id":1961866,"id":"Q1961866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0aab1ff414c01ecb31383c13999be75b8a394a9","datavalue":{"value":{"amount":"+0.6970105767250061","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":"Q6639734$263BFCC9-998F-4F64-99E9-034BD2EC4F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b8ddcb91e7a670f4785e9373e1603365cadda43","datavalue":{"value":{"entity-type":"item","numeric-id":5233781,"id":"Q5233781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d609b106a9619fab14b450e0717b1fb44075f9bc","datavalue":{"value":{"amount":"+0.683394193649292","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":"Q6639734$A245B3BB-9B97-4566-BFC2-877AAB4479F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab268f9f0980535555b46c1338b8695037cc15ca","datavalue":{"value":{"entity-type":"item","numeric-id":6546469,"id":"Q6546469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d56366e2948859d7750707db0cc8bdc47d2de3a","datavalue":{"value":{"amount":"+0.6794697642326355","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":"Q6639734$0C808C66-1529-4330-80E4-15B8D3349C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d038f886152f9bd89bd5883a5637d9c0205bbaf","datavalue":{"value":{"entity-type":"item","numeric-id":3460539,"id":"Q3460539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aca03e9458219e277fc136925e861a97471220db","datavalue":{"value":{"amount":"+0.6791324019432068","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":"Q6639734$C0140FE7-A946-4C53-9127-548824E322B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6639734","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6639734"}}}}}