{"entities":{"Q4958648":{"pageid":6988230,"ns":120,"title":"Item:Q4958648","lastrevid":58368702,"modified":"2026-04-04T22:16:22Z","type":"item","id":"Q4958648","labels":{"en":{"language":"en","value":"Multisets in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7395392"}},"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":"Q4958648$648D42DE-91A5-4540-84C1-E7BEA0846BC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d863bf9abadb5d62873c855792f3a8512857bf0","datavalue":{"value":{"text":"Multisets in type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4958648$0E9E7CE3-5727-4550-BBB5-C2DDF3AB7B0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d3861674cb6c4a3726785aea6216bb261599a28","datavalue":{"value":"1486.03100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4958648$2D30960F-C06B-43D7-90BA-8428C9043053","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cae6b7659c31b6182827dfc22acaabe70d3194c6","datavalue":{"value":"10.1017/S0305004119000045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4958648$BC1ED7E2-1959-4517-BE26-3F485ED184C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f1ed88ea0a547b9223ca35db4366e46e5ece60d","datavalue":{"value":{"entity-type":"item","numeric-id":4692083,"id":"Q4692083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4958648$3AE1D143-F339-4D04-ADF3-6E1BC4752C93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a0ba849355c4f570fe24e534585b3220dce858d","datavalue":{"value":{"entity-type":"item","numeric-id":100593,"id":"Q100593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4958648$78B3EC37-9ECE-4E08-B10F-1E07CED203F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98e005e68d31c9cc73eb4d265346faf7c77374c6","datavalue":{"value":{"time":"+2021-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4958648$4241BB6B-6D51-4146-9C86-74194787C4C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af3240cf89855fbaef86804a8342213a99f092f2","datavalue":{"value":"https://arxiv.org/abs/1610.08027","type":"string"},"datatype":"url"},"type":"statement","id":"Q4958648$D4E8DBEE-378E-4729-95D2-7F010FC9C30C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4958648$F98995B4-68DF-462E-90D0-9072150C5A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4958648$0615029E-AF39-42E2-88A3-9968AD4AF5A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"554e044b3f2ddf62875a2cccd8c4320bd396a98d","datavalue":{"value":"7395392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4958648$738CD9E0-5963-4A77-A516-10F74BA9EB73","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":"Q4958648$E45BE40E-F882-49BB-8509-76B9024C29B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4958648$3E4692FC-AF84-4545-9486-BB518BF6A3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96377b1ac4565709a8082df4f621faa884539d98","datavalue":{"value":{"entity-type":"item","numeric-id":3193040,"id":"Q3193040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4958648$32E6AE54-9FCD-4F6A-AB13-EE89BE9D6DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5b0c9d6afe4f1b8f7b47f32232096ec6d212f6","datavalue":{"value":{"entity-type":"item","numeric-id":1117926,"id":"Q1117926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4958648$7185BB97-8787-41FF-B014-4D4C776481E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4958648$3C3C5A84-C084-426A-B5BB-3D0D791D8A8B","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":"Q4958648$45E6D6C7-A432-4ED0-B9EF-D428F5C57ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff0c70a0b1a4bd68559c5a3c03acdaa9397e35bc","datavalue":{"value":{"entity-type":"item","numeric-id":1216302,"id":"Q1216302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4958648$78437F10-25BE-42F0-A5A6-9FBBEC890E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4958648$E066C125-E1C1-4FA6-969E-A61C75E5BBAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b28f8f85dce84393f14ed0ecf9423ad7834cd4f8","datavalue":{"value":"W2540213512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4958648$5AF5689F-AD8F-46CE-AB40-1A71FA46B2CA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f3e5663c0371bf2c644b34c3176fbd6ef178a611","datavalue":{"value":"Q128136499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4958648$CB5386EE-6907-4573-A15C-02E2495CDC73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9cc95a9db8503e1aedd8406828bf3b48bc83fa1","datavalue":{"value":{"entity-type":"item","numeric-id":4692084,"id":"Q4692084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c30e7a17e6c5c59099c94a009ebf301d5ae7c63","datavalue":{"value":{"amount":"+0.883115291595459","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":"Q4958648$B40C19F1-8BFF-4AFE-8B4B-F737807497FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f873831a1386c16bfac372d9ecec2f1e90efb0","datavalue":{"value":{"entity-type":"item","numeric-id":1117926,"id":"Q1117926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff673be2b7fc4cd92aac9a42430e1064bd3166b3","datavalue":{"value":{"amount":"+0.7780757546424866","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":"Q4958648$83CD13D4-7745-4841-B4B1-D174BF20DDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c462d3d1252c2ab08ae41bb077bdc7a173023ff4","datavalue":{"value":{"entity-type":"item","numeric-id":740200,"id":"Q740200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8a4960f5ed289a583686a507357c9187fb1c99","datavalue":{"value":{"amount":"+0.774685263633728","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":"Q4958648$699FE37C-BD39-4E4A-A044-5BD185621840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88ef03645dea40f1399a1551b3943bbbabc8699","datavalue":{"value":{"entity-type":"item","numeric-id":5220185,"id":"Q5220185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b1731c192a3f33939a3a9103a18141a296d53b","datavalue":{"value":{"amount":"+0.7386098504066467","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":"Q4958648$351DAA68-CA3F-4B1D-A6B7-B399F960648B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce50ec9cdd7c1699c4b2b64dad41a646e9817cd","datavalue":{"value":{"entity-type":"item","numeric-id":2941242,"id":"Q2941242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc71a7a051000400e20f5f73082292051ac61128","datavalue":{"value":{"amount":"+0.7325206398963928","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":"Q4958648$A83CBDE7-C7E1-4E92-AF0E-84787DC3DC5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4958648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4958648"}}}}}