{"entities":{"Q2895473":{"pageid":2906198,"ns":120,"title":"Item:Q2895473","lastrevid":79524635,"modified":"2026-05-06T14:06:59Z","type":"item","id":"Q2895473","labels":{"en":{"language":"en","value":"Generic fibrational induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6052249"}},"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":"Q2895473$FCDFA1B2-6603-42BD-8D17-C0B819D2F03A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10f8f08260816206f1eeaed938dd56a6a2007dba","datavalue":{"value":"1242.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895473$C5FB4F98-FEC8-4910-8D41-E9883264D27C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55c9e6ec8390388934c732e251ba6847cb9d5457","datavalue":{"value":"10.2168/LMCS-8(2:12)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895473$88AD9280-D1FC-41C7-ACF2-358B3F6250AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b927429827013666616d8874f179818e1bf5b042","datavalue":{"value":{"entity-type":"item","numeric-id":724934,"id":"Q724934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895473$A56A6F01-6189-44E1-95E2-9A91D48F3538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895473$CEDC059A-C96A-47F9-BFCA-1F3A667A12D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7c6924ad0a88ab7e054b45d5b003a84c37d69f2","datavalue":{"value":{"entity-type":"item","numeric-id":1630032,"id":"Q1630032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895473$B434E51E-659C-47C9-87E8-779470D4493A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2895473$80D24FDC-96B5-4E6A-A9B9-C244AB9B3D93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ba0036895bc96d003b4a03286285e72e8ca4bd","datavalue":{"value":{"time":"+2012-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2895473$94D9EED2-0B08-4BBA-A9C3-785D82C6AABE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"974c7e93cf8bfb33e6095b1940091b08246cecea","datavalue":{"value":"https://arxiv.org/abs/1206.0357","type":"string"},"datatype":"url"},"type":"statement","id":"Q2895473$B26A7B87-9D4A-4D13-AC7D-E3E52F7AB29E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895473$81F784E5-EF44-4404-950E-5106F79FA153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895473$C0E85F4D-D35D-4EB9-9B63-A6A745EB023C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39c88e51b51461cc469e4e1b81efd13adbc33f74","datavalue":{"value":"6052249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2895473$3F3A120B-7836-4E8A-98CC-29CA897BAADE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895473$D3F26618-B146-4481-9BC1-90394C3244A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc9c5dd84f563d30841beda4a6a6f6d1bc732c6","datavalue":{"value":"algebraic semantics of data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895473$DE3F879B-D779-4965-9638-A679D6D9E0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c2ed255c68513ba5fb72b62eb668c762562c3","datavalue":{"value":"fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895473$4797AA2A-79A6-480B-9595-C85FFC84E201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895473$4898FF46-83AF-40AD-9079-D88390C45C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae973dea0bce1781f54a2b7f8606c1e8a434cfdd","datavalue":{"value":"initial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2895473$345EE954-7861-47FF-A660-D95BD2D3D643","rank":"normal"}],"P1463":[{"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":"Q2895473$14DCB323-7101-4037-9B5B-E8DE1D3B11BF","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":"Q2895473$16191B94-5D8B-43C7-8891-BBE49DE3ED6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb33cbcd9f76daad1fa39c46ae3f49b11d00c882","datavalue":{"value":{"text":"Generic fibrational induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2895473$F9CCCF05-BE3F-462F-B21E-542ADB7D037E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597237f1158986e01eb159ead08ab5e98adca3b6","datavalue":{"value":{"entity-type":"item","numeric-id":3586050,"id":"Q3586050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dcc594203a55e4d145a192f76cfb0b5fa6299cc","datavalue":{"value":{"amount":"+0.9714263677597046","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":"Q2895473$C75C67D1-8415-4E97-93BB-E47AE11500C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a163de49cec43416857e5f066df8dd0ac03af53c","datavalue":{"value":{"entity-type":"item","numeric-id":2892757,"id":"Q2892757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10745246ad546ad7575362f9a2d1d1b37d0100e0","datavalue":{"value":{"amount":"+0.8748850226402283","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":"Q2895473$C53E3F22-B8C7-49A4-A458-DB80E6219421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c585606a3cd43bc50be28c7d35db49b232102ba5","datavalue":{"value":{"entity-type":"item","numeric-id":5894256,"id":"Q5894256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a0efa63d8bc85bd32bcae0324c532087d87164","datavalue":{"value":{"amount":"+0.8080382347106934","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":"Q2895473$97BDF8AD-D9E8-4C90-8628-AA61BAA1D4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f972385af25e3e851d1004cf8235f4f37e9af31","datavalue":{"value":{"entity-type":"item","numeric-id":5891134,"id":"Q5891134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ee6df3092778a24e7e3c953e33d0116ef46314d","datavalue":{"value":{"amount":"+0.8050436973571777","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":"Q2895473$43B3006F-94EA-4BA0-BA25-492F7F5EDFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c5c7cc65fa7605d234cc789f21aa130bbc4dc1","datavalue":{"value":{"entity-type":"item","numeric-id":4474856,"id":"Q4474856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79faab468b47a08fbf897ac49645dd670652bddc","datavalue":{"value":{"amount":"+0.7960180640220642","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":"Q2895473$041EBA90-BC76-47A2-97BF-14D08EB29830","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generic fibrational induction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generic_fibrational_induction"}}}}}