{"entities":{"Q4699295":{"pageid":6728872,"ns":120,"title":"Item:Q4699295","lastrevid":46819422,"modified":"2025-12-25T16:03:12Z","type":"item","id":"Q4699295","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1361477"}},"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":"Q4699295$08884B70-46FE-4486-905F-C9061CA374D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b563a9ec63eb494027e6fcdbb1f97b634387eeed","datavalue":{"value":"0935.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699295$946CEA2F-E7C7-45E4-A20A-8C8FC703DF18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a04b7ffbbf9ab5e337a666c06b668d180e369475","datavalue":{"value":{"entity-type":"item","numeric-id":270349,"id":"Q270349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4699295$46A309C0-C54B-49D6-9DBE-D5FC3CFEE7C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7543152ecddaf21ed728b3008f8361c72e57a31","datavalue":{"value":{"time":"+2000-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4699295$1C5EDF4D-2CC3-4822-83D2-37C50C759E53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699295$BD265351-41E4-485C-BFE9-A59970B20DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699295$B7B85D68-5A57-4127-A12F-2B602E8CB35B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3893678c1339fd4c6e7ede3dedf52c20fb016736","datavalue":{"value":"1361477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699295$D9FF7955-8758-4DEB-9BAF-EFE55A1AAF88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea5a13c0d31280b3dd4b5d58c257b086f3eab3d2","datavalue":{"value":"subtyping extension of the calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699295$C757B4E2-39D7-4CED-9741-A5A947E69F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699295$ADA6AD03-3FA1-45AB-93E0-69DC56715E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a21f0131b6cc86c19eed9f4a8f1cb42d3ef1ae","datavalue":{"value":"decidability of subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699295$25FE12A1-301F-4259-A6F1-210397BD5DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f028d0218d1d93aefcca3dc1c6b8a3346d0887c","datavalue":{"value":"adding subtyping to proof checkers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699295$DD9C6E62-9F40-4A24-A1CE-3F10787576AC","rank":"normal"}],"P1463":[{"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":"Q4699295$E2E60EB1-3546-4232-BDF2-994602420782","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":"Q4699295$8A2A6531-4A98-45D4-BA97-44BF2B0636B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21481f4370a1a9fd4c9ec8efcec8f450ae1ad60","datavalue":{"value":{"entity-type":"item","numeric-id":5277970,"id":"Q5277970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae13df5a8da283b92e6ae1b27400fde70108577b","datavalue":{"value":{"amount":"+0.8625099658966064","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":"Q4699295$700F6243-0AC4-4A35-9AAC-462193ACA6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c48aae8fd39c8b4a66b19bb4c6c754b913540fee","datavalue":{"value":{"entity-type":"item","numeric-id":2942921,"id":"Q2942921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65769a4cc56aba7df6f402d57e23577d9105c9b","datavalue":{"value":{"amount":"+0.830349862575531","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":"Q4699295$17117A2A-6AA5-484C-9266-BB07636E3BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594fdde212ba489ae68158839e8132d1f16cba29","datavalue":{"value":{"entity-type":"item","numeric-id":4820474,"id":"Q4820474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1e8acb1af207b9e915b527df550ac4047dfa21","datavalue":{"value":{"amount":"+0.8086555600166321","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":"Q4699295$86DE4181-C9E4-4766-8D78-7633CCB07D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b23460e0d689a00cc78b1aa6b8e3b5e20cf4b46","datavalue":{"value":{"entity-type":"item","numeric-id":4508290,"id":"Q4508290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe76deacc00284533a14545bfeb9525d9ee16b2e","datavalue":{"value":{"amount":"+0.8083828091621399","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":"Q4699295$92024D7F-62B1-41ED-AEAF-90386F443448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd02653a0f5288cbd7583c98894a5128fb01b60","datavalue":{"value":{"entity-type":"item","numeric-id":5958760,"id":"Q5958760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e8dc16e5da8c1e239c5d0d261b936d95b527a23","datavalue":{"value":{"amount":"+0.8068966865539551","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":"Q4699295$BEA7E3D4-89AE-489C-9BF3-86B9D695FB6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4699295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4699295"}}}}}