{"entities":{"Q3314963":{"pageid":3325671,"ns":120,"title":"Item:Q3314963","lastrevid":80252711,"modified":"2026-05-06T15:46:19Z","type":"item","id":"Q3314963","labels":{"en":{"language":"en","value":"The Rigorous Development of a System Version Control Program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3845023"}},"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":"Q3314963$199FF04F-01B6-4539-A22B-B4E1C178885E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5d5dac5c8e3f6f39b81a4a172e9dad082cf06ce","datavalue":{"value":{"text":"The Rigorous Development of a System Version Control Program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3314963$A95FC6BC-D946-419B-8D07-68C3038A19AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41a65534e21a7ef2bc19ee24e2bf0cf1e89bd1cf","datavalue":{"value":"0532.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3314963$1930A2BC-155E-4071-A716-2330BE6B2520","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa3ffd3b95730a05f11b6947c9a93a4f5dc59003","datavalue":{"value":"10.1109/TSE.1984.5010216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3314963$F1ADF8CF-75C2-4612-B59D-B6FD36914F4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3122da42cc81bdf5306889d49fa3ceda5e22e38a","datavalue":{"value":{"entity-type":"item","numeric-id":3314962,"id":"Q3314962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3314963$65E115D9-5BC3-484E-8E93-7C8EEA05B1F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"220b294d2d3a2e498b04ba0341eb4d18d93bc02f","datavalue":{"value":{"entity-type":"item","numeric-id":150608,"id":"Q150608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3314963$AF9C30CC-E4C7-4B35-AD5F-B443A60F2731","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3314963$E87BE72F-D744-456A-8019-FB8A51E0E2CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3314963$B5E4CAA9-A4DD-462D-805B-35C020E0B151","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a3ede243790aeea0f282e7f4044aa13d08000c4","datavalue":{"value":"3845023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3314963$218C2F1C-87B8-485C-BC90-04E280BEF9AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3314963$87C5A66C-D2C9-4078-85D1-5CE1CC7BEEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3314963$0C3565C6-CC8E-497E-99B8-214EBFDA1D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae9160ab6ebf0e806fbfec0faad1a85a9eca617","datavalue":{"value":"program proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3314963$4F844410-C1AE-4644-BCF0-BEEE008220E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4fe28750db0e60c8a3b8efb1d7f0a28fdc3712f","datavalue":{"value":"software development environment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3314963$3A3ABAA3-570D-497A-854E-D672D39908D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e03121a63c327e266441be611ad74ccf538bc5a6","datavalue":{"value":"version-control","type":"string"},"datatype":"string"},"type":"statement","id":"Q3314963$5665FEC0-0777-48A5-AF15-083B5F82E4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"616d988309f68f1e57964b7395e64e89d2ecd083","datavalue":{"value":"Vienna Development Method (VDM)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3314963$159996F7-11E7-428C-A06E-53E02CD34438","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":"Q3314963$6D42FE14-8105-4811-8B8B-9E30BB1ED318","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Rigorous Development of a System Version Control Program","badges":[]}}}}}