{"entities":{"Q2817629":{"pageid":2828367,"ns":120,"title":"Item:Q2817629","lastrevid":42204105,"modified":"2025-05-27T19:47:12Z","type":"item","id":"Q2817629","labels":{"en":{"language":"en","value":"The complexity of verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6621807"}},"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":"Q2817629$4944BE2E-26E8-44BD-B30F-6A9A5E5C7D90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb34a4ddf0d0b6891e9ae7305e73e96ad4a14527","datavalue":{"value":{"text":"The complexity of verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817629$51BEA7ED-743F-4AF2-9F7B-A6EE23A563C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a38178dea681a6da03d15514fda013aea2d2271a","datavalue":{"value":"1345.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817629$CCA9C6B6-60FC-4653-BC67-FC9DB2F48F52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05e580c4ccb71c583da6c44a09670f442b5ef08b","datavalue":{"value":"10.1145/195058.195194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817629$0C53801F-BAA0-4C7D-A145-5F6B8159FDBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ac9865fce36b00b83ba5b8e31f5c41be4684294","datavalue":{"value":{"entity-type":"item","numeric-id":2817591,"id":"Q2817591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817629$3DF1F149-E4B6-4F0F-931B-8AB0558D7428","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4cb1dfb644827a2862c7d97faa24a24e858feb59","datavalue":{"value":{"time":"+2016-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817629$6D174CFA-0633-405D-8533-8458C9BB55F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817629$266CD432-9CC7-4ADF-81A4-1EA44F982035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817629$6EE8C528-E26A-47D8-8C8C-5E34D66D0A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817629$227CE586-AD28-44B7-93BD-3D23E48761CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9372280d9d47e4ba54dc48d34d9ff0f470b76f10","datavalue":{"value":"6621807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817629$8F8C4F7A-AC49-4FF2-9E4C-25C7F7EEF9CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a17f242a3e8e18424e964720afec0852d4e8feae","datavalue":{"value":{"entity-type":"item","numeric-id":1696591,"id":"Q1696591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817629$29B95FDD-D540-4B48-8E4F-5DFE49B67680","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":"Q2817629$71A6F862-50C8-40AE-8955-13DE65D762F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b0242c24bfcb5d07c5a1025c559839e3449585a","datavalue":{"value":"https://doi.org/10.1145/195058.195194","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817629$AC20821E-B24B-4A8F-A6F2-B469EC237A2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ab4583837cc88191688bcc93378fd64d10c941f","datavalue":{"value":"W2089056087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817629$9D4F7C59-387C-42C2-A9EC-9FA103B53681","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2817629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2817629"}}}}}