{"entities":{"Q1074337":{"pageid":1085089,"ns":120,"title":"Item:Q1074337","lastrevid":66085671,"modified":"2026-04-12T07:27:18Z","type":"item","id":"Q1074337","labels":{"en":{"language":"en","value":"Erratum to: Proving properties of Pascal programs in MIZAR 2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3947606"}},"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":"Q1074337$83D98FC3-BE62-46EE-A361-7287A5CEBEB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23726cff6ba450511fbba2b3c05efcdc27e6e07b","datavalue":{"value":{"text":"Erratum to: Proving properties of Pascal programs in MIZAR 2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1074337$B71D1025-3D53-476C-9FC1-A22FABD213CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5985d15dfb85af076efd6c2e06ecf6b64ffc53d6","datavalue":{"value":"0589.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074337$A6FAE619-83C0-4570-B818-BA012FCDB431","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b514439689145f267f02ac3104aa0735185eab6f","datavalue":{"value":"10.1007/BF00263652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074337$0DE59221-EF6D-4708-967F-14B8DFDC5246","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d72ee9ffde9510a13b5bea91934f187bdc57c7e","datavalue":{"value":{"entity-type":"item","numeric-id":467775,"id":"Q467775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074337$B9330DB8-0119-4F49-9CA2-DD43D6C35E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aca37643c25c4f7a18b2bf47f8e6a1980c00131e","datavalue":{"value":{"entity-type":"item","numeric-id":511026,"id":"Q511026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074337$4A181709-2793-431C-915C-5AB87EA911DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074337$D33056C8-8427-44F9-AF67-FF89F60E379A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1074337$7288A673-9EE8-40A7-BE87-B1FA4A52A799","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c690f9da72928647ca4e0d63682ae196aec2cc2b","datavalue":{"value":"Supplement of Figs. 1-6 and Appendices 1 and 2 to the authors' paper in Acta Inf. 22, 311-331 (1985; Zbl 0564.68010).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074337$F86CC6D0-60D5-4A4D-9D52-72A9497F7549","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074337$D5B3F261-6913-42BA-B4B0-AEC768213A9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e9c7e8a80573319d94f844c31e7ac14a7da25aa","datavalue":{"value":"3947606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074337$FB14F747-453D-4C57-9475-46DF3F9992C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c42b349668ebf81737ff705b193c6cd2cbcb64","datavalue":{"value":"Pascal programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074337$1755F18C-0A89-49D5-8329-09A4FED56A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e184a28d18586b79620daaac315907b7ccd8679c","datavalue":{"value":"MIZAR 2","type":"string"},"datatype":"string"},"type":"statement","id":"Q1074337$F7DF51AA-FFB3-424D-A534-D9B3046BB726","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1074337$089677CD-FC6E-4990-87FB-11672637942A","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":"Q1074337$840402F7-B0C4-4F26-A952-201F3EAC1DF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e0431180c1b1b1bfd18088a56c64d0e2c6048ea","datavalue":{"value":"https://doi.org/10.1007/bf00263652","type":"string"},"datatype":"url"},"type":"statement","id":"Q1074337$6A5D8BCF-DB57-4B1D-A1A6-D96AF515F6E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51e02a2c7fd84ed49404e4517b88ea882fab7786","datavalue":{"value":"W2252649164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1074337$DE9A70C0-EA4A-4749-84C1-4DDDE369BA84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Erratum to: Proving properties of Pascal programs in MIZAR 2","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Erratum_to:_Proving_properties_of_Pascal_programs_in_MIZAR_2"}}}}}