{"entities":{"Q5029448":{"pageid":7059025,"ns":120,"title":"Item:Q5029448","lastrevid":91197419,"modified":"2026-06-04T22:30:34Z","type":"item","id":"Q5029448","labels":{"en":{"language":"en","value":"Verification in the Grand Challenge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7473317"}},"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":"Q5029448$E68FC1FE-2439-4302-928B-56D1CC61B817","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c78b6c5b1bd57fbb309bec14b8da37b58832e37e","datavalue":{"value":{"text":"Verification in the Grand Challenge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5029448$AA8EF396-C146-4C92-8947-4555D3AB9D81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b48a3fdd954c0abecb677078dae949c6961f7a44","datavalue":{"value":"10.1145/3477355.3477363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5029448$2BA3E315-0781-446F-A844-E24EBCDDC52F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6605d7b453a57ede9f706ba6ec041e9beffdac3b","datavalue":{"value":{"entity-type":"item","numeric-id":861713,"id":"Q861713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029448$862A779B-3393-43EB-850B-01960693F680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"444b8bc3221e7980158ee955000792c0d7ea93c4","datavalue":{"value":{"entity-type":"item","numeric-id":3163414,"id":"Q3163414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029448$A56EE7CD-3534-4760-9A73-617C2AED8D69","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":"Q5029448$5198C9EC-78F5-4172-A04A-04981B6A1A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6879ffcd1cdf9c40679b75379e38ab355a77e925","datavalue":{"value":{"entity-type":"item","numeric-id":2482442,"id":"Q2482442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029448$118FF24F-2057-40C9-AF24-AB49589C590C","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":"Q5029448$7BC76525-3A17-432E-B56C-AE3152146239","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9d0dd4852ca50c2d21976066e2c4e62cb05bea54","datavalue":{"value":{"entity-type":"item","numeric-id":5029441,"id":"Q5029441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5029448$BDB9EEF0-AE66-4104-969F-B6764BDA5C84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44a4e856a85631fb651bf9ad5803d8b27e9b05d7","datavalue":{"value":{"time":"+2022-02-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":"Q5029448$623056E6-B4DD-420E-9C6A-407EC9187CB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"699d81e61eda947b1465c5f051bb5bd91b1f3365","datavalue":{"value":"http://www.jucs.org/jucs_13_5/the_verification_grand_challenge/jucs_13_5_0661_0668_woodcock.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5029448$3B3AD67B-6463-4F7E-BE4D-9DF51E0C91CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5029448$9ADB0466-7714-456C-A611-AAC7456625AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5029448$09BCF486-200F-41D7-88DC-C238CE2A442A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5029448$4F5DAAE3-9672-4876-A5C0-4F5C66DAE334","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43e8c04bd7324ee403c8f4dfdf5f9879370b7278","datavalue":{"value":"7473317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5029448$5CE2CF55-F761-4AEF-A0A2-9875F02C4D21","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":"Q5029448$8957E07C-3266-4E26-B7C9-D112290C2FC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"521e0975f618afe898ddf85de0666787b693d769","datavalue":{"value":"W3201818103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5029448$33C5EFFB-36CD-4E50-8AC2-C507CC79D8AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification in the Grand Challenge","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_in_the_Grand_Challenge"}}}}}