{"entities":{"Q5551455":{"pageid":7581015,"ns":120,"title":"Item:Q5551455","lastrevid":41192019,"modified":"2025-04-18T22:10:18Z","type":"item","id":"Q5551455","labels":{"en":{"language":"en","value":"Infinite products of recursive equivalence types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3264934"}},"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":"Q5551455$34465D29-5185-4685-8CF6-00EF70C6CE4A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ba3fd9947c9cf84fa53682f0fa1df72b4290b3a","datavalue":{"value":{"text":"Infinite products of recursive equivalence types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5551455$586C526F-7A79-4ECE-A0E9-E25774016536","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e337a861fbe05fe83eae8c3b2119b9225eac6813","datavalue":{"value":"0165.31604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5551455$B12CD40A-1A62-4988-A64B-2986C824BDF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4429928f856519ab4df4e8382adf52cac440f7d","datavalue":{"value":"10.2307/2269867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5551455$AE2EFD83-8A4B-4858-856E-88519957B7BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5baa4d6f6af69be2472ead7a45d4fd5f7d4041c0","datavalue":{"value":{"entity-type":"item","numeric-id":5551454,"id":"Q5551454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5551455$76F45236-3D3B-466B-B6D0-A064A0E2A914","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5551455$14217402-24BD-46CA-9711-D4538B9BCBC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b7d902a691bf065ccbbbe3c070a7f8cb1f53366","datavalue":{"value":{"time":"+1968-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":"Q5551455$28F9D881-D26E-41CD-866C-65D046690E77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2190ea267b4c205be452d3178b4c92116a7b984c","datavalue":{"value":"3264934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5551455$8D759233-817F-40D1-97D4-21DFA78BF85B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f441ca3826c2a626abc1e33f52cef18dbfcee6b1","datavalue":{"value":"recursion theory, constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5551455$84C8C1E9-4042-4826-9982-93CB909F88B4","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":"Q5551455$85A3F605-E759-43C6-A91C-ECD3B945BE57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2861220cfd9d20df62b9a6068e65f79fa812da0","datavalue":{"value":"https://doi.org/10.2307/2269867","type":"string"},"datatype":"url"},"type":"statement","id":"Q5551455$77A80622-DB53-431C-A8FC-1BD72E8E067C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5de59a8b8eb1ea6de4734b4e9e1e4d96d1dd6d5a","datavalue":{"value":"W1998662980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5551455$1ADDE241-8D4C-43B9-8E3F-2C56F41ECC58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d72f4aac23131549e846510c851d93a5f0dccb","datavalue":{"value":{"entity-type":"item","numeric-id":2626590,"id":"Q2626590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5551455$E55E3687-FD16-411E-A978-6AB1EF41E42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18798da16ce52c2a0f1dbd36fb948a47f478359","datavalue":{"value":{"entity-type":"item","numeric-id":2524835,"id":"Q2524835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5551455$64483572-48DD-4BE4-9D9C-F64213D20427","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e73e62b7948a207d3e07c23bfd170199c669a1","datavalue":{"value":{"entity-type":"item","numeric-id":2288328,"id":"Q2288328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014168dc5744c05a26b36351db635e9b12e6b317","datavalue":{"value":{"amount":"+0.89457","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":"Q5551455$78C1234B-BA11-4A4A-BE50-4F528E665204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3adfae7f702e823f6db49ebcd4f430440d27b654","datavalue":{"value":{"entity-type":"item","numeric-id":6083690,"id":"Q6083690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4faa37d1ad8c2d36368909f8b5be0572263826f1","datavalue":{"value":{"amount":"+0.8937371","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":"Q5551455$E46EE9AF-2A91-4177-AC22-85FCAEDA629A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95165184f8f6c1b03eb5ce5044df245a5d95911","datavalue":{"value":{"entity-type":"item","numeric-id":3557861,"id":"Q3557861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d4aca1905a03be395dfd640672b412ed3672476","datavalue":{"value":{"amount":"+0.883533","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":"Q5551455$C3D548F6-3996-46C7-925D-E92525F78E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab1008699d7de7760144339951de376adc7a51a","datavalue":{"value":{"entity-type":"item","numeric-id":1275621,"id":"Q1275621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83dc6d56f7b2405a8035bde034b5564ca935f830","datavalue":{"value":{"amount":"+0.8793178","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":"Q5551455$A84FC3F2-8662-4265-A42A-9677F2D63B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425e652d4a6ae8c4a1799b298f36c35b402139f5","datavalue":{"value":{"entity-type":"item","numeric-id":2200826,"id":"Q2200826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2565cdb96d2096be72b4759f5618848873778f","datavalue":{"value":{"amount":"+0.8726698","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":"Q5551455$E39C0EA8-9480-42FE-9471-083A805E6E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67efdb83e58967cffa0acecf40ac0d5adba0a518","datavalue":{"value":{"entity-type":"item","numeric-id":581397,"id":"Q581397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91100904c469585a1120634b02444586aaed2a38","datavalue":{"value":{"amount":"+0.8695238","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":"Q5551455$961D6EA0-642F-4A8D-951D-66C97324F761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613681e0d19116b2c4f21ce3a48a98dc729429bb","datavalue":{"value":{"entity-type":"item","numeric-id":1887155,"id":"Q1887155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5299e19f74f7947c1ff938ed92571fb14111f3ff","datavalue":{"value":{"amount":"+0.8667041","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":"Q5551455$3D1851EF-0CD2-41D5-80D2-CDB2F88186D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db510cb49ecd6ec2e89879a9048c53e8778259a","datavalue":{"value":{"entity-type":"item","numeric-id":5145670,"id":"Q5145670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c88a80d09201f8bb2b320485ed2491610b7308d","datavalue":{"value":{"amount":"+0.8635776","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":"Q5551455$999BF48A-5782-4CAB-A1DC-F4C9CE3488AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0b3ac1db222a2ec6e13c17aa149bb2689d7dfe","datavalue":{"value":{"entity-type":"item","numeric-id":1607224,"id":"Q1607224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ca0591a739a3de77db1d271e24e86ddbe40a0a","datavalue":{"value":{"amount":"+0.86208147","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":"Q5551455$E991BD2F-8E53-4543-B538-AD2C7DE59E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b17e5bd1bcb7f76903471b5a2c0411fec5f7c7","datavalue":{"value":{"entity-type":"item","numeric-id":5903895,"id":"Q5903895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ba9ca9c8c44da7f406bc8feeb354120ba950c79","datavalue":{"value":{"amount":"+0.8611157","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":"Q5551455$E0935B32-BC22-4D1F-A9B7-5B2E3063ABB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5551455","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5551455"}}}}}