{"entities":{"Q1155952":{"pageid":1166701,"ns":120,"title":"Item:Q1155952","lastrevid":69755094,"modified":"2026-04-13T09:10:07Z","type":"item","id":"Q1155952","labels":{"en":{"language":"en","value":"The congruence of two programming language definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3733227"}},"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":"Q1155952$78D39F91-FD63-46B2-8BDC-BD5006A6719A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d0e1db514b78e4ad4be487663d67731489525cd","datavalue":{"value":{"text":"The congruence of two programming language definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1155952$3F3A95CD-49DD-4D0F-8229-4503E89C9D2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9de18c15f04af9f73f5403b2b3a5140aa0b29fa","datavalue":{"value":"0467.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155952$67A49E3A-4AE9-4629-9834-633E73E6AF75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92cf9744199dbe9d66367759de480c796d4d3c40","datavalue":{"value":"10.1016/0304-3975(81)90037-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155952$401A821A-574D-44C2-B61C-299C893ECF47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"732b20bf38c732366f1e0830427b9491d25ca6e0","datavalue":{"value":{"entity-type":"item","numeric-id":1155951,"id":"Q1155951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155952$149DEC1C-1423-4567-BF35-5B762EFEC2DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155952$609AFE91-6E19-4D3A-A17C-4C99A0B222D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1155952$2FF83B3F-7EE8-4123-A8AD-4F7E5AA68A81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155952$ACD4968D-86FA-4584-BFCD-288977E41D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155952$649D6CD0-AD66-4898-B711-B1D8CCCE5B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155952$BB313C6F-DBB9-4537-8F90-0F96E9D20E66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96efff24813330ee760b6aa02f0e45f8f40136c4","datavalue":{"value":"3733227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155952$F16E797F-84DF-423F-82EC-9FFEC11A5A2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1155952$D63048BF-8F1D-470C-A0A5-74A641C22B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2dfdfdf3732af6c83543228e45b5ef3afea1831","datavalue":{"value":"interpreter semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1155952$042A5F98-C688-4551-A018-3B33A573294C","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":"Q1155952$91B39659-2D2E-4804-B38A-459B760F639B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3e81af4b7df1f0ae2c5d53f7ebdb621f52acda7","datavalue":{"value":"https://doi.org/10.1016/0304-3975(81)90037-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1155952$ECE3D4E5-36DD-4BF0-9476-3120C1A25975","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"937f76178276dc6203059105432ba647f55d6d28","datavalue":{"value":"W2011001069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1155952$CB9FF36E-AB9C-4D38-8F8D-98CD8ECED953","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d75f5a3e1354ae2fd8ae553df8cd8ed47767bf","datavalue":{"value":{"entity-type":"item","numeric-id":3860813,"id":"Q3860813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155952$ED5DA2CD-DEA9-4F09-AF3C-FA70F0C21D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155952$8F951042-DFC0-4E22-A67B-5C683BC62E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f99474e815e9a58af5ecf38dae1b4c7e0a14b90","datavalue":{"value":{"entity-type":"item","numeric-id":5621937,"id":"Q5621937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155952$488FE90E-2F72-4610-BEA9-626B164B23BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee166b05c438df2f9df3e5908beede0a2381eeab","datavalue":{"value":{"entity-type":"item","numeric-id":5657655,"id":"Q5657655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155952$026AB494-2FF9-43E4-89E8-FCE4402E0CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381491cff3b69e06c0c0e98db657501f3cc96724","datavalue":{"value":{"entity-type":"item","numeric-id":4133080,"id":"Q4133080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155952$C6CAAF89-22F1-45D5-8EA3-B04CDE202A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573bf50881a638b8d1bc1330f0a3383e6e028b45","datavalue":{"value":{"entity-type":"item","numeric-id":4072829,"id":"Q4072829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155952$8A8C5C71-7274-4C63-AABD-B51EF877F0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155952$583B1A88-4818-4D0D-8AA3-F7D1D96481B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155952$202AA4F6-14AC-4C07-A314-B47F43597190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b2e4f24d0cbbeb99bfdea518dac864a70fefd8","datavalue":{"value":{"entity-type":"item","numeric-id":1566886,"id":"Q1566886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155952$35739DC8-2612-48E7-AE2C-37C3B3344848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155952$D08AE903-838F-4D8C-963F-228463B93634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006f116f11bb26f196a69ffd8274b32c303697a","datavalue":{"value":{"entity-type":"item","numeric-id":4105233,"id":"Q4105233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1155952$C96EA82F-1029-44C7-BF02-58B1BAA719F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The congruence of two programming language definitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_congruence_of_two_programming_language_definitions"}}}}}