{"entities":{"Q3206343":{"pageid":3217051,"ns":120,"title":"Item:Q3206343","lastrevid":45684772,"modified":"2025-12-16T09:25:42Z","type":"item","id":"Q3206343","labels":{"en":{"language":"en","value":"Proof by semantic attributes of a LISP compiler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3648158"}},"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":"Q3206343$EC83BB77-B034-404C-B692-54661F190C42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e13c4e6ab7b134cbc354dfa241646cc787ee1b3a","datavalue":{"value":{"text":"Proof by semantic attributes of a LISP compiler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3206343$BE3B3790-571D-43B6-B0D3-F7413F14274B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37fc61aff70b9fc51b691f3830ead3e3f8d1a874","datavalue":{"value":"0416.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206343$86554440-002D-499B-ABF3-99164F5F0F35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c020a398267f1b5d5c69e41a26485d79cbb396dd","datavalue":{"value":{"entity-type":"item","numeric-id":685394,"id":"Q685394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3206343$81C04CC2-DD45-46DF-9832-27CE6764EADD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3206343$6E981E51-B431-4D9E-B8D1-976D1B5C0155","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":"Q3206343$BE6D2389-940F-41D1-98DE-E968404F365F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206343$7A7F4728-B39B-4807-8D98-53872B36214C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faf617a5d90f97db44a946146e2aab38a6681644","datavalue":{"value":"3648158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206343$627CE8D3-F5DD-4924-B3B4-2B90D530FC41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3883b820262e2540b605b88f890458cc5098fd0e","datavalue":{"value":"semantic attributes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206343$4547F82A-D461-4EA9-A7A1-DE710558E2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ec5b04870d20124d209cf92aa8a4cc83dd9dfbe","datavalue":{"value":"Lisp compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206343$242AF361-F361-4C31-841A-0A7DE18FBB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e634ac60c989b0da26c5d4a1a4e9e7acbbc435","datavalue":{"value":"correctness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3206343$DE4C57F9-A106-4BE3-8C33-7E0AA3C09715","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":"Q3206343$21775549-99C2-4781-A9B0-7311142F5D41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6564a056ce5d8ee048dc6a8b7d9668b5193f4d61","datavalue":{"value":"https://doi.org/10.1093/comjnl/22.3.240","type":"string"},"datatype":"url"},"type":"statement","id":"Q3206343$F7DB3E6B-265B-4622-80AB-32FCD75C11F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29593f81be6d42ec7506bd9da12b52c99fbfdc28","datavalue":{"value":"W1971583731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206343$BC0E83A7-B7DF-4D90-8AE7-53E3680CB03A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c2d973d31331b06e2c8f63d917a1bc5378d01d06","datavalue":{"value":"Q121434381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206343$13390E7F-EA05-4967-B027-EAA129CB9497","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8196260570424dd7194f07ece1ea8b7c93a58929","datavalue":{"value":"10.1093/COMJNL/22.3.240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3206343$030FD0CC-84BE-487A-8415-0C47F55D610C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3206343","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3206343"}}}}}