{"entities":{"Q2907322":{"pageid":2918047,"ns":120,"title":"Item:Q2907322","lastrevid":58055013,"modified":"2026-04-03T15:18:02Z","type":"item","id":"Q2907322","labels":{"en":{"language":"en","value":"Point-and-write -- documenting formal mathematics by reference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6079496"}},"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":"Q2907322$4B53CA59-E16F-4B29-ABBE-FCCAD576E787","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a19938597d88999fc0cb0733d5ec14e015641bd","datavalue":{"value":{"text":"Point-and-Write \u2013 Documenting Formal Mathematics by Reference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2907322$620A856F-741C-406A-9C38-D6595E67AE0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f4d883c8f8dcb68101f867c2d9a03d6073b5d7a","datavalue":{"value":"1360.68824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907322$6FA05844-C003-44FA-8E4F-04AC6893784A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cf596eb2aa0473f2bfebfc4ee1b01eb404e168a","datavalue":{"value":"10.1007/978-3-642-31374-5_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907322$ADFC3CE5-EFAB-4DB1-9E82-1F7C7A4C096B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c3dc912c0528ffb5f06fac90bf98e301c7be23","datavalue":{"value":{"entity-type":"item","numeric-id":2843011,"id":"Q2843011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907322$0187A15E-4235-48D2-ADE0-7B9945CEAA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb9e8b716e948fd9d393e4fbe3beafa79f032133","datavalue":{"value":{"entity-type":"item","numeric-id":504393,"id":"Q504393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907322$10A058B3-F987-40C1-BB53-DAB65EBF0A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc204e2e78d924e815f2b640ec35c8c2356ad41f","datavalue":{"value":{"entity-type":"item","numeric-id":286786,"id":"Q286786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907322$A6168EAD-BC89-4A75-BCB8-B16A7498B739","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907322$7264F6BF-950A-4480-A591-33CA733AE7DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0d54a7a192189275358732a85216bf3ce89224c","datavalue":{"value":{"time":"+2012-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2907322$CE94E30D-F346-450C-B285-41B0B467B881","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d388d00aaf070d508a7f9f185987714192e710b4","datavalue":{"value":"https://arxiv.org/abs/1204.5094","type":"string"},"datatype":"url"},"type":"statement","id":"Q2907322$0C0878C8-6F8F-4D65-BBEA-BD854506EEF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907322$44AEE9B8-7686-4F8A-8304-DE458D185341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8c91a1ecaeb1cf0d1334bd1e13b5c7dfd7853131","datavalue":{"value":"01A90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907322$05FA2C2A-53D0-46F8-9977-9E641AD24129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907322$13BB35BB-566A-42B8-BC3F-CCA593C1019A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c84c5a4af24c648d833f2b082601f406e1ec96c","datavalue":{"value":"6079496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907322$237001FA-9DE9-4FAA-93FC-C7AD6AE2DC02","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":"Q2907322$AEBC8C54-D18E-470D-8A3F-B5937CA92DDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa7ae0a1a9f7b6289242cb77e7fec2cbf44fda92","datavalue":{"value":"W2171278303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907322$44A4CA77-6979-49E3-8A56-3DFC276CA309","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b2765242fb7c1d0b8077c5a8857cf3741d6ed1","datavalue":{"value":{"entity-type":"item","numeric-id":2843012,"id":"Q2843012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f841e7f4a7b735746576c7d8768a2252443c3e","datavalue":{"value":{"amount":"+0.7860177159309387","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":"Q2907322$4BA79EAF-5425-485A-B11A-BFF51A75B2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f694abd6ca82e87a286436859d0058672696889e","datavalue":{"value":{"entity-type":"item","numeric-id":5327363,"id":"Q5327363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b9f3f88ca97fc3001b353c9f71cce73cffe473d","datavalue":{"value":{"amount":"+0.726252555847168","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":"Q2907322$4C618685-7047-43B8-8EE7-75D0908BC830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7049c9f0a4fe0964cf88755f5d2c3a48df668dc2","datavalue":{"value":{"entity-type":"item","numeric-id":5428272,"id":"Q5428272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97273c3d31d428c3636235741c7001bd8536c90e","datavalue":{"value":{"amount":"+0.7247403860092163","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":"Q2907322$7831CCB7-58FE-4B31-AAD1-A2819BC4F860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37348b9d3f68dde470241d7bd21fc445668d31f0","datavalue":{"value":{"entity-type":"item","numeric-id":5747829,"id":"Q5747829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48415283e79ccc551e459b975abe2692558485f0","datavalue":{"value":{"amount":"+0.7151307463645935","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":"Q2907322$9C03EEA3-97FA-4373-B10A-0FCD53DC2842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9fb9b1fc0f4f76eb2a6d13c7c197a80ac9f916","datavalue":{"value":{"entity-type":"item","numeric-id":3582731,"id":"Q3582731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c21befbff4c035064fd0f295281bb8a1e73642","datavalue":{"value":{"amount":"+0.711678147315979","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":"Q2907322$27CC1CE3-AF21-4271-9D5D-48DFC2F7FFE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2907322","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2907322"}}}}}