{"entities":{"Q6079230":{"pageid":13213537,"ns":120,"title":"Item:Q6079230","lastrevid":55502416,"modified":"2026-02-17T17:49:58Z","type":"item","id":"Q6079230","labels":{"en":{"language":"en","value":"Big step normalisation for type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7756109"}},"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":"Q6079230$85E868E7-C8E4-44A9-A709-8D48802FECD0","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":"Q6079230$EB229572-0D19-42CA-8636-878D114FBC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8f0a12378e7965ffa479c5792cee88b5c182a9b","datavalue":{"value":{"entity-type":"item","numeric-id":5051370,"id":"Q5051370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079230$2C8F716B-45EF-41B7-9D29-BCE8CCC57C8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85e9fa56e4bc3415a8bc443701bc1ff7ec8b61a3","datavalue":{"value":{"time":"+2023-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6079230$70263F86-8EB5-476E-8271-7FBD5DE24E88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079230$D9DD6905-8ABD-467A-9966-53633609D986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079230$56D02D24-8006-4E02-8353-1779BDF12629","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ee6ed70a3081ae6d219c451038a9e88de93e29e","datavalue":{"value":"7756109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079230$F655A91B-99C8-4723-8021-5998EF3C4539","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079230$0908C373-6BAF-4B65-8D57-4849543FA4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"192daaf2a768e8958f0a7f85ecab952ac1acdc2b","datavalue":{"value":"big step normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079230$035C0234-1EC8-4EFD-A83A-DD623D3E9220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079230$8B89A6E7-4B99-4458-B601-8C82AE2DF57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079230$2D3D0420-C217-4A87-B213-5C4F23EF69FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q6079230$5DE334BE-032A-4D88-B0EB-2F5D28CAC84E","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":"Q6079230$2581D0BB-069C-4BCA-91B1-A19C6A93381D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10e46b1e0cfb4bb12a7ff92b5fe74e9b2afacba","datavalue":{"value":{"entity-type":"item","numeric-id":1652995,"id":"Q1652995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079230$B8363469-132C-4F67-9FE6-CB0435CC3E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a7b7dc6a9f59a652773f7691dce2041bd9a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":3638919,"id":"Q3638919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079230$BEF4ED78-7837-4533-ABB9-083423184540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa1e1e1a7f2285ef58a648d10db096ce5882504","datavalue":{"value":{"entity-type":"item","numeric-id":5057474,"id":"Q5057474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079230$D602F15F-B729-4483-901B-F2ECF12FD88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae01153faff5da16cf5c80d9e744dac606c437f0","datavalue":{"value":{"entity-type":"item","numeric-id":5369471,"id":"Q5369471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079230$451D0196-C0AB-4C15-8273-AA458B23D49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a544eff9bd65de4592fa7b247517554bcdddd5","datavalue":{"value":{"entity-type":"item","numeric-id":2828239,"id":"Q2828239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079230$A70CA1B1-CFE4-49E8-8F7D-F00B0B976015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f5eaa659fe8e8ca88c500da0fd4cebc92efeb8","datavalue":{"value":{"entity-type":"item","numeric-id":2804938,"id":"Q2804938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079230$33C6CDEE-1D98-4825-A98B-AE7207160468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079230$28155D76-7958-4AAF-AF81-69FEDF8B43CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e31b151b8d22be2aa79bf2dfac73aa834ed045","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079230$F99B0A0D-F23D-4B48-91ED-B413D94125A2","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":"Q6079230$36801871-AA81-4655-B621-747400780BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079230$2BDF41C7-EC66-494C-8675-0E67A49ADE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c5d4cff434102bed227e3e021e251aecd1efd2","datavalue":{"value":{"entity-type":"item","numeric-id":4236885,"id":"Q4236885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079230$2AC58FC1-28AC-4298-BD8A-7C0AD8423022","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":"Q6079230$61C473A5-D899-4800-A85F-ADE7745FF5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038c4e455eaefbdec7db73518646c8ec43a318c1","datavalue":{"value":{"entity-type":"item","numeric-id":1275015,"id":"Q1275015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079230$99AD02A4-E559-46E8-998A-AF8FC8736C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e61ef78a2ac35e332b4ecc523df23636244889f","datavalue":{"value":{"entity-type":"item","numeric-id":857915,"id":"Q857915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079230$B5C48BA7-DA49-4BD4-824B-04F80823F815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bab25eceb42f52701d753efa4ce1915a7e4709","datavalue":{"value":{"entity-type":"item","numeric-id":3024846,"id":"Q3024846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079230$684B7508-F755-4424-BED6-588AE32E16EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6079230$39BA3082-6291-450B-9413-2A5C98DF5843","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4043826a51fae07486fdf89637a0a5cd441d63d3","datavalue":{"value":"10.4230/LIPICS.TYPES.2019.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6079230$2E3877C0-8CDC-4161-9E0E-074747119C8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec53239610dd4dc2f8fc509741773ff38970c081","datavalue":{"value":{"entity-type":"item","numeric-id":1744812,"id":"Q1744812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e26c0a00880d3d88a6bc9e453c5e1a5471f78b","datavalue":{"value":{"amount":"+0.924735963344574","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":"Q6079230$50928616-A512-4EC4-BAB2-D7A36DAE556E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b6f8eb7cd8caa082eea1e8d697a5efc3a629a89","datavalue":{"value":{"entity-type":"item","numeric-id":3638919,"id":"Q3638919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cedc41f31c14317d4b17545cb4aa3d3bde9ff58","datavalue":{"value":{"amount":"+0.8127353191375732","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":"Q6079230$EAE81C28-F488-48C4-9226-FBC27B1E1A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b968dd50fe67e7e91deb0952af8631245b21bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2804938,"id":"Q2804938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b219495bbda2fbabe4b5caece9178f8384ff2d3","datavalue":{"value":{"amount":"+0.7710582613945007","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":"Q6079230$DBA69D23-7B1D-49FB-9114-D78F3E82F6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117b41f859d148f7f63b853afde1eacb203e24c4","datavalue":{"value":{"entity-type":"item","numeric-id":5371043,"id":"Q5371043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86cc009f5b176ca37d639a05d6bd21d45b751c20","datavalue":{"value":{"amount":"+0.7680286169052124","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":"Q6079230$9DB3B7B9-0C22-4F20-A0E3-02E622E39995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82009e200106a8577aaccef1bda5e88071ddc4af","datavalue":{"value":{"entity-type":"item","numeric-id":5369471,"id":"Q5369471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07357d835994bcc2976cccfe808ed2e929c6d9a2","datavalue":{"value":{"amount":"+0.747877836227417","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":"Q6079230$1680EDFB-DAFF-4584-923F-F6ED1E273AD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6079230","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6079230"}}}}}