{"entities":{"Q4218941":{"pageid":6248542,"ns":120,"title":"Item:Q4218941","lastrevid":40900866,"modified":"2025-04-13T22:34:02Z","type":"item","id":"Q4218941","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1223630"}},"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":"Q4218941$959A72B6-CC41-40EE-934E-9022AFCF4751","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc85bff28822ff91887ac3b691aa98dfbf0213fd","datavalue":{"value":"0914.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218941$8FF211BF-0B29-424A-BE75-19F989B550EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01a99737eae512011b9bc05738f2ccfddb1d9066","datavalue":{"value":{"entity-type":"item","numeric-id":638493,"id":"Q638493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218941$3FBAC46B-9B1F-480C-A232-4FEFAC3C5E58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4657432f41b43c1846ecc251d3ec440dc26ae96","datavalue":{"value":{"time":"+1998-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":"Q4218941$D5C6A502-7956-4F99-97E6-4D6AEB777893","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218941$92178166-1005-41E8-930F-04608A98581E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218941$1ED313D4-C768-46EC-8DA5-4B039F48CD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218941$4F13D34A-3B55-4F9D-9A3B-42E01E316A4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bacdc223f808df2cd947864e466a23a493fe4f5","datavalue":{"value":"1223630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218941$9F245990-F886-40C2-97E9-6FCA4ADEF3BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd12956df3bb29181af2c38ee6da9b42967012c9","datavalue":{"value":"products","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218941$BC49076B-1227-4DAA-8341-F22F6A850D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9213bcecfdfb12d35eddc7b9a7acdad29617c177","datavalue":{"value":"function spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218941$96020D89-A3F0-4EE5-B889-EB36A634A73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f7272ce15baabdd4d3578eef1fa21b929e90dcd","datavalue":{"value":"concurrent model of the typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218941$540ED222-7894-4E79-9563-6152E623CA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c29e659ada80535a8d1fbd90e8945a0ca661ea6","datavalue":{"value":"game-theoretic model of concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218941$2D89DE27-6676-430E-93D3-DA693A4263FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d8d64fa01cbbc515e846a65d23e5c50607d7b4","datavalue":{"value":"fair merge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218941$47C92CCA-9B15-4079-8D0A-4D6B554A84A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39744b66401da9e6ce7621d2f40d8cd53fec291d","datavalue":{"value":"full recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218941$D1EC4351-3D60-4EEE-AD9C-A0E93BE1214F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32fb9824f8f58407f8c8c49d0dae9d25453ef314","datavalue":{"value":"higher types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218941$67BE8C65-4E05-47E1-82B3-9C2A39BFE8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29c7907a058ca2f5803a563e9765a72c855a696","datavalue":{"value":"recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218941$79D0B202-1793-4DCE-8B27-F3C5A1DFA672","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":"Q4218941$2A32B841-2F2B-421F-9E9E-61C793B486B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e47be03d31e8eed19ad237be2516b99bf17c17","datavalue":{"value":{"entity-type":"item","numeric-id":2864164,"id":"Q2864164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"791ca8d6a989869e20faf2cfbf767beeb5b79855","datavalue":{"value":{"amount":"+0.9136523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4218941$BB138C9D-EEB7-4C3C-8FF0-449E9FBA759E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4efa83f01a39f241097ded4482d17adf0aca9d5","datavalue":{"value":{"entity-type":"item","numeric-id":2778818,"id":"Q2778818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b7dfa15e550b7e2b2768629a32df78169517584","datavalue":{"value":{"amount":"+0.89365697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4218941$EBB104F4-7892-42F0-AF44-F76B13AF02E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79349e54fbdb4db2bd214f5faaa4e0fb1e4e988e","datavalue":{"value":{"entity-type":"item","numeric-id":5958298,"id":"Q5958298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b5095207fe80faacd9cd4a61622f4b8c84492b","datavalue":{"value":{"amount":"+0.8902553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4218941$22D6E926-136E-4838-AB54-F2EB61D7C88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f672f83ca866d3122dda208c8941ea7fab7d7842","datavalue":{"value":{"entity-type":"item","numeric-id":3007657,"id":"Q3007657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f576e1a20d0e4af1d588f23959e760d165450d93","datavalue":{"value":{"amount":"+0.8854872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4218941$B72A99FF-0056-4158-BDE4-11539952B0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c770a9e212cf0d6a6a0d84f6bb07cd9b3868904","datavalue":{"value":{"entity-type":"item","numeric-id":4263866,"id":"Q4263866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd5b23fc66698ceec9cd6a6a93fd8399ba1557b","datavalue":{"value":{"amount":"+0.8795546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4218941$BD29FD6E-E1B6-448B-9FA8-BBD7DB3BD2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c5b0b6db984dc322e3897f57dadf3c6b0db5b2","datavalue":{"value":{"entity-type":"item","numeric-id":5875894,"id":"Q5875894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e332bb1972d196189b5304b8dc6066379f3981a","datavalue":{"value":{"amount":"+0.8794545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4218941$CCA44A63-55BB-47C3-949E-EC0F64A0EBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cda627c174b035e96189bcd0ebdaf55688434ec","datavalue":{"value":{"entity-type":"item","numeric-id":3778017,"id":"Q3778017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d788f784087b50db18c5ee098a4daf08bda2c1d1","datavalue":{"value":{"amount":"+0.87462956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4218941$CBBF164C-9331-408E-A376-CDFC4D7914C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd84d0c0513e8d7d92c4ca5d0c323570ac39f7d7","datavalue":{"value":{"entity-type":"item","numeric-id":2757815,"id":"Q2757815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb71f444c65395fe7f64ed0dbf4fcb55e089eb9","datavalue":{"value":{"amount":"+0.8709589","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4218941$71AE2296-5837-4564-B9A1-12EBF6D6F83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b2d42fc957877f9277780c2530c854ef7d9c68","datavalue":{"value":{"entity-type":"item","numeric-id":3167022,"id":"Q3167022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26f0579e8a32315e121d815ed245dc3954659e9","datavalue":{"value":{"amount":"+0.8697026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4218941$9FBE3F00-1236-41D8-ACDC-663C319E5201","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4218941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4218941"}}}}}