{"entities":{"Q4210110":{"pageid":6239711,"ns":120,"title":"Item:Q4210110","lastrevid":46583622,"modified":"2025-12-25T02:11:14Z","type":"item","id":"Q4210110","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1200752"}},"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":"Q4210110$F807F88A-11C7-450B-BF78-218CC515A246","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7b3c0cc7bcf623750991a3692d916541a21749d","datavalue":{"value":"0907.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4210110$D95D2331-0B2D-4486-9739-7C57FD6A6277","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"999f03c13835e1923a8e900c7129f49e6e75be1c","datavalue":{"value":{"time":"+1998-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4210110$503F10BA-9CDD-445F-A29A-26799734AFC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4210110$27320647-DF93-4F72-AB4E-E34F967E53B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4210110$588B9627-780C-44E0-A5FC-82DF53D35C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4210110$8ABBEB76-DAEF-48F2-9FB7-DE5F76E78799","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9f4f55bc3ebd9dadc931eafc3e181c2673fdcb2","datavalue":{"value":"1200752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4210110$2F1CD1A1-BB84-490A-9E2F-31EC6981F01D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$83F83D13-F776-4B49-AFEF-376A9CD3C78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$1D89A16E-FE06-4D8B-8DB9-5DD81672F608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01cffe274754d3f0894dd6ccf7c1cd2e68b69ed5","datavalue":{"value":"OBJ3","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$C49986E3-90D7-4E09-BE7E-CCDFF5072C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d691639b04e3f77bd475e8dc1129bfbba75d2e83","datavalue":{"value":"VDM, Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$CC8F9D8A-189C-486D-A428-A522880A338D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd09b4e47c3b0d4e0bde747f05c726c3a6a24acf","datavalue":{"value":"Larch","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$0940B9C5-FBA4-4909-AE84-2E5DAF8DF448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89c4a4ea850fcac24001512a02de711dd7e1d1bc","datavalue":{"value":"Larch/C++","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$9C128C81-71B5-4380-87F3-AC80AFD1AE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae20b0ad3f6489b55984c0942e20bc26339567a3","datavalue":{"value":"module","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$A1EC6400-FC7A-4F16-B712-2DCD12967AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"042ba0821f06407993e99b06a4d6acaeac24b9fb","datavalue":{"value":"bag","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$AEE8A361-8419-4F4B-833A-7E586DE43FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c30ccf6271cb03293da7881f999502ddb2d47c9","datavalue":{"value":"deadlock-freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$AD6ACD98-E3F0-4288-962F-E5A793989661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654d82cffaf48aee34c8d66a865b227f1d39e13d","datavalue":{"value":"finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$4540CD6B-85D5-4F10-954A-110D79FF69B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$E936250F-CD08-46AF-B005-1F4A52148B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$DBFF678E-87B6-4235-A924-6FC8AA401AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$10890170-ABCC-4C42-A869-925837CFE733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec2a5c0aedb726fa0342984da34f2afe9161b9bd","datavalue":{"value":"precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$2011F4A2-1125-4017-AF8D-ED2D681BCA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d8ce56ee8b42110050dbf827609bd4d689ad8ef","datavalue":{"value":"postcondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$06DC1DCA-06DC-49AA-906C-3C4996FF3CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675afa3c25eea9ad6c6bf015aa59e0f3d6ecea84","datavalue":{"value":"predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$D31262CE-9693-45AD-9C2C-CD0A7666BC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$C7C64DCF-396D-402C-BC5B-7B49B4367EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$B0B1968E-DEFF-4046-9895-356313F72D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b673b20dc24b9fde87cc481eda646ca2667bdc54","datavalue":{"value":"tautology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$AF36ABC4-3AEF-4692-9DBE-D27DA5290EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$A38EFD08-9CB7-495D-B447-9D1614FB0564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d247560fcb387765b057baa0f858b868c2ff5b2","datavalue":{"value":"schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$C186099D-698E-431F-B344-F01DEB4FB9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4cefdd41bfdd21b8b8d690c4318255199bdd6e5","datavalue":{"value":"generic function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4210110$109105B8-B57C-4898-A5A3-F29E59E841D5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4210110$3DBBE8AF-EA5F-456D-BE19-38C99E11216C","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":"Q4210110$EF311BA1-6352-4E85-9AD5-38038289A4B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca28f103fd8236af971716c21415eb2e12e9bfcc","datavalue":{"value":{"entity-type":"item","numeric-id":625100,"id":"Q625100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09e78ff0815c4dfce26c4bd88794f7f174d758bb","datavalue":{"value":{"amount":"+0.8942729830741882","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":"Q4210110$3F322ECC-F75F-451F-A895-D6435CA3A7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb95ac63938cddaf154d3290568e8e6f413973c","datavalue":{"value":{"entity-type":"item","numeric-id":4267791,"id":"Q4267791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49baa72814fea82f3def5c92db6ecd59e5dc5663","datavalue":{"value":{"amount":"+0.8255781531333923","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":"Q4210110$AB6D56BE-4FAD-44D5-BCAB-4AF65D3E4E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15f7f35530f0f5dde4d2341fd7eebd26a2099dd","datavalue":{"value":{"entity-type":"item","numeric-id":1773140,"id":"Q1773140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14b73722e17483208f84e6fdcd2a0d8fc252cf15","datavalue":{"value":{"amount":"+0.8217819929122925","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":"Q4210110$D1FFB5E5-78A9-4534-AE48-ECEE7727BD63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4210110","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4210110"}}}}}