{"entities":{"Q5276195":{"pageid":7305770,"ns":120,"title":"Item:Q5276195","lastrevid":52854287,"modified":"2026-01-23T15:52:20Z","type":"item","id":"Q5276195","labels":{"en":{"language":"en","value":"Verification of evolving graph-structured data under expressive path constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6745899"}},"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":"Q5276195$BFBFF21D-DBCF-4A48-A065-48DD6AA12346","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"395b87750ceae4d93b35988a90e72ebcccdb103f","datavalue":{"value":"1369.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276195$861438C6-7C8F-48CC-B49B-892D1B4050F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68917332de83c1094eea5c37873949ca8bca3c10","datavalue":{"value":{"entity-type":"item","numeric-id":309908,"id":"Q309908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276195$B85FFDD9-DA0E-4AD0-A151-62426CB974BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d62277f25be17574188de007f553262d7dc6737c","datavalue":{"value":{"entity-type":"item","numeric-id":414846,"id":"Q414846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276195$ECABAE29-A4CD-4C24-8261-AB86A80752EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318ecb6a51d305f5b595ef01f7d0fec8d6fc0d2a","datavalue":{"value":{"entity-type":"item","numeric-id":414847,"id":"Q414847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276195$7511769D-B882-4E3E-ACBE-C07A6CDF0E10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e17da29f5e1bcb78c64e7bb3fa49945fe60982e","datavalue":{"value":{"time":"+2017-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5276195$3D409C53-79AC-42F4-8D03-0047B8E0C732","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276195$24EAC615-FFA9-49CA-8197-64290E5F0434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276195$E2CC7461-65C3-4B4C-9D37-9F4945F136EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276195$ABDBE435-FC62-4A26-B1AF-70252E2C3FF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d80f23e5246704341a28afdbf0fda3b55913e35e","datavalue":{"value":"6745899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276195$8063B27A-7618-4FB3-BD3D-7E097395E68F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47da5375442552c1988f8d369ef4e3feef585d70","datavalue":{"value":"path constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276195$15B2BFEC-5074-4F7F-975B-FA641FC50A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276195$02E93E5A-C30B-4960-B254-F36B15C3C5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c39ccd9fb2c771bc6b3777652f89e2955e75b2","datavalue":{"value":"graph databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276195$4A6CB5BF-67A4-4C41-B440-94B59A076D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"429b1bb2880597c2344753195d527743940fb5f0","datavalue":{"value":"static verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276195$71D9AB04-95CE-40E0-9623-3E3DFCF56F4A","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":"Q5276195$1B5FA8B0-FCA1-4231-86BE-8A710D9E4A14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db99e20ae7cfc882791b565c6e324b70b15189bf","datavalue":{"value":"10.4230/LIPICS.ICDT.2016.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276195$85E457C1-8282-4485-854C-F2C108041B96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c503d0838fb9a91e781ed6febb8ccb4450fda9","datavalue":{"value":{"entity-type":"item","numeric-id":4608716,"id":"Q4608716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7621b726bd0064f02f13d09d980d25f4c6c752bc","datavalue":{"value":{"amount":"+0.8038671612739563","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":"Q5276195$3CBDA64E-B570-422C-8F2F-35B9279C8D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e872ffeee15714acfcf60b1c3b1fed33423138b","datavalue":{"value":{"entity-type":"item","numeric-id":1591150,"id":"Q1591150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a0bd35c50a585298074c9f1256cfd4801e1ba11","datavalue":{"value":{"amount":"+0.7492069602012634","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":"Q5276195$B0CB1BF3-D26A-4080-B56D-482F95BF449E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a61c8e84da9150823b08607bbabefaeb6596f0","datavalue":{"value":{"entity-type":"item","numeric-id":5311157,"id":"Q5311157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca060b0e0a3e344cd84e2ddd09fafb54ec471f7","datavalue":{"value":{"amount":"+0.7333742380142212","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":"Q5276195$761D9019-E2C2-42CE-933B-374121E82C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80efd1d0c45384ff5f5419818acf6062060e4bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2456353,"id":"Q2456353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30d045c2f5d09b3caa450df40ad2b57c6d9e632","datavalue":{"value":{"amount":"+0.727455198764801","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":"Q5276195$65E5308F-CA80-4148-B87D-2C578DCE927D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7c76d399da2c127e49117ced91da97fc2673ad","datavalue":{"value":{"entity-type":"item","numeric-id":4329266,"id":"Q4329266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d82aabe898061f6194bd95b58bb56d8e7235188","datavalue":{"value":{"amount":"+0.7220568656921387","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":"Q5276195$9E0667EC-4E01-4A4C-8D54-EF05B2540B18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5276195","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5276195"}}}}}