{"entities":{"Q4721640":{"pageid":6751217,"ns":120,"title":"Item:Q4721640","lastrevid":49043632,"modified":"2026-01-06T12:38:34Z","type":"item","id":"Q4721640","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995042"}},"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":"Q4721640$372FC69D-6649-4370-8512-F0BBD9FC4043","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fce003577282c715eb79d4ed184c889153c85585","datavalue":{"value":"0614.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4721640$01B18D7E-05A0-4017-BF2B-43FA87E289C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q4721640$034D081B-373C-4BAA-B6FC-DE83D8C3A9CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4721640$C917E269-7692-4E15-A293-E416AAA032D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4721640$F0281BC9-2621-4AD4-B397-D245CA78C30C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"001f0cc5b58cf885aa19a8ae30bd9f5a01e83b3c","datavalue":{"value":"3995042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4721640$652E321A-A06D-4704-9643-04164CEAECEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"055d4de38b24320967f0016402a2105d46349129","datavalue":{"value":"SMoLCS methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4721640$C4CED0DE-F5CD-44F1-A512-D07E37BF4732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63d0538b126313d0480fd6acab845ffe073dbe8f","datavalue":{"value":"specification of concurrent systems and languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4721640$50555CD1-9F48-437D-BC1C-EDF5B1E3D73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"237bb64abe07c31904fc0e8e2ddf2df232747977","datavalue":{"value":"rewriting rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4721640$750038DF-3ED3-4008-A40A-24CED8D896DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4721640$5B990AFE-2C0B-4EDC-85DC-3C25D15D248C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d323f3539148c00ae95cc93710355e894afdc84a","datavalue":{"value":"algebraic parameterized specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4721640$10FD7E1D-6E3B-4658-8C5B-05B5E7DAB68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4721640$76A16DB7-35B5-4004-A0A7-361B0528475A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04cd6db5e3a0ff6ed767ed26d5a47044e16462ea","datavalue":{"value":"higher order calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4721640$596102D3-2938-400F-8065-013B6F3F8CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"171491f6ddf61f22b3740c7de6d182a19e12b7c5","datavalue":{"value":"first class objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q4721640$A3E0B104-6E0C-49B1-9F9B-2FA199E6C285","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"278d84a31aa4d41905d8d358c66cb65e85593d8f","datavalue":{"value":{"entity-type":"item","numeric-id":673182,"id":"Q673182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4721640$335453D3-53ED-4DD3-983A-BFD78CAC0BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"23362f3a3ca32cef709a9de5af2d16f5a00994cf","datavalue":{"value":{"entity-type":"item","numeric-id":1190493,"id":"Q1190493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4721640$66A7FD11-7126-4C05-9F2D-3422E4E128F0","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":"Q4721640$0D02E5FB-27DC-421C-A284-BCF4197627E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3267e5328357c61469cbf1b18a1adf4044c9f698","datavalue":{"value":{"entity-type":"item","numeric-id":3030245,"id":"Q3030245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d260098ed420c2799bced7995eb2ae747c65fe6","datavalue":{"value":{"amount":"+0.8508653044700623","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":"Q4721640$10C447AF-6051-4AEA-819D-9C516EA3E029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f055ef19976c348ac8ba131b4ca767c010e8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3030241,"id":"Q3030241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ced72fbbd6be2e7f4f627f7131a888eef44135d1","datavalue":{"value":{"amount":"+0.7228727340698242","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":"Q4721640$9CAD32EF-11A6-4036-8F69-2B56CA261FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f16576f6170cdf76952c38b9c5a87235d98d47bb","datavalue":{"value":{"entity-type":"item","numeric-id":2368122,"id":"Q2368122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96be5e81953c928d7b09457f1ce2cdc41b037746","datavalue":{"value":{"amount":"+0.7210649847984314","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":"Q4721640$C2CB10F8-C317-4CEC-905E-F3A959499035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f71441754eef2e3f7962f520c6ac68323c5e5c02","datavalue":{"value":{"entity-type":"item","numeric-id":3766819,"id":"Q3766819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"334c655b06103828e8932740484d6914977b1579","datavalue":{"value":{"amount":"+0.7203680872917175","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":"Q4721640$51D465C1-A424-4394-ADC4-2698BFFFB1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f35d7b95c06dd70c7931c4ef53897eb31daa05a","datavalue":{"value":{"entity-type":"item","numeric-id":1346714,"id":"Q1346714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9d2ec878a8b0ebdf12eb5de16ee1c0693339ec8","datavalue":{"value":{"amount":"+0.7112677693367004","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":"Q4721640$643A72B9-8510-4544-B718-91B6BBE5B8D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4721640","badges":[]}}}}}