{"entities":{"Q3481915":{"pageid":5511815,"ns":120,"title":"Item:Q3481915","lastrevid":49391005,"modified":"2026-01-07T02:10:11Z","type":"item","id":"Q3481915","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4152661"}},"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":"Q3481915$877B3BDC-8495-465B-A4F3-77CD2051DB12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a66848bca39f6ae1879b679ac73ec9f6928d2a7b","datavalue":{"value":"0703.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481915$7F45510C-797D-47E3-BFED-8CA6D7FC8152","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed65fe40964c812a87a925ad197fad2e842236a1","datavalue":{"value":{"entity-type":"item","numeric-id":1196789,"id":"Q1196789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3481915$57309266-24B0-4BD2-9051-3A369DBD1D13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3481915$2C0F02B7-72B5-4D5F-8DF7-020C16352528","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c381af5cae1639d9cd3f8043ed884d29b742dd10","datavalue":{"value":"https://eudml.org/doc/193028","type":"string"},"datatype":"url"},"type":"statement","id":"Q3481915$54BBAA69-30EB-4F13-B7C7-5A1AEBE14E9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481915$03E1A408-ABB5-4FF4-9205-F374E8A2A6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481915$4DD97647-8303-428E-B215-34AB42CB439F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481915$AF85313E-86B8-4BB5-8C27-9C8DC87C67BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f57eaa0f5bc49ab31a56823f769364dc6fd8bee","datavalue":{"value":"4152661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481915$08E1D176-0ABA-407B-824A-0FD723FBA6E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bffa67bc19a4ddce404cdeb1ce70c853cd755927","datavalue":{"value":"abstract type syntaxes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481915$3BA3B983-872E-4F22-9181-248BAA9E5921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af4d167c794dd1963be7e8b800b6b29f53324956","datavalue":{"value":"categorical framework for the semantics of polymorphic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481915$ECFA35C2-312D-463B-BF92-A1CAC80FA033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44f6b9f2aadbbc9424b900939b4160066a08a6ac","datavalue":{"value":"tripleability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481915$0D6B3BA9-DB47-4623-B755-0B893D0E16F9","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":"Q3481915$3F9EADCA-CCFF-4A7F-8F38-04251BC23DD5","rank":"normal"}],"P223":[{"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":"Q3481915$C9064E7D-070F-4FA1-B670-6E5D59B3F18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88aae7f11f28b703a247ec5f6c82ddbf01a0d548","datavalue":{"value":{"entity-type":"item","numeric-id":3824315,"id":"Q3824315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3481915$DC066B7E-CF64-4EE1-908D-D66CB90C9AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8816396a007110e498b1745ea81e271f0f70b38e","datavalue":{"value":{"entity-type":"item","numeric-id":3825226,"id":"Q3825226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3481915$9CF4B823-9C8B-4FDD-9775-F738B4FB01EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860b6c74e1019ea2d9454cb7fa820bc8aff1223e","datavalue":{"value":{"entity-type":"item","numeric-id":5187433,"id":"Q5187433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3481915$46904806-0718-48F7-87E9-05D069E7F14D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10c097eca35bc531bbbb108f2dacb4adb59289e5","datavalue":{"value":{"entity-type":"item","numeric-id":3768869,"id":"Q3768869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4603ace14cece004657399b38bdc9198198d0d8","datavalue":{"value":{"amount":"+0.8235220313072205","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":"Q3481915$DB17A5A9-2D86-4DF4-84D1-7DA03062DBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53facd2fa443e736e0cad757fe7e0f6d3112630d","datavalue":{"value":{"entity-type":"item","numeric-id":3768870,"id":"Q3768870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55d2a4ed1b9fd238cb080da1d6119e4aa3b1550e","datavalue":{"value":{"amount":"+0.8228520750999451","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":"Q3481915$B5BB0787-7C0D-42D4-96E5-1D4493FA651D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8183e2cf7c92527d06dc8bcff56a29a674d63f","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e3898cad9be39f9aac1953e25a933c84690e47f","datavalue":{"value":{"amount":"+0.8126296401023865","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":"Q3481915$96C15D40-79F8-4C58-822A-03DC1CF58BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21b136084adb6cbb8130b5bff084acf2421a797","datavalue":{"value":{"entity-type":"item","numeric-id":3824315,"id":"Q3824315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e400014e304798e87eee0263b199880e649d10fc","datavalue":{"value":{"amount":"+0.7925218343734741","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":"Q3481915$1552E10D-3D18-43DE-A0C6-C8B230366899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85a91cc1d182e9944d5936b6a2e2755856fa52c","datavalue":{"value":{"entity-type":"item","numeric-id":3795831,"id":"Q3795831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6dbca5b09f1a3ab771b457df3a5bac81fd5b2d","datavalue":{"value":{"amount":"+0.7840319275856018","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":"Q3481915$9D913A5E-A4A1-41F0-8CDB-F3BEC7B89FB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3481915","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3481915"}}}}}