{"entities":{"Q688513":{"pageid":690362,"ns":120,"title":"Item:Q688513","lastrevid":63731679,"modified":"2026-04-11T15:10:06Z","type":"item","id":"Q688513","labels":{"en":{"language":"en","value":"Spaces with combinators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 444899"}},"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":"Q688513$1934D951-4875-49A8-B50A-C8815E79988B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b0162f7d644f38aafe53712b80f540ac5357639","datavalue":{"value":{"text":"Spaces with combinators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688513$06BC6EE8-2DC6-4C1C-9E0F-E73DFED33615","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f789986f211a7d12cff7e9c13e15c5018c354d7f","datavalue":{"value":"0788.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688513$F4962300-CFFC-4162-BAB3-9FC1B39D4157","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3bfb10898d38ee132dd92ceccb9396f079f976a","datavalue":{"value":"10.1007/BF01409966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688513$A470AD2B-C2C2-425A-9558-EA7B004422C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688513$B6BAF6EE-0BFD-4AB1-A650-942B16D60DFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688513$74447C25-8BED-4874-9187-5A1CE48EC158","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00ab279b130be828e6561f0e8c2345f71e46791e","datavalue":{"value":{"time":"+1993-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688513$95737B84-E28F-4924-86A1-59ACFFC25AA7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7001e3b270fbe47c885254bbf1250ba60c097efa","datavalue":{"value":"We introduce an algebraic system of spaces with combinators, with the aim to use it as a framework for studying general recursion theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q688513$1945C707-7B2A-49ED-A8F1-DE01BC8C6559","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688513$8A1C239D-927D-4EC8-A975-618BFE1EE264","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4aba34ca1e85c2ff95e1aebe789e3988e64c4d96","datavalue":{"value":"444899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688513$271A887F-C080-45F6-8FEF-81DD4F627346","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7738c366c0aa06f233ee3852f5040ca5d98b7afb","datavalue":{"value":"combinatory spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q688513$E136E38C-48AE-453E-B9D0-EA1FA19E3045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"730aedf30b128c400291cfbfba825a0344d13904","datavalue":{"value":"general recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q688513$DFE7ED80-7766-42F4-89D4-BA6F71B2B527","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":"Q688513$D40B9512-B462-4BF4-9B08-BC8872A97E3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688513$34C95E27-68C7-4F9C-8E60-D9CB294CA4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688513$36FD0371-EB1C-4A48-888D-3905D9BA3D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688513$4C1C3552-003C-4DBB-B7E7-663599A5F178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"793537b40e35a4601ea9ee225d2ec2d162d6b4e9","datavalue":{"value":{"entity-type":"item","numeric-id":1162534,"id":"Q1162534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688513$AB332E36-8F9F-4A9A-A587-8D78B8541B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2ca5e25e4b113b3b57b20c14f41d05de2fe310","datavalue":{"value":{"entity-type":"item","numeric-id":4110990,"id":"Q4110990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688513$EDAD069B-26F8-43C7-876D-1EED456CB260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08fc1d9de50126b23b42ea66123b10a05019f258","datavalue":{"value":{"entity-type":"item","numeric-id":5592241,"id":"Q5592241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688513$0FFEB9AE-EF3A-4249-A1EA-61A65E04A07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89fb3fdabc4e10c1a143096e71c394bfb949dc33","datavalue":{"value":{"entity-type":"item","numeric-id":4067079,"id":"Q4067079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688513$10D26566-384E-440E-900E-67BD2F8C183E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c6388d82bfd37b7eceac94dd56cf906f8abc68","datavalue":{"value":{"entity-type":"item","numeric-id":3753993,"id":"Q3753993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688513$8E6C59C5-CCB5-4F19-89F9-68548C08A522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"496566318a7d1d8a0f435cc2bc0d6f42169dcf1b","datavalue":{"value":{"entity-type":"item","numeric-id":5640903,"id":"Q5640903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688513$C27C7C7F-719A-4D43-B3CC-4C7444712ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e129a2d157f11eb104b6683d0c548da586ae805","datavalue":{"value":{"entity-type":"item","numeric-id":5823276,"id":"Q5823276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688513$91C4ECBE-5EE6-4F4E-A2BF-6ED83A64F365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e188efb0fb9cb72f786b9f81a9d666dad67c40ad","datavalue":{"value":{"entity-type":"item","numeric-id":4198499,"id":"Q4198499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688513$A768F220-A297-4F4F-A963-1C81D8FFEC01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b684f1d39b1dbab0bcc265a4cf1932edebb5d4d","datavalue":{"value":"https://doi.org/10.1007/bf01409966","type":"string"},"datatype":"url"},"type":"statement","id":"Q688513$03965DFD-AA31-496E-B747-36484809A6CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3760adee2540c59dd742964948df34cf5fbe4f1","datavalue":{"value":"W2031500102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688513$5E414842-F317-4EE7-8D43-D6E9EA737D48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0066c55ccdef97e72e8b0cc309495b85ca6cc187","datavalue":{"value":{"entity-type":"item","numeric-id":5718571,"id":"Q5718571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee51c965860ab8a8a4ab775146a6df479d3b3a2","datavalue":{"value":{"amount":"+0.94093406","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":"Q688513$705CB2A2-C3D2-47D4-A7B6-6492E890377E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bda3884b0bfe77d0fde38c0fb93620e274ac3db4","datavalue":{"value":{"entity-type":"item","numeric-id":2165135,"id":"Q2165135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6fdfe82259d76fd68914ac743d70d8a2d77c70","datavalue":{"value":{"amount":"+0.9212911","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":"Q688513$F39818B5-21AD-428C-A93A-56E546560365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b4819abe4e7ce2fc855f9cfe9296a9552580fa1","datavalue":{"value":{"entity-type":"item","numeric-id":3211291,"id":"Q3211291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c7d391ab09a6d387617b4b83d47eb26d6e82a2","datavalue":{"value":{"amount":"+0.87715113","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":"Q688513$168ADC97-9588-4418-9A36-79E27B342AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77dde0a83c4bb7d5400e3507957ec556afc2bcf3","datavalue":{"value":{"entity-type":"item","numeric-id":4993796,"id":"Q4993796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88bfe770e7e98a8b311a4309caaa43e8d6c1846d","datavalue":{"value":{"amount":"+0.86651134","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":"Q688513$CB7BB745-94FE-4173-81AD-1BDB09882A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c4f21ae9e2c2e73d6449e85d50daff95357c0e","datavalue":{"value":{"entity-type":"item","numeric-id":4314773,"id":"Q4314773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda332e646b73f1466eb239652248b733c67ab4a","datavalue":{"value":{"amount":"+0.8588903","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":"Q688513$B27F3CAE-EB50-4AE9-89AD-AA5A8C4D15E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebafa44c84cfd44237ae268a4acfbd6a5a21cb9f","datavalue":{"value":{"entity-type":"item","numeric-id":3322087,"id":"Q3322087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"814915a0d7f72bf09ce714f27e2d0a87bbb523aa","datavalue":{"value":{"amount":"+0.85879844","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":"Q688513$6F2856D7-57E9-4DDE-83A3-C7E15FFB4BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce7d6134aac689acfc020eb796d496a2fcc85eba","datavalue":{"value":{"entity-type":"item","numeric-id":5460507,"id":"Q5460507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc9cd4e239c51d48c5b8d070ba3a05d066acc379","datavalue":{"value":{"amount":"+0.8522685","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":"Q688513$B926351B-B1E9-4076-9031-6188407A4B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08e87b69226ca57872c9b46db0a3d88d229072d","datavalue":{"value":{"entity-type":"item","numeric-id":5101417,"id":"Q5101417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c87024be29024870c357176b606c0327091fcdf5","datavalue":{"value":{"amount":"+0.8514824","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":"Q688513$EE30B3D7-756D-4889-B06F-3C217389576C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24e90be00df9de934470966a30d089a46d7254d7","datavalue":{"value":{"entity-type":"item","numeric-id":2326298,"id":"Q2326298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e91fd15341a4386aaee9e67f736f580e0d79d570","datavalue":{"value":{"amount":"+0.8474849","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":"Q688513$C71F5327-EAEC-4485-914D-6EA96EB632A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"300368330a8f465e891f11a2a201d49290ab402c","datavalue":{"value":{"entity-type":"item","numeric-id":4254111,"id":"Q4254111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e530d8a02844d22ad4aa4b02e702e67e7fe69384","datavalue":{"value":{"amount":"+0.84288114","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":"Q688513$4DE5E109-DEC0-43CC-A2E7-B504F0DD91EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Spaces with combinators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Spaces_with_combinators"}}}}}