{"entities":{"Q4742293":{"pageid":6771873,"ns":120,"title":"Item:Q4742293","lastrevid":39476957,"modified":"2024-12-30T14:10:19Z","type":"item","id":"Q4742293","labels":{"en":{"language":"en","value":"A correctness proof of an indenting program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3797163"}},"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":"Q4742293$139D222A-79A6-4693-B190-079703A3B008","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a4349fa605af048d3244526190e31af21bcd514","datavalue":{"value":{"text":"A correctness proof of an indenting program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4742293$D3358014-C278-4A97-B154-7422B75AE1B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa2986e35d45738e8300ea4ef6ee74c2aec2c3e3","datavalue":{"value":"0505.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4742293$F3502C92-4398-4574-A30B-E1F33870E26B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33b7694fbd0350d607ec7006e9abe0c9091f8525","datavalue":{"value":{"entity-type":"item","numeric-id":1122983,"id":"Q1122983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742293$E4F11280-4CB1-4FD0-9A61-9FFDEB82F79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9c22202056a7e54fe7d747a972d5d32461d68b3","datavalue":{"value":{"entity-type":"item","numeric-id":688822,"id":"Q688822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742293$D365D882-E1CC-4F92-83C8-E30C38C7E97B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6bbb50f7f5b3cd8a52a9219fdf89800968ce21d0","datavalue":{"value":{"entity-type":"item","numeric-id":111603,"id":"Q111603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742293$12C705FB-7F0D-4EB2-9799-EE5546542982","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q4742293$837161A8-67E5-4802-A5EF-CC4DC94FF0DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4742293$6771B228-A3E3-41C3-AD26-B68D377D5D57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"629933d26aa7674b14b9735b40d1f3dee4978e68","datavalue":{"value":"3797163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4742293$74BD24F9-9CB6-49C7-A070-653677557FC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beae84aa455aa835c07e0294ba3b6bcff85ce1b5","datavalue":{"value":"pretty-printing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4742293$55BA8605-536B-47B6-A87A-7260EF4635B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83b7e96f007eb3a56d5885b03a7cea2baaee5620","datavalue":{"value":"Pascal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4742293$28853443-531E-4BB0-B1CC-2F904099CE69","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":"Q4742293$4D5D5C6D-CC6D-4CED-AFE2-E6993B10DB7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e4cf9e502aca70791bfc3173f2d82e3ec1b8fba","datavalue":{"value":"https://doi.org/10.1002/spe.4380130302","type":"string"},"datatype":"url"},"type":"statement","id":"Q4742293$EC185589-B655-4B08-8749-660469315397","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cd1783f6b16f0df278f5b2b566dd113f0695b6e","datavalue":{"value":"W2103433304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4742293$0817569E-6E4C-4573-8E41-A3219FB28C6C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c52b21e2b050930655d553363cf317d38372f3f","datavalue":{"value":{"entity-type":"item","numeric-id":3885184,"id":"Q3885184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742293$CCBCFB95-FCFC-48EB-8227-4E65D9A04C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4742293$BB976485-2CD7-4D3C-ACAC-A960D94E5645","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"583a71aaafe43e146f9532e37ad5e71dc8e1942b","datavalue":{"value":"10.1002/SPE.4380130302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4742293$80E719F7-E146-4ACF-B964-413F94C13DFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4742293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4742293"}}}}}