{"entities":{"Q3090862":{"pageid":3101577,"ns":120,"title":"Item:Q3090862","lastrevid":86458169,"modified":"2026-06-03T21:17:54Z","type":"item","id":"Q3090862","labels":{"en":{"language":"en","value":"A categorical semantics for inductive-inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945220"}},"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":"Q3090862$92AD079D-5796-4400-8250-686238560909","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f64affc46bea809b38011c329f0fe10f9b5aa9ab","datavalue":{"value":{"text":"A Categorical Semantics for Inductive-Inductive Definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090862$5EEA54C1-0D6C-4D6E-8356-897BE763DAED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4343079782a7c3aae418c9834bceab62eeed1a6c","datavalue":{"value":"1344.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090862$13AA195A-3792-4E87-935C-A89CB99AF8AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"986b9a83eb384d1e28644633da19781a8a315e02","datavalue":{"value":"10.1007/978-3-642-22944-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090862$3430EF25-BB17-4AB1-B9F0-B27EA6513076","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801a503eb1bea2102d1e59832005afa5cab1cee","datavalue":{"value":{"entity-type":"item","numeric-id":1652991,"id":"Q1652991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090862$74390179-17D0-4770-AB1B-77EEA418ECAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc2053cb0cfb044ed4ae77cf39e500531ee6c352","datavalue":{"value":{"entity-type":"item","numeric-id":3090861,"id":"Q3090861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090862$890FCAD6-E4DE-4FFA-9362-0EAB8863BE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59bdf3d36e9ce42e8810d203cfcd2e72a91b62c0","datavalue":{"value":{"entity-type":"item","numeric-id":724936,"id":"Q724936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090862$D69A0F2A-F89B-4E91-802D-34A974F7422C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"726d6d17ffd7097481aaa7acac69959461b65139","datavalue":{"value":{"entity-type":"item","numeric-id":587965,"id":"Q587965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090862$F5163E08-D4D7-4721-8C19-E6545F35BB10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c69d0d6931faf1bde94dc1cf33300ba4c2b8327","datavalue":{"value":{"entity-type":"item","numeric-id":2848933,"id":"Q2848933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090862$1D8C305C-B366-4CD8-AE65-C74990F3B9B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3090862$2DFA04BB-3B3C-4D9C-82C8-B2E32465B3AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55cf0b171829457f67d39c8ec3ee92de3cad6b03","datavalue":{"value":"https://cronfa.swan.ac.uk/Record/cronfa7505/Download/0007505-18052015005827.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090862$BFA24636-E6A4-4856-A06E-FD6B48BC6941","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090862$6F5994C6-E54A-428D-8BD6-8C705F0C9D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090862$16038AD8-90E4-4050-97BC-8F41E889E680","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e7fb00ffa78e5e15374a535550dfb7ea10c48c0","datavalue":{"value":"5945220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090862$219FB93A-A6C2-469C-B873-3011FF1F3FC2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e714f4df754d555703992dc185d70d54f24fc660","datavalue":{"value":"Q61583756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090862$D469634A-1518-4731-9C3D-233EDDDCCA68","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":"Q3090862$AF80C8AA-6DD6-4459-89F9-DBA75C3BE2AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04533557456feb79416923a934c986d192621e09","datavalue":{"value":"W1844544548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090862$021BB499-D815-4A13-B37D-8D0E2AD97C6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98786468ef1504942b6c4f21ac74d0e7856cd354","datavalue":{"value":{"entity-type":"item","numeric-id":4981449,"id":"Q4981449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50613266cb07a716eb6c202012d5cb38dec99f11","datavalue":{"value":{"amount":"+0.8312549591064453","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":"Q3090862$B5234228-4B99-491C-95C6-5740017DC87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fef228a353cc07d2c1654ce9e3f29b1224dff3b","datavalue":{"value":{"entity-type":"item","numeric-id":3586059,"id":"Q3586059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9337b84d1b989d9a74ca8062c913a30db88eaf28","datavalue":{"value":{"amount":"+0.816639244556427","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":"Q3090862$6838D739-66EA-4EA2-B3F8-5B41DA3007F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d7f413032b68f847d2c69e71e5ee21c069e875","datavalue":{"value":{"entity-type":"item","numeric-id":2848936,"id":"Q2848936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d67b6a12085ca38772ca0f48c3b5f8a86adb12","datavalue":{"value":{"amount":"+0.7635359168052673","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":"Q3090862$792DD213-DEDC-47BC-80E7-0DEB5213D323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de650f9c1c06853ad5aa480c6f7ce1a1e9810f6d","datavalue":{"value":{"entity-type":"item","numeric-id":5014439,"id":"Q5014439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb80d513219c2acff4667450b32931c567b634f8","datavalue":{"value":{"amount":"+0.7624664306640625","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":"Q3090862$F0DC00CF-FBF7-4224-9024-AB1672D09467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50721503aef0079c5f4222b84006844b865b3d45","datavalue":{"value":{"entity-type":"item","numeric-id":5945839,"id":"Q5945839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361fbef1cf54aa432c7356cbd6a9593ff34ef1a0","datavalue":{"value":{"amount":"+0.7599538564682007","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":"Q3090862$2F959158-7A07-4BC9-B1EB-713C27665193","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A categorical semantics for inductive-inductive definitions","badges":[]}}}}}