{"entities":{"Q959823":{"pageid":961671,"ns":120,"title":"Item:Q959823","lastrevid":65676774,"modified":"2026-04-12T04:14:13Z","type":"item","id":"Q959823","labels":{"en":{"language":"en","value":"The identity type weak factorisation system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5382284"}},"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":"Q959823$1689A097-AC90-49A7-9DCD-B6F5BEA7E7FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c48b117d96fcce4eab202b77f285192f8a0b0e9e","datavalue":{"value":{"text":"The identity type weak factorisation system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q959823$773FAC38-FD9F-4292-864D-B5435603AE77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"777ad5b08598c3e33e7efaf8e5ca60ebc81add75","datavalue":{"value":"1157.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959823$980CDF57-2111-4C18-B8FA-E867E832C3B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e85d980a71ba2f21f2ab5dfb6106cc1a8d5441ea","datavalue":{"value":{"entity-type":"item","numeric-id":531323,"id":"Q531323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$F00D6E1F-B19D-48E6-9611-35A8C1F1CC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db41a60b03ac22c1792510784e84140716e00bef","datavalue":{"value":{"entity-type":"item","numeric-id":323665,"id":"Q323665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$C576DFEA-5D92-4180-9911-BFF1F2AA50D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$E316CB24-7F9F-4625-830F-E0743C7F9F94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eec8ebf90c9ad0eb1538e15d7020cf737b731dc1","datavalue":{"value":{"time":"+2008-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q959823$A4992394-B6AC-4A49-8D43-70F363FD23FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9902025e964d0fbf4f28d327eb6ed7d79e5f29e6","datavalue":{"value":"https://arxiv.org/abs/0803.4349","type":"string"},"datatype":"url"},"type":"statement","id":"Q959823$5E9FFB17-02A9-4FEB-B671-F7D9FDACF2C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959823$2E425814-658D-4076-B42B-3A02CD44E84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959823$985D90A3-4F36-4A59-91B7-C48F1AFAC330","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afc0a622924d15d0f5c351b4bed14f0b69d546cd","datavalue":{"value":"5382284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959823$8F7DD334-664A-4C81-A88F-AB21F434A634","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q959823$E1193C74-D4DC-46F5-8703-E1C091B4AA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef13a89c6778f2a25bad254dc33f67d3057db91","datavalue":{"value":"identity type","type":"string"},"datatype":"string"},"type":"statement","id":"Q959823$26D17AE1-8878-4055-A019-18084269245F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d73a473e1c20a2704b9ffd424e0803c1cd49031","datavalue":{"value":"weak factorisation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q959823$920822DB-7327-4A91-BDA6-3D86DB8772C2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"812a431bb0577d8556ba642269848b1fd3873c16","datavalue":{"value":"Q61834707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959823$A27A7860-285D-4135-8804-270D9043B2C1","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":"Q959823$30451D34-3E5F-4B10-BC46-A1C7627C89E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3f454a6ba29988dcc00fd5e8f7cb8a72a3ef660","datavalue":{"value":"W2158324835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959823$A7529C92-9573-4167-BACC-DD28913375A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b154f66a7ddf1c42931a1b55144474472d0995e5","datavalue":{"value":{"entity-type":"item","numeric-id":4195601,"id":"Q4195601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$617B9DF6-B286-4408-AD39-7EFACAFADEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecdac14a6d1f0425c3e321b73a201f6c904fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$99057A80-53F1-47BF-8ED1-C22D1AFEFF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$05DFCB49-F9F3-49E0-B4A4-090A4812F1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e43143f0e7ee6f779f2d7d17250cc387d393bf","datavalue":{"value":{"entity-type":"item","numeric-id":1239361,"id":"Q1239361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$6B9C1152-827E-434F-BF6E-78F5252F4B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$33021CB5-BB23-48D2-B58C-8C3A0CEB15B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e94e0a7bc58887caf8ea3b84d3a676ee2dfdb61e","datavalue":{"value":{"entity-type":"item","numeric-id":757027,"id":"Q757027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$DBFEADA9-C707-4EE7-8271-B8AC06C0810F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$2CF9203E-D6D1-4E32-810C-78BAD04CD5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb54e6eb505dee5c4fe6f451936f1b75a4e767e1","datavalue":{"value":{"entity-type":"item","numeric-id":4474857,"id":"Q4474857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$13D73664-128C-4D1C-944A-1C9438962B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$CD16B8DA-1026-4FD9-A3AA-C0974AB473BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$0E00B5E7-4218-4D92-8639-9D576E6C75D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3152d8e4b139c56be2c850741e16ba2d6231d","datavalue":{"value":{"entity-type":"item","numeric-id":4220599,"id":"Q4220599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$79469523-483F-40A4-A829-4B6FA291FBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$DF1C227F-FC84-4D1F-898C-C3B635D551C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32a53ea73d2c7717d71f72101e96cd0b649b4234","datavalue":{"value":{"entity-type":"item","numeric-id":3978978,"id":"Q3978978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$EBC9DDF9-4ADE-4180-BDA5-42E5BE85B86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093a527380d3100f4ded96734d3ec824c918d6cd","datavalue":{"value":{"entity-type":"item","numeric-id":847558,"id":"Q847558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$690CB710-7C91-4D60-9C87-C4CF0627A7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$249F41D1-57A5-4D11-9205-71D944AA6673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$C308287F-52C1-4EAC-91AC-85C781EBCD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c6b91a5ebb86a2b4a685975db0e12cc02e075b","datavalue":{"value":{"entity-type":"item","numeric-id":3371526,"id":"Q3371526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$8BD4854F-973E-4663-BA55-777528B4EC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47471fc3272a1567342ce23219993ca8c74e514d","datavalue":{"value":{"entity-type":"item","numeric-id":4255482,"id":"Q4255482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$414E4606-16AA-4F1F-9301-282A74B15823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$95503FBF-537B-4430-AB32-B6D76523E4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d917f50be080f1a191111dfb179c6c7da1d5a46","datavalue":{"value":{"entity-type":"item","numeric-id":1850108,"id":"Q1850108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$65405B9F-487B-4229-8A3F-1635F8818005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7584ed6cc70daf42406ddf381c9c7a48384e95","datavalue":{"value":{"entity-type":"item","numeric-id":5606586,"id":"Q5606586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$AEC47102-500A-49C0-A9D4-F9E0075003BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$FB036DA2-906F-4561-8447-90AE839759CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95fe6b711716f8b9810844eff2ba2b9a1ed7141","datavalue":{"value":{"entity-type":"item","numeric-id":4092156,"id":"Q4092156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$A19D20ED-9556-45D9-8765-559431078BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b370c7baaca51e1b747ec172830d73bc442ab6f","datavalue":{"value":{"entity-type":"item","numeric-id":4243759,"id":"Q4243759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959823$E6F67CBC-2538-479A-9AA9-B1E73D421BEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"758fdfed25bc86b63860b8d78d13091dfb9422f7","datavalue":{"value":"10.1016/J.TCS.2008.08.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959823$71488FDB-91A3-43BB-BC3F-F70A6E9BB706","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8bad62df30732f3738b611a54f05b647b54e1a","datavalue":{"value":{"entity-type":"item","numeric-id":5108537,"id":"Q5108537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ed24ea36913d7cf0726ed9e72342fdeeec5411e","datavalue":{"value":{"amount":"+0.8321064710617065","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":"Q959823$A5ED2D2C-4ACA-4D1F-8C2B-5CB35DB13877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b26fe5ac7a27289dbae817b7d5587d50b620974","datavalue":{"value":{"entity-type":"item","numeric-id":2946651,"id":"Q2946651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8e491bcbda40d208e8943c40f7863f9a3711e9","datavalue":{"value":{"amount":"+0.7773067951202393","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":"Q959823$8C5B6FBC-0466-4DE1-84F2-07C2AB43422C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd907cede99fcb05d765169f91944a60b7a643a7","datavalue":{"value":{"entity-type":"item","numeric-id":3079518,"id":"Q3079518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e198aeb1f03803d0a041bc3c04270c9a4c160e","datavalue":{"value":{"amount":"+0.7499452829360962","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":"Q959823$0E6A0BF7-F5EA-4ED8-AE92-D19B3D183724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7964a8e5035386e080207603af2219d2a78d4e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4581462,"id":"Q4581462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b896366f824591d4f9829ddc0367c8dbe433cc","datavalue":{"value":{"amount":"+0.7474122047424316","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":"Q959823$ADAA8BEF-9AF0-4803-B023-A35065A6152C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c42de78090f2daa21a79bfd838a3a39c79ff434","datavalue":{"value":{"entity-type":"item","numeric-id":2786141,"id":"Q2786141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e3e7643101f7a3018928e296befb09d1084353","datavalue":{"value":{"amount":"+0.7472545504570007","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":"Q959823$3183CC8A-F8FB-4053-8C52-3AAA3E618A74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The identity type weak factorisation system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_identity_type_weak_factorisation_system"}}}}}