{"entities":{"Q2958550":{"pageid":2969269,"ns":120,"title":"Item:Q2958550","lastrevid":44784810,"modified":"2025-11-26T13:12:46Z","type":"item","id":"Q2958550","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680163"}},"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":"Q2958550$A4E0292E-AAAB-44B4-AF80-48FD6F435CD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8ce9d53caec3ed57fb6ff9eb47abc55c77fc49e","datavalue":{"value":"1356.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958550$A212896F-1D01-4243-BE1B-6C9566685AF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4eabb5f91c96deaadcc33b93cc3b89a433eab4f3","datavalue":{"value":{"entity-type":"item","numeric-id":279372,"id":"Q279372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958550$E289B229-B89A-45AD-BEAE-8E29AD6C7B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26e1c71794d37584d6b37be5173796d517f4644","datavalue":{"value":{"entity-type":"item","numeric-id":2754028,"id":"Q2754028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958550$6EF9B695-1EB7-4C62-A908-6903DFAE0B6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbf1e12e524523bcb26fd2bf4306fb66c1e3cf9","datavalue":{"value":{"time":"+2017-02-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":"Q2958550$CAF60F81-043F-4C84-8958-818DA4A4363A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958550$EF2558E4-2472-41A8-B4A1-56000A0F1C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958550$06ADBF66-5479-4ECA-A4A9-EA971C8377CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81bfb3f6a187f2508337ec438b558c57ebd2104d","datavalue":{"value":"6680163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958550$2ED44E85-15D7-4336-8373-994078B14EE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958550$98C3E4CD-DD4E-4AF3-BC7E-E4C2BB040CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0b1c0cdebab056f48262c8d55665d2570dccce8","datavalue":{"value":"extensional type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958550$0F16DA9F-2A54-48FA-9E81-EDCCC172843C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6d307399d40747a7ccf9eafea50adb4f4e5846","datavalue":{"value":"intensional type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958550$95D4F944-ED7F-43CE-ABE2-4CBA85CE0DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0a2166e7333a80876e05f7ece2145051661a3bd","datavalue":{"value":"set-theoretical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958550$9F2CA4B4-0625-4E3D-BB79-15359548B414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49a900f8b49d829f483bbdc0ab592dbc55362613","datavalue":{"value":"meta-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958550$9D10EB0B-493E-4833-ADC3-75CB3B9BF414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958550$BFED54F0-DCEA-4FD2-9877-8D1BBC868F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958550$46263323-23AA-46C3-A6D8-54FBD20296B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958550$72D1BF12-7FE5-4812-8C7D-152E866EE3F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8a38d0c3b215ef345f4b9f6556e53256642a6db2","datavalue":{"value":{"entity-type":"item","numeric-id":30969,"id":"Q30969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958550$9A4385A7-A4BA-4111-97BD-6F936348EF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a61edfee27b9a0d876bc3ac3487da750de8fe51","datavalue":{"value":{"entity-type":"item","numeric-id":30968,"id":"Q30968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958550$B99C3CD8-48B6-45E4-8B87-8B318E2493AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958550$22DB37ED-2628-4EC1-A65A-2BA73E99116D","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":"Q2958550$71C03863-421E-4A82-91F1-55F44A014451","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9de0251d9e2cba54de2713d428f18a6dd3abb3e","datavalue":{"value":"10.4230/LIPICS.CSL.2013.653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958550$51E5CAB2-E1E5-45AA-BE1F-D777777B4890","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76deb5535e00ebcb01402afbe64314fa9e23992c","datavalue":{"value":{"entity-type":"item","numeric-id":678762,"id":"Q678762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"320693a711806a6f1e995c70b9a27ef0e04327d5","datavalue":{"value":{"amount":"+0.9268445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958550$B958AF43-8ECE-43F5-B99F-71E6FF91B44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a825a5ffed6f665489b0a3e0b440122a6845517","datavalue":{"value":{"entity-type":"item","numeric-id":5173183,"id":"Q5173183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6621922651e4e2058654dc17e513739f873b03a7","datavalue":{"value":{"amount":"+0.9194033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958550$FC36A5A0-EB4E-4255-82E8-184D490F93C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5531ee82428d164e989bcf3a0461f04bdc72c74","datavalue":{"value":{"entity-type":"item","numeric-id":4252873,"id":"Q4252873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0bf94e991b8e5a5fac9a68d6a529ccae96776b4","datavalue":{"value":{"amount":"+0.9172232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958550$41343703-77CA-46B9-8107-50E53658BDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66329513ed08c576d00231a95784464d1d411a61","datavalue":{"value":{"entity-type":"item","numeric-id":4028345,"id":"Q4028345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35dfc469050c9262796e2522a7371623fc4a19b1","datavalue":{"value":{"amount":"+0.91621447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958550$52DB7150-E250-4F81-9CD0-75751EB0B3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9139f6ceedbc79a8c36ce64cb3447ce439e96552","datavalue":{"value":{"entity-type":"item","numeric-id":5394604,"id":"Q5394604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31091158c140dba81c63579b8327fc3c722ef583","datavalue":{"value":{"amount":"+0.9124056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958550$46AFC658-2CE0-495F-9D94-D760EFD7D8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a288f2fc28ec2baab271cdb8106dc6e506c062b0","datavalue":{"value":{"entity-type":"item","numeric-id":4632162,"id":"Q4632162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f063c12ad3e7971c70d52678305daa207d5263","datavalue":{"value":{"amount":"+0.90966374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958550$985AE6C7-89C6-4839-8993-A27754558811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cafac9ae1e05d141a3096c624f5ee14075b19f","datavalue":{"value":{"entity-type":"item","numeric-id":3426565,"id":"Q3426565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0af67a8bbf6f9e54b3c048db160be1d300b1864b","datavalue":{"value":{"amount":"+0.9054758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958550$FE34D8DD-A4AE-4036-BBD7-6B8620ED2C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20add77e9ee835adb27f7fc2c4363bcf5c28c8b7","datavalue":{"value":{"entity-type":"item","numeric-id":1283126,"id":"Q1283126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cea5a7f8425940914fc6b18feb3dbe862e81b3b","datavalue":{"value":{"amount":"+0.9049015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958550$5AD76181-D2E3-45CB-A320-96E6CA325C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a2d7fcfdb352c8e445e61aca2b6f783f913fae","datavalue":{"value":{"entity-type":"item","numeric-id":3768897,"id":"Q3768897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6b0763240553ec50ffd2326942569959fc1aa7","datavalue":{"value":{"amount":"+0.90312254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958550$441206B4-A9C2-49D1-AAF7-530C98722529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb0fbc6968e9a2f89e38fedb41ff015c9a03202","datavalue":{"value":{"entity-type":"item","numeric-id":988551,"id":"Q988551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47b3f7cf63a0ce80fd0947f0a1dfef25d93881d","datavalue":{"value":{"amount":"+0.89768934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2958550$FBD743D1-7276-4EC0-A81D-E17C82EDCA90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2958550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2958550"}}}}}