{"entities":{"Q4876432":{"pageid":6906011,"ns":120,"title":"Item:Q4876432","lastrevid":41839506,"modified":"2025-05-08T22:24:31Z","type":"item","id":"Q4876432","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 873331"}},"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":"Q4876432$1515772C-8DEA-41E5-ABB0-26021C199627","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fab6d1e39eb01336a5ea414e1ff7af0723835120","datavalue":{"value":"0855.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876432$302FCC8F-FD4F-476A-8FF8-D9B63BCF35CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35dac4a82d7994982b6498e99b5b158ff9ad79c7","datavalue":{"value":{"entity-type":"item","numeric-id":688506,"id":"Q688506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876432$8A000C85-AA75-4CD2-B6C5-B03261F34FCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7214742a99e4711c895c111329af2bb29e75080a","datavalue":{"value":{"time":"+1996-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4876432$F9FFBB77-F3D4-4491-826B-2C21B353EC77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876432$F3151883-6C4F-4F45-8D65-70E77CF7762B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876432$B6B6F439-95CA-4C99-A83F-2B6A3BBF9064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876432$69288554-C333-42F6-BB56-A3BE5415BF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876432$0722859E-25B5-4695-99B0-5D1A2BEED42C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60cdbe632d536adb91c91ba10affee3c8551213a","datavalue":{"value":"873331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876432$A73A343D-C153-49A0-B421-E43E64F5BA6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0939e88686209711ebec08d0a7c1bb85c0c05d4","datavalue":{"value":"Scott domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876432$8E642203-9259-4D7B-AFEE-EB0DA2A9AB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea686fd75d01d0dfdf5c0e60a1bfc58d42aa067d","datavalue":{"value":"complete partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876432$A76DC668-7278-45AC-8FB4-F6ED8DDD824A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fba21d4de3910cb9e40618fdacc13e6d95dc968e","datavalue":{"value":"partial primitive recursive functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876432$61D6714C-1723-4F7E-AA2B-BAB291F17F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876432$F3D0F3BC-684F-4894-AB54-B9B9EF5DB4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5362d83e79f2efdc5647baf448ab1b58d3e16d96","datavalue":{"value":"partial continuous functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876432$B0C54661-17DF-4985-9A3A-AE99C070227E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93fead43f3e315dc245bca6d8df97d8d8d8b10ba","datavalue":{"value":"simply typed term system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876432$F1B1B0F0-245F-4935-9A91-B592EA02A052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11cf352d2955b502b1badf7ed7402d07d7473f92","datavalue":{"value":"parallel typed while program-computable functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876432$DEFED23C-9943-41DA-B2B1-EC2D38C331FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876432$2311DA61-D7A3-4FF6-98CF-832D5D99204C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112c87e8a580dbf5f66ce64e708fa657330da5ae","datavalue":{"value":"functional programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876432$C0E57580-CAAF-4010-9A8C-707B5F086CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876432$0D6CEB45-375B-4BF6-B6B6-10E9F2DB1296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9668c27e52c01aa71287672ca88bb98c236a277f","datavalue":{"value":"reduction relation between terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876432$592683CA-8045-4E67-A9A0-A706823DEF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876432$0B3C63A3-E775-4323-B60E-A8C752CC5180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876432$8877785C-6A45-46C9-9B5A-1B718AA5F35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b9523b81abac7dcf2946305ecf06ced9bb8e7c3","datavalue":{"value":"structural complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876432$9FF58BCF-B37E-4ACD-9E80-C3B6A0879280","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":"Q4876432$9238E94B-6AD1-437E-854F-3AE59E6E4E9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed05abdbc12c71e1d11144d7a8c255e64568679","datavalue":{"value":{"entity-type":"item","numeric-id":5457388,"id":"Q5457388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6189bc4e98f098286a1dce699d99ca383404d691","datavalue":{"value":{"amount":"+0.9209377","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":"Q4876432$6C326F16-7EFA-41A8-8F5B-DAD569241265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a7119b5c062922ccf87051d5b44d32816a5a53","datavalue":{"value":{"entity-type":"item","numeric-id":3695270,"id":"Q3695270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"997755f0979398dbf688ae9ac8a2674a2faf8119","datavalue":{"value":{"amount":"+0.8916323","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":"Q4876432$A69F8915-E1F6-4950-A822-2CFCECE066E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c13854bae0fd74afb256d1ebac556515fc1741c0","datavalue":{"value":{"entity-type":"item","numeric-id":1306824,"id":"Q1306824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd9993b335ace73409fda6d55fe14e73b80a2a75","datavalue":{"value":{"amount":"+0.8902791","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":"Q4876432$E2B00A84-A1D9-42D3-B921-E330AD6C0730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d20ff0643edd46b96b83d25ebe9bd9a9c7bc21","datavalue":{"value":{"entity-type":"item","numeric-id":1434355,"id":"Q1434355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"934b2e3615a4e08b4317c5cc47f13a8d7278224c","datavalue":{"value":{"amount":"+0.8737945","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":"Q4876432$FB4E14AD-B628-4CAA-A9AC-1DB404A7AC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"333c35d9b51ab22f3cbc241a43ee102730c454b7","datavalue":{"value":{"entity-type":"item","numeric-id":5277948,"id":"Q5277948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfc33ccb157ac96ccdd14c032dc87ae2498646d5","datavalue":{"value":{"amount":"+0.8696302","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":"Q4876432$7CEE520B-12A8-4516-9641-605EA5B26783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"897dd2197b0d98bd6f9778fd9bbe1203cb1a9756","datavalue":{"value":{"entity-type":"item","numeric-id":688507,"id":"Q688507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f50034d35afc9dc893a67e03d4c5a268713ba5c","datavalue":{"value":{"amount":"+0.8630638","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":"Q4876432$7F4869AE-29B2-4CD5-842E-1A8886732337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd731ce7d4dff8a468a514c378a014ff5e432c84","datavalue":{"value":{"entity-type":"item","numeric-id":3326267,"id":"Q3326267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5956809eedafb21c605df11fa03880a6a1818486","datavalue":{"value":{"amount":"+0.8558387","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":"Q4876432$591ABE1D-919C-4745-A258-CB870DCECCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"283010728c148e1dfef698dc6d7bf955c2286839","datavalue":{"value":{"entity-type":"item","numeric-id":3717039,"id":"Q3717039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3637e143b05c80830b3bed7809523bf0f1c0d3f3","datavalue":{"value":{"amount":"+0.85487616","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":"Q4876432$4E7EC35C-FAAF-444D-A91D-CD334F7700F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d151d0cbf6ecd1fc152029db0947e4f120201b4","datavalue":{"value":{"entity-type":"item","numeric-id":3490250,"id":"Q3490250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0334ab36c77c24ebb12aa557d745d0755c0486e0","datavalue":{"value":{"amount":"+0.85375917","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":"Q4876432$7B7E722B-1729-4F78-8342-24BDDFB2847A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2df08cd5e5e155b00ba5ea266276aeeebca74d3","datavalue":{"value":{"entity-type":"item","numeric-id":1380947,"id":"Q1380947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8597dca937025d4bcf3e7e1787f78d7c075b780c","datavalue":{"value":{"amount":"+0.8529558","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":"Q4876432$BD274FA9-5415-4248-BC01-BF35ABAFCCA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4876432","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4876432"}}}}}