{"entities":{"Q3657411":{"pageid":5687317,"ns":120,"title":"Item:Q3657411","lastrevid":49845172,"modified":"2026-01-11T06:14:32Z","type":"item","id":"Q3657411","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3808931"}},"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":"Q3657411$C2B01CF0-9B7F-4391-A1C1-3C255BC13362","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3427e799bc53305f8f932736a20a97ae7ea669bd","datavalue":{"value":"0512.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657411$95AC6C6C-9923-4292-92F6-BB2FD344F527","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":"Q3657411$9A06D78B-11CF-42E8-8E89-B9F8E97BBB2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657411$7D7055A5-8DAD-4BA7-9D5D-FA6B193421BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657411$E42DAD70-181C-49C5-A913-232592A1050D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b72b2877418c985cffab543071bb1aa2fd82371","datavalue":{"value":"3808931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3657411$8D83B7B8-6AAC-4BE1-B375-35708C682644","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e352ad8dd3193a93a6df2f8bb4b058dcfc41f6ea","datavalue":{"value":"formal semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657411$4EF6DE18-23E9-4194-B05E-DF8F2DBDC8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75933ad68ecd0a3dec1b8b541327048575b78914","datavalue":{"value":"prove compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657411$DAC7DCC0-85F5-4F44-9A54-C5208736C793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8308cf047a9caa020705e36cf27d6d1287dcc04","datavalue":{"value":"algebraic data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657411$EFD40668-79BE-45C1-B3FA-52C14999D48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab83b74f8204ae5e13a88c27dae843296e492dc0","datavalue":{"value":"substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657411$90D3D60A-0193-415E-B0BD-A63D29D7B9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc1a781b48e31a8c920bd8d9dd6e7e714e15db2d","datavalue":{"value":"correctness of substitution representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657411$9E6AA94E-2B4B-43C3-8A36-18F38F965A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b48f9185338594f8e5d093d3d2a7ef2f2a64631","datavalue":{"value":"PERLUETTE system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3657411$4D1DB8B8-E9C0-4505-AE17-6188E04A909A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fffd81c6aae76a5fc581ab482db7fffc27874219","datavalue":{"value":{"entity-type":"item","numeric-id":391417,"id":"Q391417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3657411$1A55A25E-A3AD-429A-B2EB-9514A64EC063","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":"Q3657411$8CC7268A-C0BB-46EC-9267-0BE16039545F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3657411","badges":[]}}}}}