{"entities":{"Q1687535":{"pageid":1698276,"ns":120,"title":"Item:Q1687535","lastrevid":68202252,"modified":"2026-04-12T22:06:45Z","type":"item","id":"Q1687535","labels":{"en":{"language":"en","value":"Foundational (co)datatypes and (co)recursion for higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6821624"}},"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":"Q1687535$B8147E8D-5C11-42F0-A3D4-177908BD536F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2c9144ba3da6a6fb93e0262c8cad5514a3379f2","datavalue":{"value":{"text":"Foundational (co)datatypes and (co)recursion for higher-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1687535$D7111769-9A51-450A-91A3-8BB02A711ACA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d58081a1ff836f39611ef855d4d0d52e5fd39209","datavalue":{"value":"1495.68238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687535$55A68B21-E0FA-464E-9576-76AD14B298A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d33ae224e5b8820b2cf308ce4360a2b48945ea1b","datavalue":{"value":"10.1007/978-3-319-66167-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687535$37495207-8BF9-4550-A78B-D1A29600C66C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3f764041040d6098c2392352ecb836c885b5caf","datavalue":{"value":{"entity-type":"item","numeric-id":1687528,"id":"Q1687528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$8EA317B3-9CBA-499B-8B03-85EA9F22540D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c29c686dffd678d9f155b05a4a1aa93e85953c","datavalue":{"value":{"entity-type":"item","numeric-id":287335,"id":"Q287335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$1E6F910B-25D9-4306-AB77-48CA923A3613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea2904b4922318a1a0621e261575be203dff1e6b","datavalue":{"value":{"entity-type":"item","numeric-id":1687529,"id":"Q1687529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$E6020C29-7D74-4062-A582-088B30CF5B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17c6d08c5d40a2588ec2b2e7f20fd42f41187444","datavalue":{"value":{"entity-type":"item","numeric-id":1687530,"id":"Q1687530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$5C9C7F82-0E9F-474F-BF2E-19F2844BDEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef26cceb99c4befe66da5792d77abe576a865b4f","datavalue":{"value":{"entity-type":"item","numeric-id":287337,"id":"Q287337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$93B09FBF-5C8D-40A3-B556-B824E3164DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d6620daf8648b9713aa99490f0508510abdae9","datavalue":{"value":{"entity-type":"item","numeric-id":1687531,"id":"Q1687531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$9C2D99F6-A281-4A88-A3E0-E6D37179DE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb18cf0542c9d5785b9c3d13ac135abc8a7efb68","datavalue":{"value":{"entity-type":"item","numeric-id":1687532,"id":"Q1687532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$18291F5F-D5E2-4F76-97E0-D3766D2BA7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b18da065d50ce37e447f1f6708524421ab8f031f","datavalue":{"value":{"entity-type":"item","numeric-id":1663232,"id":"Q1663232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$8F036E88-E651-4324-A656-C9275853BCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3883f4183f7bd520a5f580669c8bb1692b93de7","datavalue":{"value":{"entity-type":"item","numeric-id":1687533,"id":"Q1687533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$83B976FD-45EE-4CFF-A92B-4C690E9B5FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd539c7c92c9481594d26fffced89ce696c849a7","datavalue":{"value":{"entity-type":"item","numeric-id":1653236,"id":"Q1653236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$9DBB0AA7-DD7B-4F94-A21C-B3298029446E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ef4ea61388b67726824db4b9b444c6863305920","datavalue":{"value":{"entity-type":"item","numeric-id":817686,"id":"Q817686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$A1351760-7CD9-4C42-A3B8-F8834621BC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0653fc883593f9e70c5ddda3d1f1f752c0d0ffca","datavalue":{"value":{"entity-type":"item","numeric-id":530846,"id":"Q530846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$586C01A4-660D-4457-A000-86574679D1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e2771b20e3c98dace74591de69baf1cddaba7f","datavalue":{"value":{"entity-type":"item","numeric-id":515686,"id":"Q515686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$23FC08A0-C217-4325-A5FC-B65BC03BBD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"157dc0abe360dacc915db0769a2ed352a42201ad","datavalue":{"value":{"entity-type":"item","numeric-id":1687534,"id":"Q1687534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$B7AC344B-3BD4-4B40-8D7A-851823DEACCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7600255b4ee907c1b1dfbc5f62c7b1165ab1b6d0","datavalue":{"value":{"time":"+2018-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1687535$20E02799-DA55-496D-A4C4-2F8FD2A34E07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4da07421ce58cbc0ecf7acbca9d1c1d6c941abc","datavalue":{"value":"https://hal.inria.fr/hal-01592196/file/BiendarraBlanchetteEtAl-FroCos.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1687535$0DEA63F3-1592-4EE3-AAA2-F1EBAC10CEA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687535$F7D73E27-20E4-4CA6-B8F4-B1A9C28AE890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687535$CD4AE1ED-151C-48C2-B57F-3BB99F2B921D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53fd798ef025c4efed4f1e4a03a02e445a19b872","datavalue":{"value":"6821624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687535$38496FEB-B7A3-4174-A74E-71AC6D85399E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$429BFC73-70AF-46F5-8EC1-DBEC9BC6F249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41fc9cdab07636dca04412ef0070f1d13ce58f4d","datavalue":{"value":{"entity-type":"item","numeric-id":19148,"id":"Q19148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$33059A20-96F3-4A88-9ED3-8E331929FA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a257d240b480b5ece933d2c2bd233446d01dde3","datavalue":{"value":{"entity-type":"item","numeric-id":40624,"id":"Q40624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$D33EE1ED-C62A-414C-9F3E-332E3C62075E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$7227AE42-9D5B-405F-92C4-BBCF1D4CEBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$CD877D72-9F96-4326-ABA5-4CC89306D869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$AFE96786-73D2-4461-95F9-0E94BA58E3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$67F0773B-54EE-424B-9D80-3DC960CC01E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86d9d04762f0ea93e67dde51002faadad043987d","datavalue":{"value":{"entity-type":"item","numeric-id":40252,"id":"Q40252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$7BFB7895-AFC5-4F93-ACDB-530A52AAC906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"00eff5f4477a877589eb9cf8614492385c42b973","datavalue":{"value":{"entity-type":"item","numeric-id":40251,"id":"Q40251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$3432B0F6-FC55-44EE-80A4-543D0DF45518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6817648a014bffcaccff76b9396449638afc3c6a","datavalue":{"value":{"entity-type":"item","numeric-id":40298,"id":"Q40298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$A8937024-D144-4181-89A5-2693F6003F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7a740553ceb44ce3007defbee22b0a25cfb6e045","datavalue":{"value":{"entity-type":"item","numeric-id":40300,"id":"Q40300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$A5D4BF28-6D07-4964-B746-E4BF372CBC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ea3c552abed85ac2836ef6c3f1add7a3ef6ea63","datavalue":{"value":{"entity-type":"item","numeric-id":40299,"id":"Q40299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$92824E5B-6ED3-46C5-9F9A-B752ACE39F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f6907c99f108b6e9bb16dac439b2e60825fd3f4","datavalue":{"value":{"entity-type":"item","numeric-id":40290,"id":"Q40290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687535$FFAD8974-F637-423B-B403-776B08F7CAD1","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":"Q1687535$D587CDBA-A9BE-487E-8601-9B43B91FDCE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9705d5bfc1e34fcdfc846cc467eea3f0045ca953","datavalue":{"value":"W2746677766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687535$518879E6-C5A2-499D-8EEE-EE2F421D7E60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a24a8ae0cfdf13ea75f0df7294b258b87d416140","datavalue":{"value":{"entity-type":"item","numeric-id":2879246,"id":"Q2879246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c3b70b4494db7cf32aa6ed87b30b3d63f37f6a","datavalue":{"value":{"amount":"+0.8428979516029358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687535$4DF0067D-7915-4014-9D97-9F4171BACAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603e3d65c9066486d2de05b6ce7f1d9bb5cd8dd8","datavalue":{"value":{"entity-type":"item","numeric-id":4340418,"id":"Q4340418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def6dea372791fdb980927914e1ccae9e16f03c7","datavalue":{"value":{"amount":"+0.820885419845581","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687535$91EC5D99-ED02-4F8B-81FE-387078C606B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45259a692f704ff9fa5333f98fe9a1012f3def9b","datavalue":{"value":{"entity-type":"item","numeric-id":2362498,"id":"Q2362498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c84047a134827a81b348e5a0eb25559fa3256dd3","datavalue":{"value":{"amount":"+0.8197813034057617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687535$219372C3-423A-47A8-B2BD-FF93AF387534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2071723ea82038865050796ff4fd5eb14dc2420b","datavalue":{"value":{"entity-type":"item","numeric-id":2802441,"id":"Q2802441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278350bedf98cfcf4163973c8ae1646f3f5f1029","datavalue":{"value":{"amount":"+0.7947630882263184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687535$7F5E0C87-8A27-4F61-A5A8-8D330723D205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ec8e8eac53e05577480854f8321be8825771ba","datavalue":{"value":{"entity-type":"item","numeric-id":5144617,"id":"Q5144617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fcd4a1ff2544fdc43466078564b54666247b08f","datavalue":{"value":{"amount":"+0.7934985756874084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687535$8A6C4B94-EA50-4B66-916A-D76DD575ABA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Foundational (co)datatypes and (co)recursion for higher-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Foundational_(co)datatypes_and_(co)recursion_for_higher-order_logic"}}}}}