{"entities":{"Q4380482":{"pageid":6410081,"ns":120,"title":"Item:Q4380482","lastrevid":40996292,"modified":"2025-04-17T07:50:06Z","type":"item","id":"Q4380482","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1129259"}},"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":"Q4380482$2FEE5A1B-A593-40CE-9391-0C6F916AB3C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fcae992339ded170eb9c83ce46c57119cece691","datavalue":{"value":"0891.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380482$8291B543-DFFD-478D-8A3F-9F9455325665","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54635aa2d064d6d84820484aa2bf0ffd6395634e","datavalue":{"value":{"entity-type":"item","numeric-id":1280046,"id":"Q1280046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380482$EF95142C-331B-4787-99A7-7DE9683336BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1742a10e6409607193ef806e8f573a0e208ec887","datavalue":{"value":{"time":"+1997-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":"Q4380482$A89631BB-00D2-4066-B742-6C8B211AA2BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4917db1ea6472a80a7620a533b3900a88ef6518e","datavalue":{"value":"http://www.numdam.org/item?id=MSH_1997__139__5_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4380482$958EC37A-22A1-423D-AE3D-C03D05D33A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"42bb91bf3a4de8bd804f8b9e3366bf1275fcd3bb","datavalue":{"value":"https://eudml.org/doc/94502","type":"string"},"datatype":"url"},"type":"statement","id":"Q4380482$A18AF84F-27F5-43AB-98EF-CC5C1D1AC9C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380482$0FA02422-2502-4DD3-8A7D-4C8899F358DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380482$DC70B17A-4AC5-4537-8237-33DB572CF362","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7abb578f22165440767460e03403b10069efde16","datavalue":{"value":"1129259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380482$31221122-6CE6-41F3-85B6-A364793F305D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a20441e0a4cfa3a0d10ae9a23de78b04a5884c9","datavalue":{"value":"fragment of French","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380482$0C0CE9A5-19E7-46C9-AD3C-08F69F7CFDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fcc7267223fbe80dc8075e7db276e45e6548737","datavalue":{"value":"Montague grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380482$628BCD7B-6879-4039-9E71-3A89AF6E344F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380482$B1FDC481-EFB4-4CEC-AC10-2FF98B8CD001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae5399e27e935209ccef6a3f050cea8adc46e72","datavalue":{"value":"mathematical symbolism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380482$A798BF0E-B6B0-4F53-9D0E-36871125D10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e0005c88ac62d06aac5aa7a5465523fb7d80362","datavalue":{"value":"textual structures of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380482$A54057BD-4B55-4454-984E-54AC04CD858E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a1802183489a36cb930413bef3fd8b5e93919d9","datavalue":{"value":"declarative implementation in the proof editor ALF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380482$E506B9DE-17D8-474A-85A4-6802848A74C4","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":"Q4380482$F3545275-096B-45F9-A21A-6380B46A339E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b1a74b152bb15b2997f5404ef93fa8875607680","datavalue":{"value":{"entity-type":"item","numeric-id":4380479,"id":"Q4380479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d5dc79af74856921d1a9fced5f0aa0c1e15c95b","datavalue":{"value":{"amount":"+0.9640684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4380482$271F611A-E38B-43EF-B166-9EEC316131CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec576f2f6a3472ac7c32a270c2ffab2c80a193c","datavalue":{"value":{"entity-type":"item","numeric-id":4547842,"id":"Q4547842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d052a2738c626b2ba61adb88f7717d4d9d393b05","datavalue":{"value":{"amount":"+0.86115515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4380482$AA9EF912-57AF-4069-9208-121C7C3FC647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc6517c0a592f2f31fe72c7b634f7828a788f620","datavalue":{"value":{"entity-type":"item","numeric-id":5595161,"id":"Q5595161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef1dfa6031becfa894d0e5128882c225cb8ef527","datavalue":{"value":{"amount":"+0.8274451","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4380482$A4A9D5BD-23BC-4ABF-A24D-C38068C06B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56cc74ff103f4afdf66abda1fb400fc479549131","datavalue":{"value":{"entity-type":"item","numeric-id":4588559,"id":"Q4588559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a5ccb22444d2250b7e497fde74eab098157dd0b","datavalue":{"value":{"amount":"+0.8237404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4380482$0322D803-F2B9-459F-8389-112E07344042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b985c2cb51764993388c2c1de1d97ab43c4f1c6f","datavalue":{"value":{"entity-type":"item","numeric-id":3789089,"id":"Q3789089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cf3393058b43bf41b22fb21f28dda56e8c4af5d","datavalue":{"value":{"amount":"+0.80722725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4380482$927F57C0-EB50-4224-BC20-686B6AB13E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"169cdf8373d52a29aa55854de4ade2b3fc6dba45","datavalue":{"value":{"entity-type":"item","numeric-id":3033743,"id":"Q3033743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc47138a3a7ed719ac5eb60fe3c53924d2b1c29","datavalue":{"value":{"amount":"+0.8014137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4380482$FDCAA985-3CD2-440F-A6BA-4449708C9379","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4380482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4380482"}}}}}