{"entities":{"Q4733434":{"pageid":6763011,"ns":120,"title":"Item:Q4733434","lastrevid":49318888,"modified":"2026-01-06T23:10:05Z","type":"item","id":"Q4733434","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4119659"}},"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":"Q4733434$008D7B5E-6E85-459F-A1F3-B2198AD88C05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fff83ee1c2047c39fb6666f2a6b5bc97505c8fc","datavalue":{"value":"0683.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733434$BB113A82-134F-45B2-A067-91D2D2979E79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q4733434$87194C7E-C190-465F-AE0E-1523C9070AD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733434$6BE58A28-4804-4935-8EFF-6BC4A6149A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733434$7202D101-24C5-4CF6-B201-04BF2D4F29A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733434$0C18341E-714C-4D3B-8791-9FF1FF2F7DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733434$74E4F27F-2B0F-4AB1-81AD-CAD69DD0EF82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9e776c817b0e62caf178d5e20f948aec6548586","datavalue":{"value":"4119659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4733434$17DA22FD-4F8C-482D-B6A2-B76D12F297AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733434$BB932220-09F5-4020-8B21-2BE4DA9D9DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733434$473A4AAE-7221-410A-A6D1-DFA005B8BBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733434$367CEA05-8A79-4E86-9886-D92DEAEAB8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ac5accbd6ab88629e4490340cc3c1ac3c0df2b","datavalue":{"value":"contractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733434$279E8B8B-490B-47F2-B1B0-279B4B9A9F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733434$B7A9E422-05DA-4F25-B0B5-E17B5B1851C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733434$15822D41-2D18-4441-B2DD-141E559D6351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e179fe7aa0754839df9df29edff8cfef37506298","datavalue":{"value":"concurrent programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733434$75125E26-CFD7-46AA-9303-1F65C4AE5A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733434$79D528CE-01B1-4BC4-9B31-CD34E3548331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5ff8ed4e4ed0822bb4df093b2d9b2a76c1e0f38","datavalue":{"value":"complete metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4733434$B1AAD87A-AD44-4646-9AE4-85ADA643D14F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4733434$D7100E01-99AA-46F3-8A1F-554554E96C26","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":"Q4733434$E6E8533B-DD24-4692-B279-6A72AC844B20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb51b95b566bf762ea1f9ce6eb5687562e672bc","datavalue":{"value":{"entity-type":"item","numeric-id":1113660,"id":"Q1113660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28462f20a9096f348e4facdf49406ecd44948d04","datavalue":{"value":{"amount":"+0.8099520206451416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733434$82ACD144-B2B9-4FDF-8F60-161A6C1FCB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4749fdb10852b39ea478a4336a7d24f70e618c28","datavalue":{"value":{"entity-type":"item","numeric-id":3975030,"id":"Q3975030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a65c91383229247cc2377d2b65e28819d68771","datavalue":{"value":{"amount":"+0.7933050990104675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733434$566D83CC-4BC7-43F0-B936-8210FBEA5F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfeba6d235e5ceda145562c03bbad89460aa2489","datavalue":{"value":{"entity-type":"item","numeric-id":919834,"id":"Q919834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a65c91383229247cc2377d2b65e28819d68771","datavalue":{"value":{"amount":"+0.7933050990104675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733434$81E97CF0-7EFF-4BB9-9004-453A15AE1D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b82da2efa86aced4e70fe483cdd4c1a7e173f75d","datavalue":{"value":{"entity-type":"item","numeric-id":1085602,"id":"Q1085602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e158e264493108e927835bc5943364e9ca2bdf9a","datavalue":{"value":{"amount":"+0.7903263568878174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733434$7FEC4AD4-41C4-4BDB-9D5D-B57DB1963D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09e870900d90a799b30e20bd0602468e3473f7c4","datavalue":{"value":{"entity-type":"item","numeric-id":915474,"id":"Q915474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a27d1eef044527a38cdad27bae4fd0cdcf4acb32","datavalue":{"value":{"amount":"+0.7865495085716248","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4733434$5C5F0EFD-31B5-4232-8B56-9A9DBCEC8FDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4733434","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4733434"}}}}}