{"entities":{"Q733753":{"pageid":735602,"ns":120,"title":"Item:Q733753","lastrevid":63928947,"modified":"2026-04-11T16:29:59Z","type":"item","id":"Q733753","labels":{"en":{"language":"en","value":"Two algorithms in search of a type-system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5617724"}},"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":"Q733753$D40C0B68-FCFB-4597-BB73-0ED1AB2B09D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00d635166598dade99f7dd5adce4c8b136f4f240","datavalue":{"value":{"text":"Two algorithms in search of a type-system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q733753$625F4C97-90BC-43C7-8D2D-9F7BB1F9CB33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc9c5d1bf1cbd1f110ae06070893eb205c4e2cbb","datavalue":{"value":"1187.68308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733753$848750A9-7738-477C-BA32-4A5492214904","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c71f6ed85bc4d38ece8ef6a8ea519d6704436127","datavalue":{"value":{"entity-type":"item","numeric-id":733752,"id":"Q733752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733753$54344E8F-106F-41CB-9DB1-C345390DB529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdb4109ac59d3ca813b07e527a14abf4f26a17c1","datavalue":{"value":{"entity-type":"item","numeric-id":579919,"id":"Q579919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733753$3E21C463-C312-40C3-B832-844F3C2949F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733753$C92AAC4A-FA4A-4BDA-9F4E-050FD489FBD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd476ebbd61c1948a69e599e82439aa1b933a98f","datavalue":{"value":{"time":"+2009-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q733753$B15E1D14-0E9E-41F5-BBF4-125789B127F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01bcc8ca8bb5b8625a33249ec79cd56db9a741b2","datavalue":{"value":"https://arxiv.org/abs/0710.0824","type":"string"},"datatype":"url"},"type":"statement","id":"Q733753$B7872FB2-8F57-4897-967D-D8B840BFC4EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733753$D8286B28-0D23-4C03-A39C-B91BFFB5A0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733753$373B4B2A-50F0-4F86-AB12-65B6AE83202D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733753$A522B6C1-543B-44AA-85FD-6574DA492BEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90d686711e043ec4a9d3558a2f9f8bc886c2ac0c","datavalue":{"value":"5617724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733753$03F8FF94-B453-4A54-8B51-2E6AD4AC1E87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"977eed6131dfef7e6e3cd1144bd76459fa17e188","datavalue":{"value":"compositional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q733753$D37CBC06-E0CF-4E7E-A8EE-61CE5132F70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q733753$FCB161B4-A515-4B24-A49C-E5831681DFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a35961c7bbff66ba5e82c73fb86a626f416bc8b","datavalue":{"value":"higher-type computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q733753$BAF12ECA-BF5E-48E6-A820-83BD1E54BD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ff64e4b4575734390f69fce3e2d7067e651e304","datavalue":{"value":"higher-type complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q733753$6B21D94E-A9C9-4330-9BF9-4EB253353389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c808ff520fb68f735b8dad972317a7e8e8c47fcf","datavalue":{"value":"basic feasible functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q733753$8B4841AD-D680-432B-983C-DB9BD67846AF","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":"Q733753$1A57DB0E-5352-41CC-9DF9-680EF14E1846","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"60ac00287d79e59b8f3d56832d2c16aecdd3d8ac","datavalue":{"value":"W2041058737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733753$1C4674A6-7E5C-4919-91B0-BAFFC3984152","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733753$3C1D8A50-4278-4FDD-A7ED-EB60D40EF909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92eb5e0d6bdd856710fcc42356898918428a387c","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733753$8D5B06D3-184F-4658-B64F-5BBA2DF3453C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"196195d838b611f16b249cf65298666367dc0945","datavalue":{"value":{"entity-type":"item","numeric-id":5310685,"id":"Q5310685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733753$D46AB233-827C-4096-A3E8-BC35ED087327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cbb19a688ecb2f07c94cbeb605af8ab01351f9e","datavalue":{"value":{"entity-type":"item","numeric-id":5178911,"id":"Q5178911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733753$2038BEBE-97A8-4F1A-A191-D25F799EEE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4ac72cad90d1fcab7b780adfd3ca8a57f7425c","datavalue":{"value":{"entity-type":"item","numeric-id":1401943,"id":"Q1401943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733753$FE85B5B1-42EE-4FDC-9440-9852A6D69FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d37412feb3c9b7693518f86d19f47e0942eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2740986,"id":"Q2740986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733753$8FEAE03A-ECFC-4ACE-A41C-BDA7D294EBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8db006d769bfa83ed88080615168698ac96f83ac","datavalue":{"value":{"entity-type":"item","numeric-id":4875448,"id":"Q4875448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733753$56BC1FBC-4827-4F86-886A-4D4453579AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860531763d18ed387e21c0f98b8b16b88ef9aadd","datavalue":{"value":{"entity-type":"item","numeric-id":4002474,"id":"Q4002474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733753$8613A203-A51B-4E80-8B56-4CDFA4B53663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0633baa2c22ddc2ddf3c89da84d2dc9ec96eb60","datavalue":{"value":{"entity-type":"item","numeric-id":4850553,"id":"Q4850553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733753$CA71822B-3915-4C8F-8F77-FE6986DE0798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b255e6a1b0fafb2bd3e0b0894b4888d7425168","datavalue":{"value":{"entity-type":"item","numeric-id":4138134,"id":"Q4138134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733753$05CD512B-29B2-4559-9FCB-392D7C7B2F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733753$A7E1FCF0-6A0D-4CE9-BAA9-37F12FD09A45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"443e4b2f172e8d57678598e4e6981b5643beb291","datavalue":{"value":"10.1007/S00224-009-9181-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733753$7E4F4B97-3217-46D2-A38F-7534062F8FB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d92e0f2be34bd5f65fd1bfcfe85121c140e4201e","datavalue":{"value":{"entity-type":"item","numeric-id":1575934,"id":"Q1575934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e5d29230569aeedae43344962cb3a4802f1225","datavalue":{"value":{"amount":"+0.89656544","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":"Q733753$04A0F55E-26E2-4E6A-BC6B-0F5B637164F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"699abd0a3753cef04f0fc79a5b4ebea335afb4b9","datavalue":{"value":{"entity-type":"item","numeric-id":3787979,"id":"Q3787979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8978801eccee69189bbb94b086c3fa3d5c285ff","datavalue":{"value":{"amount":"+0.8722149","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":"Q733753$D625F756-9991-494A-AA1C-99CA4ACDE88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d87354d104b0f73e0bfd05e2ff7e1388f62a355","datavalue":{"value":{"entity-type":"item","numeric-id":2906569,"id":"Q2906569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93cba11f37be9e7ef3205ffea52095682ee9cab3","datavalue":{"value":{"amount":"+0.86599845","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":"Q733753$C525D394-12F0-464A-ACC0-81A138599A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0712d7a29a924a2ece9e5c4c46b8bc70284ae23","datavalue":{"value":{"entity-type":"item","numeric-id":1916364,"id":"Q1916364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff88e4a5013a6ff9061e1fa02a8aec57f7872942","datavalue":{"value":{"amount":"+0.86230385","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":"Q733753$1B021D12-834C-4AF5-A281-1B3E677142CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40367def7a7403c75a5aeaa8a81415b169ec0d0f","datavalue":{"value":{"entity-type":"item","numeric-id":4234332,"id":"Q4234332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6304e5c956e28d54a6e2af4296f4f54f16b364fa","datavalue":{"value":{"amount":"+0.861655","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":"Q733753$C92FBA63-20A6-49E0-BE23-8C29D092DAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcaefb3b70d25c064a9f1741c555ddcca94f1c78","datavalue":{"value":{"entity-type":"item","numeric-id":953533,"id":"Q953533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f715ce1f0af701883c3b91c0c6ab7cc28bf22a85","datavalue":{"value":{"amount":"+0.86161876","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":"Q733753$CBE21DC6-1651-4DE2-9C5A-2FB31CAF2204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b180fd7c37aca86db24433ac508ad2c0acfe7e62","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c9d3956d0ef54c46d67ba85122b3b663791c1b2","datavalue":{"value":{"amount":"+0.8612957","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":"Q733753$4F7DDFC1-795E-4F6D-A9F6-CC22AAB12ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2268eff9a6b8816bc50336e8787e5950cce82f","datavalue":{"value":{"entity-type":"item","numeric-id":5687240,"id":"Q5687240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2b9277ba97afb941b073e348d88d120aaf96a6","datavalue":{"value":{"amount":"+0.86030626","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":"Q733753$DDF60269-D49F-4EB1-885E-F434E66320FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88a17c673e5a0f95a61f0000a1a64861389b607a","datavalue":{"value":{"entity-type":"item","numeric-id":1306714,"id":"Q1306714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2b9277ba97afb941b073e348d88d120aaf96a6","datavalue":{"value":{"amount":"+0.86030626","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":"Q733753$225D4A52-D7BE-4F5C-9EDF-EF3896D04ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b0a0d565da92f52b216f298eba135557980aea","datavalue":{"value":{"entity-type":"item","numeric-id":3499754,"id":"Q3499754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab9d1b794d60639746865344abece302eee767ae","datavalue":{"value":{"amount":"+0.8598644","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":"Q733753$0ECA44D0-1600-46BD-9AA7-689F666BB892","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two algorithms in search of a type-system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_algorithms_in_search_of_a_type-system"}}}}}