{"entities":{"Q3499757":{"pageid":5529660,"ns":120,"title":"Item:Q3499757","lastrevid":50370341,"modified":"2026-01-13T22:08:47Z","type":"item","id":"Q3499757","labels":{"en":{"language":"en","value":"Working with Mathematical Structures in Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5282036"}},"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":"Q3499757$DCBA9350-3813-48F2-8A13-30AE4DCF76CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0d81f6fa433f9d76462993866083d8fd951cf8a","datavalue":{"value":{"text":"Working with Mathematical Structures in Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3499757$D8F5A6B9-84A8-4B97-81CE-F905929D33D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d873c4a28ff4de8cf29aa197ac0b593382254804","datavalue":{"value":"1138.68529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499757$3D256AFD-E1E9-41AE-9A10-E540E01E71AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27ee1066dee91cb7231ba796d7fef6ef574f66ca","datavalue":{"value":"10.1007/978-3-540-68103-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499757$ECC9488A-5E7B-401F-A6EF-AB9275232EB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fcc0863f3310792433a26fbf0220fe6380173d","datavalue":{"value":{"entity-type":"item","numeric-id":651318,"id":"Q651318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499757$A8AD0309-08D0-43DB-B2A2-773005B5DFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99729ea5fbac2e397c47743039765083a0ae1bb2","datavalue":{"value":{"entity-type":"item","numeric-id":205581,"id":"Q205581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499757$A74BE0C1-8E69-4809-91AE-9FD6C7069F75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499757$0D274BF0-CEFF-4371-B1CE-A288FE083B5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88e4ba475cabd2d879ecee60d295bc12168aa5d8","datavalue":{"value":{"time":"+2008-06-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":"Q3499757$C32E6CD1-267A-4C30-ADDA-A124E6DFCA93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499757$B4B3C48C-8625-4CA7-8F84-C01F2C9DFBEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f58b73d5dcfa9fc06da30aa9015754101332913","datavalue":{"value":"5282036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499757$86DAE429-388A-4E63-8440-DC9E01AC0AFA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bb1c7eafdbb853d5fe04051d89b8463fa8b943a","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499757$73C4FE60-7EE3-4B6F-9F38-694B6CB71945","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":"Q3499757$48B2FF82-DFA5-40E2-81AB-59CBC9DBE28D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd9d254ed462e7e9da953873abc2cec733204be8","datavalue":{"value":"https://doi.org/10.1007/978-3-540-68103-8_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3499757$48E863AE-68E0-49ED-B979-2AA163AAE5E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1cf4b8d89f3db99e625f7c8d5b295f7d58e587bb","datavalue":{"value":"W1569206238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499757$1167B377-5CC9-4ED7-A365-938A4B893690","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"189d21f07a1936e0e3f3ea8514973da3327e32e4","datavalue":{"value":{"entity-type":"item","numeric-id":4647565,"id":"Q4647565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499757$34E02E40-6538-40DB-834D-70EED67BB1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d67ea79cf49ca1e8040f64397f57e799e6b059a9","datavalue":{"value":{"entity-type":"item","numeric-id":4247299,"id":"Q4247299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499757$63A0DFC3-07E1-4238-B4E5-D54E66502B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2183283ce1897285fc218baeafc1303d86608e3b","datavalue":{"value":{"entity-type":"item","numeric-id":2942921,"id":"Q2942921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499757$1BFED405-11F1-4C75-8877-BDB975E6BA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3715e78f290cd3087a3394a679a7aadcb0ddba8","datavalue":{"value":{"entity-type":"item","numeric-id":4681364,"id":"Q4681364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499757$4C3636CE-6331-4B2E-AFF4-DA2A260AC7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7df3906eae3c2b887cc910e28b2339b9830fc52","datavalue":{"value":{"entity-type":"item","numeric-id":5313080,"id":"Q5313080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499757$F92B41B0-5D46-4FA2-80F6-89FD5831BDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364525b70d80e5ad032dd4bcb752b39f36195669","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499757$A039D0E7-CAF2-4068-A84B-D8A291C60F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"545b70a52fbd739fcbdc5fb79649e5d3315f9433","datavalue":{"value":{"entity-type":"item","numeric-id":3598006,"id":"Q3598006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499757$AF6C56E6-4996-41B7-8BD6-A796A52A7FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bbf5c4acba1e943106282227d496dff22117d6","datavalue":{"value":{"entity-type":"item","numeric-id":4238487,"id":"Q4238487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499757$CCDE50CE-9F3F-4CC1-AB68-88A561DAB257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55620229a723772a6f28df349b35435b565020f","datavalue":{"value":{"entity-type":"item","numeric-id":699688,"id":"Q699688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499757$F909907A-AEFC-4268-BED8-6A34BF3C20D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4910d91c3be69dc0495e642c7c1ef82791785ac","datavalue":{"value":{"entity-type":"item","numeric-id":3183538,"id":"Q3183538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e3bb1418c9cb2c57dc77f7f2736b5d7bed02d0","datavalue":{"value":{"amount":"+0.7601406574249268","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":"Q3499757$4D98CB32-1062-46BE-853C-1A4373BD3A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f96dec649e63601568d9f34d95b3a9d5c172ac","datavalue":{"value":{"entity-type":"item","numeric-id":1404425,"id":"Q1404425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6337c810b544ec247b45185e5656e936c6111c","datavalue":{"value":{"amount":"+0.7573398351669312","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":"Q3499757$451E9958-6838-4EF7-9BCD-ABB1481BE9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00741d8653e7ff3ed03255de9dc4a5ba9833efb9","datavalue":{"value":{"entity-type":"item","numeric-id":3094177,"id":"Q3094177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb2ac200855283184e3ae725f304bf0af508862","datavalue":{"value":{"amount":"+0.7476028203964233","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":"Q3499757$1D0C07B0-1402-4415-82D1-9AF33420A12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d57aee4dc0926b14c7cd4eb20f942c2a7b85944","datavalue":{"value":{"entity-type":"item","numeric-id":5458424,"id":"Q5458424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e06a51fb84338bdda261bb5873d18e929788cd4","datavalue":{"value":{"amount":"+0.7367812395095825","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":"Q3499757$865F1A63-5B16-4667-B632-00D19DFC8504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f283ce1b7bb222e202a6acf28a6a844d9018de04","datavalue":{"value":{"entity-type":"item","numeric-id":5747673,"id":"Q5747673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f4b3a368bcf76c545a0e40b6366ac944e99124","datavalue":{"value":{"amount":"+0.7298915386199951","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":"Q3499757$53B54E9C-0E9A-462E-82A7-7A61C5A31372","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3499757","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3499757"}}}}}