{"entities":{"Q4036571":{"pageid":6066289,"ns":120,"title":"Item:Q4036571","lastrevid":55240891,"modified":"2026-02-05T05:30:20Z","type":"item","id":"Q4036571","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176742"}},"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":"Q4036571$347F0CBD-8DC5-4200-86C0-47878792A362","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f344bd0f789e1a6023ebd539a231113121820fa","datavalue":{"value":"0769.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036571$F879D5B0-6B5D-4B9E-B5BA-4C753123759B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036571$9C7AD0B7-3D33-464F-B997-1F683F474DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"486d099545b5d657b05fa44bcf3d0c8a1580d678","datavalue":{"value":{"entity-type":"item","numeric-id":476170,"id":"Q476170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036571$17183344-D072-46B7-B9BA-49C631CB16AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4036571$9A3BBA8E-A555-48ED-8B58-EBB6E92D041C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036571$81283A28-9007-4B91-AEBA-B8E7E5CFDEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036571$4BEB2516-442B-4742-9264-D5D940FA2C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036571$B96CED55-107C-46EF-9358-CC8A742CDF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036571$62010CFB-B2ED-44B5-BC7C-E0F9FC6CDBA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e3bde0b4a905ae08ff2fcf58163d416da0e4c4c","datavalue":{"value":"176742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036571$0BE4C696-B7C2-48AF-B36D-1FAB2F8432E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a0f236220655e7e3da2503f6f40d5a4e7afb28b","datavalue":{"value":"full equational theory underlying cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036571$42D3D3C9-BDBD-410F-8EC1-1A1C3BD5ACF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48240d56cc8945825d7b1a8d58d746f495fe60d9","datavalue":{"value":"polymorphic extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036571$A13D7E5C-D7BC-4D71-ACBD-D522A7F8B59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff1d6a55c68097ff5b030fd1901920f33f415349","datavalue":{"value":"\\(\\lambda\\)-calculus extended with surjective pairing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036571$D7DD5BB5-9B69-4715-AA02-D1B54B04DDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"770329cbe5a6bf91367d40f26115cbfcf013d30e","datavalue":{"value":"terminal object","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036571$96767E15-45C4-49C9-A11F-AC896609C8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77bfe34b4ce751ec5ab36c3d97d8f401080ec33f","datavalue":{"value":"confluent rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036571$7A546767-890D-4BF5-8BAB-491DB4C6F789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036571$1044ED29-61A5-4956-BDB1-F1E5937B9373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b718e48fe341633490fa2ced729b418e18c3ad8","datavalue":{"value":"polymorphic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036571$269749C3-2A3C-4FE3-85FE-FC615760451C","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":"Q4036571$79C2FDE4-7855-499A-A74B-5AA93BEF4CB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83fc167108224555251684cc9f615ffbaf1da06e","datavalue":{"value":{"entity-type":"item","numeric-id":4895554,"id":"Q4895554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q4036571$35FDB883-45AB-4E61-A289-AD4353A465D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4e46f0c184edd1b971c1e028e8fa2baed0481d","datavalue":{"value":{"entity-type":"item","numeric-id":4630299,"id":"Q4630299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e756d593586caddfe1d690ba8d22a5bd78711b","datavalue":{"value":{"amount":"+0.9343181","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":"Q4036571$F98A157C-A280-49AA-8842-BED09D8476B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec26f2160f54fcb39bb3aa4d24e9921da1e1da50","datavalue":{"value":{"entity-type":"item","numeric-id":5111301,"id":"Q5111301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf4289bca5fa5d8e455dbbc0d0b162b40c2f0ca6","datavalue":{"value":{"amount":"+0.89563286","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":"Q4036571$DA7671DF-BE8A-45AC-82E8-F6545CD87713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8968fb4bd7d1addac8c29679518734cb9fda15b4","datavalue":{"value":{"entity-type":"item","numeric-id":5310654,"id":"Q5310654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362cdda1dea89cd7d018c3033ad8cf857d67a7bd","datavalue":{"value":{"amount":"+0.88754416","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":"Q4036571$1231E93F-32BB-47E7-B358-936F26E4F1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7acf51e626b53850836e25baf8f1ef89d686f23","datavalue":{"value":{"entity-type":"item","numeric-id":3202990,"id":"Q3202990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f813cf798e737ed1fce7457371028697d98539d","datavalue":{"value":{"amount":"+0.8788854","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":"Q4036571$52D46F12-F1B2-45EF-8C61-7946FBC4DC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe18158a6ce01f773853a6291b89d428a861bf80","datavalue":{"value":{"entity-type":"item","numeric-id":897480,"id":"Q897480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7901456760afb12002627885e6563b2d49cca3","datavalue":{"value":{"amount":"+0.87847364","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":"Q4036571$7CAD1E88-548E-4BD9-BCE7-3280380652A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3c7b8de097b4be467676211e2afc74edd39844","datavalue":{"value":{"entity-type":"item","numeric-id":4945227,"id":"Q4945227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08d9c633caa82d0def3e4d695652dbb101a9f02","datavalue":{"value":{"amount":"+0.87752414","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":"Q4036571$6A30A2F1-FDA7-47D3-A6C5-57F22205BBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9874a5291870ecc982d637a6e973ed85078d1151","datavalue":{"value":{"entity-type":"item","numeric-id":1884931,"id":"Q1884931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8679ad1ee2e485685c6779b09ce0dab6718cace","datavalue":{"value":{"amount":"+0.8765783","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":"Q4036571$18D9175A-4C43-446A-A5D0-B557DEAC5357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8523f9fbdd0cb5d75658db58f361aefd862698","datavalue":{"value":{"entity-type":"item","numeric-id":4903716,"id":"Q4903716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbbfa77b1b55f907138c6f73a3f7e277351f78e3","datavalue":{"value":{"amount":"+0.87435687","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":"Q4036571$75F0F718-6B20-4541-BA5F-3360E5CE2EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712576e596f6617f303ee8b32bb91d309c5147b3","datavalue":{"value":{"entity-type":"item","numeric-id":3527292,"id":"Q3527292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4c0d6c889f46d28828f71749fad9c5da7fcae8","datavalue":{"value":{"amount":"+0.874054","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":"Q4036571$3B4784D3-D266-42F7-B4EB-5828987AA1C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4036571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4036571"}}}}}