{"entities":{"Q4380479":{"pageid":6410078,"ns":120,"title":"Item:Q4380479","lastrevid":40898316,"modified":"2025-04-13T22:03:59Z","type":"item","id":"Q4380479","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1129256"}},"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":"Q4380479$8D40D878-8192-43EF-822F-F66831106E23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2427653c71c2d3780f7cca77b3f7dd33cc183b3","datavalue":{"value":"0891.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380479$D40F85BA-8DD0-4955-8A7B-A5F0B8B7483D","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":"Q4380479$7C9ED657-49F2-4995-A887-D2077C9A4FF6","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":"Q4380479$41AC3BA6-35F7-43FB-B37B-0216F9C424C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80ebf1f379200b774765fa5828af0e92844eef0f","datavalue":{"value":"http://www.numdam.org/item?id=MSH_1997__138__5_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4380479$15E65CBE-1C8E-44D2-8CE7-DC3F5A594776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3d94a1f17c1e5af63d959dbae7c51b6252897cd","datavalue":{"value":"https://eudml.org/doc/94499","type":"string"},"datatype":"url"},"type":"statement","id":"Q4380479$FFC287D9-DF84-4319-B2EE-AFE4968C6F36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380479$D174D70B-7DC0-4000-AA38-A159770DC312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380479$02DB4346-6E1C-460D-9E9F-BEDED8D726F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14bee7c47f7fae70fbe886ce2f9e5e94def6afdb","datavalue":{"value":"1129256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380479$10B26466-D2D9-42ED-BC14-5001C940351E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a20441e0a4cfa3a0d10ae9a23de78b04a5884c9","datavalue":{"value":"fragment of French","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380479$51B137B0-30D0-4545-9134-02839C1520A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fcc7267223fbe80dc8075e7db276e45e6548737","datavalue":{"value":"Montague grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380479$4485FABF-266C-4AC9-8F66-2B9DB776A045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380479$0A39DCFF-4F84-480B-B9F4-C0A6D6B94667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae5399e27e935209ccef6a3f050cea8adc46e72","datavalue":{"value":"mathematical symbolism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380479$82AF1EEB-E48D-4310-A1D6-DF32E1DE9467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e0005c88ac62d06aac5aa7a5465523fb7d80362","datavalue":{"value":"textual structures of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380479$AAFBC7DF-1791-4B1D-BA05-E04D99587C59","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":"Q4380479$CDED0014-4D3E-498A-A687-625B25107C5E","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":"Q4380479$34D162C3-9249-4602-ACE2-C070B6AD0DBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27cf800a81034850541729af4e7afcf16ba57ae","datavalue":{"value":{"entity-type":"item","numeric-id":4380482,"id":"Q4380482"},"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":"Q4380479$16FD454E-E2A7-4870-A43B-28215C639524","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":"df9d4a3ed2cf48a4d92c6b853b1ca7bf21e68600","datavalue":{"value":{"amount":"+0.8731131","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":"Q4380479$3B666ECD-0CDE-4825-B178-746B77949F63","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":"3381f7065d304db9a0bc1daff3fe2ce5e18c50dc","datavalue":{"value":{"amount":"+0.8561976","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":"Q4380479$B260ADBB-7C8F-404C-B246-05AF8F4F56F4","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":"d50edbb4257a32d4630b63cf5b228fab29b16131","datavalue":{"value":{"amount":"+0.8398815","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":"Q4380479$750FCA2A-D00B-404E-962D-90B476716BFA","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":"055a87dbf363f3e7097941e772f62ee88c509d41","datavalue":{"value":{"amount":"+0.8296596","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":"Q4380479$A971BCB2-1339-4132-95D2-B5E82EA56995","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":"b376fbb3354bf06962f4be60f1e2e4566ace10b8","datavalue":{"value":{"amount":"+0.82238066","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":"Q4380479$D1F5AAFE-7CE0-489B-857C-F9C3AD856787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3a5c36d38b32e9aaa2800c9411dd7d8448d5e35","datavalue":{"value":{"entity-type":"item","numeric-id":2426591,"id":"Q2426591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4314f8f3e4df305e2008ca4e79a205e7859b2012","datavalue":{"value":{"amount":"+0.8113982","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":"Q4380479$E400080D-FCC4-4E2E-BC09-1760240B8487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca122659de59d547db726352e162cab1018f2ad","datavalue":{"value":{"entity-type":"item","numeric-id":3846669,"id":"Q3846669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51fea92e643dae346f234b53e2bd05f6b111c320","datavalue":{"value":{"amount":"+0.8062594","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":"Q4380479$34681A57-4965-4CC3-A7CC-A88294E321E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4380479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4380479"}}}}}