{"entities":{"Q3486538":{"pageid":5516438,"ns":120,"title":"Item:Q3486538","lastrevid":46903779,"modified":"2025-12-25T20:03:30Z","type":"item","id":"Q3486538","labels":{"en":{"language":"en","value":"A Consistent Higher-Order Theory Without a (Higher-Order) Model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4158592"}},"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":"Q3486538$078A34F7-9FA2-41AA-98B3-AC78B3E1C49C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85eb6d6ee9981b40d4b63173c4fc6957de002122","datavalue":{"value":{"text":"A Consistent Higher-Order Theory Without a (Higher-Order) Model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3486538$1740FFD2-7BF2-4B84-94DB-C2FA3A9A5308","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d048d2e550f45918cccd0c5500236e0fb893353d","datavalue":{"value":"0706.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486538$5EFC28EA-A6E2-4410-9CB0-500B773010F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc7d2f4d9fec38e3b8a27aad0056f3fb4e99b856","datavalue":{"value":{"entity-type":"item","numeric-id":628797,"id":"Q628797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486538$97CC65CE-28BD-47BF-B35F-4A9B45BF462B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486538$6C0F2780-F89C-482C-BB1D-FA8C090C5BAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3486538$084CBC85-750F-4A86-BF2D-FE7E89C40554","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486538$97393B65-BDCB-4027-A369-BE921D0F1EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486538$AE6CC99E-D0F9-41F1-A390-25F573F1152C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486538$6FBBB086-5919-4AAE-93B7-4D8C4671FF3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"301cc771767e701738122e823583dbe9e3dcf438","datavalue":{"value":"4158592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486538$1E7DADBC-DCFC-4A8E-8A36-BB1BCC2E9152","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778552ef8ee4af35ad97ab0a684771bc7be54f20","datavalue":{"value":"theory of negative types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486538$32103D01-5269-4DC6-A25C-269E537793B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ab19c372fa95e34e070f20d24b304cbd2e63cd2","datavalue":{"value":"polymorphic typed \\(\\lambda \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486538$8E60DBBB-5DD6-41EC-B9F3-0EF4ED3B26FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"123d9cfe45970e26c26099b6df5cd3f9da26552a","datavalue":{"value":"failure of compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486538$69E07EF5-F276-4172-9822-A379844FBE40","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":"Q3486538$51CAF447-25E9-4F9F-A687-A451CCE7231F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10450b2a42df27abdc67ff919a07c1de920a4664","datavalue":{"value":"https://doi.org/10.1002/malq.19890350502","type":"string"},"datatype":"url"},"type":"statement","id":"Q3486538$03E4044B-4A5B-4932-8DB8-D6201C5F2A31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f65fcb736cfd67177e58a0ec7851fe9114ff849a","datavalue":{"value":"W2086010737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486538$B8EAC4F6-761E-45FE-97CA-DC9A38A57B90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50ba56b1dd46738de94fd880ec25e3411b9600c5","datavalue":{"value":"10.1002/MALQ.19890350502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486538$D8CC0E7C-2C1B-425B-BB50-7A49C301C54B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44273a8ac65d435c2f40dcc447ee8e1f4de44311","datavalue":{"value":{"entity-type":"item","numeric-id":3987717,"id":"Q3987717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06abddca72dccbe305f58a1d2e1901521897cc43","datavalue":{"value":{"amount":"+0.8431768","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":"Q3486538$9257054B-3C22-48CB-9A30-AE35A24AC05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dfacadffd283ed6199f695bfef347f502ad6322","datavalue":{"value":{"entity-type":"item","numeric-id":3680807,"id":"Q3680807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0488ef01c2f967e412e1823574535cf3e47fe452","datavalue":{"value":{"amount":"+0.8335092","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":"Q3486538$CED17E07-BEA7-40F1-8540-D7F23EE2D6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91d68debd6ca26227a94a8e51493d2e76f4643c","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23941e555edec919d56ab27f338db5fc04ec0f07","datavalue":{"value":{"amount":"+0.8170594","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":"Q3486538$62DC6348-67F3-4B5E-9498-9528EF5673B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54c0a065c55c99e0f30a01c188fe5cadaed3353f","datavalue":{"value":{"entity-type":"item","numeric-id":1204124,"id":"Q1204124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0cf2c79a04f50f5f63c1c3ad1817e3150f76734","datavalue":{"value":{"amount":"+0.8163339","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":"Q3486538$4A0977C4-16F4-4FBD-9C30-C4E49D93572B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f96a8e0aaa6b01a8e0f4cfad9aa89d27a64409c","datavalue":{"value":{"entity-type":"item","numeric-id":3408123,"id":"Q3408123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"439f39d0a77bd7ca99b6bb6944c2754ea11e05bd","datavalue":{"value":{"amount":"+0.81619245","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":"Q3486538$1DF5F796-73F6-476C-8C2C-6848F79179D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5242243aebde68d22e615a166db6c42d01decbcb","datavalue":{"value":{"entity-type":"item","numeric-id":2368916,"id":"Q2368916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0e55371355eed243985bd055a00a42d7c108c93","datavalue":{"value":{"amount":"+0.81599414","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":"Q3486538$2B4564A2-1209-475D-9194-E769C272A225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8997cc1e4b2f5dff8fcc70a3a892844f490c2e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5458158,"id":"Q5458158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54fe31922ff9d284e513e8b6d387f2eceb5c478e","datavalue":{"value":{"amount":"+0.81285787","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":"Q3486538$7E621D31-CB95-458E-8DFF-5000DCF6CC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055311d0edb027198031952b560573bf396dc498","datavalue":{"value":{"entity-type":"item","numeric-id":1914755,"id":"Q1914755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ce1b39fa2f666739728773db4ce86e243acbcf","datavalue":{"value":{"amount":"+0.8113967","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":"Q3486538$7B962579-753E-4EA3-A68B-253E178008BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1dbb390a99fc8a947a05afdc10e61451f9aeea3","datavalue":{"value":{"entity-type":"item","numeric-id":4264529,"id":"Q4264529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f44d74b4a6eba60d8739dc3a876fc36225ef400f","datavalue":{"value":{"amount":"+0.80836856","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":"Q3486538$AE96E913-C4B0-43DF-9BA8-1A4203DD10B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"526a32793d5d654226901c97b2a231f0c768efe5","datavalue":{"value":{"entity-type":"item","numeric-id":5275277,"id":"Q5275277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d1f05f8dc902382510b2f1b1d0c3f4037896a1","datavalue":{"value":{"amount":"+0.80828416","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":"Q3486538$323D9279-25EE-4C12-A110-79842454E63B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3486538","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3486538"}}}}}