{"entities":{"Q4199500":{"pageid":6229101,"ns":120,"title":"Item:Q4199500","lastrevid":89170898,"modified":"2026-06-04T16:32:40Z","type":"item","id":"Q4199500","labels":{"en":{"language":"en","value":"On the proof of correctness of a calendar program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3640847"}},"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":"Q4199500$A239D510-4E9B-4B5C-9C36-28419001E22C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb051e99cf9b085d0cc2d085c40865021d3ae7a5","datavalue":{"value":{"text":"On the proof of correctness of a calendar program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4199500$54C00D88-CF04-495E-A6A7-222F894884C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db0253cc5cae9bbe6bc8523a4e5d853fb575588a","datavalue":{"value":"0412.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4199500$506740A1-2693-40A7-9B9E-BEC3C2094EF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65937e83e0722bad3cf87950f36b64b778831aee","datavalue":{"value":"10.1145/359156.359160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4199500$D77BB178-F77B-47CC-A467-C87708C2CAF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"209ba2abb9262ee2627b025b7dc9cc61471e318c","datavalue":{"value":{"entity-type":"item","numeric-id":661001,"id":"Q661001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4199500$28A6159D-51F6-45B7-81DF-9B4B2CF46D76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4199500$BF9FDEDD-E080-4D0A-B9FC-B70FB04DC5A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4199500$419B74AD-5A3C-4384-BC02-5DBEBFE4B4AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aacddb904382eedd2e6344a0d0d3a1240e22ae94","datavalue":{"value":"3640847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4199500$5F36B3D4-3315-44D3-82DF-B25625AD3010","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199500$BA5A4C9E-6CF1-4EFF-892D-EA10EF677A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199500$3350C242-FBDD-4589-A8DB-81651CE11EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4199500$D87CA99F-E20C-4CAB-84D8-2F79442728D8","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":"Q4199500$007E6065-78D8-4E70-A972-9C13C4C91EEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c7da6bf6fd537b7beb88270c47e0173812ad98d","datavalue":{"value":"https://doi.org/10.1145/359156.359160","type":"string"},"datatype":"url"},"type":"statement","id":"Q4199500$1178A8A9-1BEE-4DC2-9EC3-E5DFA05104EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a2eb127cff9825c15bf43700cab7575e40de58b","datavalue":{"value":"W2124687098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4199500$E4C1EECF-A04F-4917-BE4B-3A23AA2D6C7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087426e75e65ba42be09a15851f31de13b7aa5f3","datavalue":{"value":{"entity-type":"item","numeric-id":56730,"id":"Q56730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4199500$7208CE0A-B1C6-4A6C-90ED-78F07184E72F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the proof of correctness of a calendar program","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_proof_of_correctness_of_a_calendar_program"}}}}}