{"entities":{"Q2366693":{"pageid":2377436,"ns":120,"title":"Item:Q2366693","lastrevid":78815843,"modified":"2026-05-06T12:30:16Z","type":"item","id":"Q2366693","labels":{"en":{"language":"en","value":"An ``executable'' impredicative semantics for the Ada configuration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 227338"}},"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":"Q2366693$06A6FFCC-969E-45C8-8371-CFFCE4DFE891","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbe963cb324e72fd4b516dd094485afa2fa68e6e","datavalue":{"value":{"text":"An ``executable'' impredicative semantics for the Ada configuration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2366693$C2BBCFD1-5DD9-4750-AA0C-CC1159AD7736","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"743454930982cc7df74e70e39c635b556e9fa226","datavalue":{"value":"0771.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366693$3A4EDCF7-652B-4AE6-9331-66BAC5C4FCBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"991961ee667b01780769679020ffde1601b18f29","datavalue":{"value":"10.1007/BF01211301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366693$ACE02F3D-32D9-4EDF-92EA-B1577A862886","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366693$4B8DCEA8-A76B-4B65-839E-5B67EA1D4458","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366693$4515E7F2-7227-4301-A906-8A9996E73723","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ed735b2a3fb0b444d70f4eac102ee82cf6f12a1","datavalue":{"value":{"time":"+1993-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2366693$DC28C2DC-DAA5-4187-82EB-788B5414514A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366693$FC270D72-7492-4008-8C48-524559FB9BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366693$A14A8EFD-3730-432B-9733-AC2BE3ECC229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366693$66874BCB-A762-424E-BAFE-441B4DE0515C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366693$51B72D75-E9F8-402D-B450-DD9A13A9D41C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ef518c31161ea832f8097fe0be381e0be7fd9bd","datavalue":{"value":"227338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366693$B2AF0A05-1030-4A40-949F-68289BAFDA4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f45b20c83bfaa3c3db70f2c7d1549a37a040d6c","datavalue":{"value":"static semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366693$94A237EE-0CFB-467D-A5D8-66376002DCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366693$5E938E88-2489-4F4F-99A4-ED5B372A3ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7697704dcbafc5c193c5cef9962d426e0d83d6d","datavalue":{"value":"higher order typed functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366693$3DD4E467-9A94-4FB9-92F9-7A325DA203A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d77ac0bb9e1a708b269f6cf6bed1cd188d2c4f22","datavalue":{"value":"configuration description","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366693$603FBFF6-DCDB-4894-99ED-A6725AC1F2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cb2d05897b92a65bbcf5c284b4b94ced80cfd1","datavalue":{"value":"Ada","type":"string"},"datatype":"string"},"type":"statement","id":"Q2366693$9DE8BBFA-6C55-4D92-AC2C-F6DBD265E648","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366693$00EF7951-1004-4086-8762-673DF2E57B66","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":"Q2366693$C0804BF6-79A9-4DCB-8CBE-58E3911A4CA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dae46d0a0bd58b96aa9d6a447fa758a54a7c4df","datavalue":{"value":{"entity-type":"item","numeric-id":1104071,"id":"Q1104071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2366693$5B49818F-6EC2-4238-A353-0F58F3957DF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08a2883e55acfbb60192f3c827f41a5b923d46a7","datavalue":{"value":"https://doi.org/10.1007/bf01211301","type":"string"},"datatype":"url"},"type":"statement","id":"Q2366693$543FB64D-5C74-4EE0-9775-413285033261","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa12e9d4d6514e74078e9e67b19ae00ac5ce8a88","datavalue":{"value":"W2057781011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2366693$074C4E06-B85E-470A-917C-7C7A6073633F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63544ca031668e1e20cd26af87cf9e92009d7a62","datavalue":{"value":{"entity-type":"item","numeric-id":3735062,"id":"Q3735062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7928558b92516d9f407847b3de10c662fbb1e08b","datavalue":{"value":{"amount":"+0.8345883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2366693$440C4A1A-8985-4F73-9896-24DB7D701006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"854a72c10ba3cd04c632ec0756f6f1c865203d0b","datavalue":{"value":{"entity-type":"item","numeric-id":792078,"id":"Q792078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b20737fa6174b0e58e0cfc66990da88af0100e9","datavalue":{"value":{"amount":"+0.8322842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2366693$5A5A4809-2079-431B-A774-D2B1C8C07BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e0b5b6415c076b2413853995bda5a907bb3a25b","datavalue":{"value":{"entity-type":"item","numeric-id":3947611,"id":"Q3947611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dffe85452e32ccb1e230f6aa2356f6addceec01","datavalue":{"value":{"amount":"+0.8243934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2366693$A0BACCFD-CC2F-4F1C-B6C9-DAEC7B545F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb200e6156440eeac00a4abd3dfad8a78273a59c","datavalue":{"value":{"entity-type":"item","numeric-id":3742692,"id":"Q3742692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c887d199cf2f3697b23885ced8086533fd6310e","datavalue":{"value":{"amount":"+0.8237608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2366693$5D615A13-77A9-4F6C-8EFE-1EB959277AC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An ``executable'' impredicative semantics for the Ada configuration","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_%60%60executable%27%27_impredicative_semantics_for_the_Ada_configuration"}}}}}