{"entities":{"Q2165505":{"pageid":2176248,"ns":120,"title":"Item:Q2165505","lastrevid":57760464,"modified":"2026-04-02T10:09:54Z","type":"item","id":"Q2165505","labels":{"en":{"language":"en","value":"Certified verification of relational properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573716"}},"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":"Q2165505$19F12807-C1A6-415E-A30D-770495C81676","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cb3842c8ebe968d431912fe54ca8cf1e43256db","datavalue":{"value":{"text":"Certified verification of relational properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2165505$279A7CA9-C64B-41F0-A733-F9C6AF0210CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e8c9bea9fedc4702266f5e4c58e34ea09a1efc2","datavalue":{"value":"1502.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165505$EB0A2610-AD29-4D81-AAFD-63BF67353392","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d547cab964dc84ffcd2526a34751676998b15cad","datavalue":{"value":"10.1007/978-3-031-07727-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165505$697B5624-4BFE-48D9-A68C-0BDCFD5CBCB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a93c2b160ee9c4fe0c58fda8c9bbcc3cd1f69d6","datavalue":{"value":{"entity-type":"item","numeric-id":2165504,"id":"Q2165504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$573596D8-7391-465B-888F-057A3AD9F79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"407868012495339cc676e2def4d299dc32a605ff","datavalue":{"value":{"entity-type":"item","numeric-id":682365,"id":"Q682365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$B1169DB3-1E67-4B6D-A47B-C523B9C949DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f048dabfb876c27aa4e638e74c424cead7d48f","datavalue":{"value":{"entity-type":"item","numeric-id":1798905,"id":"Q1798905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$67DEBC46-C4B2-4B28-BB7F-6D27D0A00A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a54ebf41c09d98548c5a350681cdccac803d3244","datavalue":{"value":{"entity-type":"item","numeric-id":359894,"id":"Q359894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$CEC273F7-7702-49ED-8ACD-E2DB30EFD2B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc1df975eaf5d972c6cd76a177b15b62ceb34b0c","datavalue":{"value":{"time":"+2022-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2165505$5871A9E1-D2A0-4D16-8F44-5C9430A9A5CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"972324bd9d860eb799da32d7483378ff2c74c636","datavalue":{"value":"https://arxiv.org/abs/2202.10349","type":"string"},"datatype":"url"},"type":"statement","id":"Q2165505$A24A8752-8C82-4794-B8B0-90430647E417","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165505$05C680F8-7F67-446C-B0A0-8A16DDB2A3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165505$49FCDBC8-EA53-440D-B988-9632B83254BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43017df28d96c5e106c422e6d42673ccd7e9c56a","datavalue":{"value":"7573716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165505$B0A1E74D-7BF5-4CBF-84F8-461E7D1C37DA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$8629050C-C3BA-45C0-B7E9-332D3EB5B531","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":"Q2165505$9FFB9049-A275-4456-AC39-E488A62632FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5296c4a571853c72108d2e51a48d9af2781b4c1","datavalue":{"value":"W4285160958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165505$A274808B-E211-4FE8-83CD-7DEF157CA1C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$92D56D14-7147-4012-8375-2FD664B65780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a486f6f61fd4d307e4fee9b67b4596eca0595e4","datavalue":{"value":{"entity-type":"item","numeric-id":3103613,"id":"Q3103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$6EF7723F-E7F9-4024-B442-FFAF8BB55002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902d58911cf57d61e4e30d431d92c375a51f10b6","datavalue":{"value":{"entity-type":"item","numeric-id":3452246,"id":"Q3452246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$24D6737E-3FAF-40B9-8957-56FEE116FFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9848121be970f29acbdd8ee1dd3e8034af4a7204","datavalue":{"value":{"entity-type":"item","numeric-id":2323992,"id":"Q2323992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$849730F7-373C-47CB-97F1-F52EBB860B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd21cfa4660583e538baf1b412d409c55765821","datavalue":{"value":{"entity-type":"item","numeric-id":5178883,"id":"Q5178883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$FC0915D0-457A-481E-9985-F823731553C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$6B659390-1D33-4F95-AD9B-EA040963B0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db584d694e65ad0d716439ab78ef423b2e14371a","datavalue":{"value":{"entity-type":"item","numeric-id":4928447,"id":"Q4928447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$1EB614F5-C83D-4010-8F09-75222F270FF0","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":"Q2165505$2D4AF190-2BF0-4DB4-AF7B-6AE89269FB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$BC4389C4-C717-4BBB-B49B-0F466B92069B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00fd6a3e8c1cf2dd9b085fa696840af6d3bc8290","datavalue":{"value":{"entity-type":"item","numeric-id":1703014,"id":"Q1703014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$0A94B850-4A70-4F8C-9B33-B8430D4DF678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1588eee2e3fe5979cfd18e3e09df49f3b382d9","datavalue":{"value":{"entity-type":"item","numeric-id":945054,"id":"Q945054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$C5505195-7020-4713-9A8E-D4D2860CD58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc3e320a29fb63240b3b709fe5bc497385756c5","datavalue":{"value":{"entity-type":"item","numeric-id":6194570,"id":"Q6194570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$62311825-8DEE-414A-B7F1-B31582CC4742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b799aade81b4cd5b689709b2689d4aca488326","datavalue":{"value":{"entity-type":"item","numeric-id":832229,"id":"Q832229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$57DB40AA-B148-4DBB-9EE9-F6C9B2E344CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165505$3F149D14-5A0B-455F-9D62-75462CD3526A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0819deb17284ae696ab95b266fd2839a405b9311","datavalue":{"value":{"entity-type":"item","numeric-id":832229,"id":"Q832229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd1bf29e3b8cc8dd342b65850f9937d5910324a3","datavalue":{"value":{"amount":"+0.906194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165505$EA164DB3-8CDE-4501-BF69-F626521F7A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e3dcb6b29bcebb7ef09335900910fb3e6f1492","datavalue":{"value":{"entity-type":"item","numeric-id":2038082,"id":"Q2038082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f39b2d719a554fd73103e97ef34f124f66f6c68","datavalue":{"value":{"amount":"+0.89613354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165505$38758C38-8FF0-4EE7-A0E9-EF0F6B3A3F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92203812c86bdb674fbb41fa141aa4d621a7b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":2763981,"id":"Q2763981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d140a5d9a205c5fdd8decc6655132d1b295b2a18","datavalue":{"value":{"amount":"+0.8698479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165505$1E2C1C71-A1E9-4778-B050-106219E9ABB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d8313658e95b15113e09c4e0131c11cb8c6ce5","datavalue":{"value":{"entity-type":"item","numeric-id":5255077,"id":"Q5255077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fccc1f36035924d08d75bd8603677e0002dad4d","datavalue":{"value":{"amount":"+0.86490345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165505$66B1F399-7DD8-45D6-A150-609301AA5C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"782416097d4f602adc0c0e8fa1d9bffec5838c2a","datavalue":{"value":{"entity-type":"item","numeric-id":5016382,"id":"Q5016382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba671f84221e7c26e41897c6a1b28b31dacaed55","datavalue":{"value":{"amount":"+0.86459774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2165505$E1B4EA44-AB9D-47F1-B7D2-125FF0A90BE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2165505","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2165505"}}}}}