{"entities":{"Q2767915":{"pageid":2778654,"ns":120,"title":"Item:Q2767915","lastrevid":83187350,"modified":"2026-05-07T06:33:38Z","type":"item","id":"Q2767915","labels":{"en":{"language":"en","value":"Certified and portable mathematical documents from formal contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1698748"}},"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":"Q2767915$DF27D0C6-7AE0-4B18-ACC7-F0CC0B03B336","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86194ed1533c68c819bce03434b5ae7bf167d5fd","datavalue":{"value":"0982.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767915$28E027E5-6E6B-4339-BE3E-3313453C7362","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767915$7BA379BB-2E61-4E64-B9F2-B5E19AD6FA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c183090fe444b6ce6ac310ce96aaf75302471bd8","datavalue":{"value":{"entity-type":"item","numeric-id":235621,"id":"Q235621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767915$93EF7D1D-EB62-4114-9B1F-E504403AA737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775f4e982039047ff9b29f929f2bbdb3ef82be61","datavalue":{"value":{"entity-type":"item","numeric-id":597111,"id":"Q597111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767915$ED5757D7-4DCA-4C24-A006-4742DDE71EAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1de092f67946937b91df34e98936fba6ee61917","datavalue":{"value":{"time":"+2002-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2767915$308FEDAE-EDAD-457D-8753-C600641F5AEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3cb87c4347a9f976343116156958c10e5c05b23","datavalue":{"value":"http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2767915$523017DF-AE8E-4784-8C64-9810301A160B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a949d7a6e72784eb53409e2ff8b59f49fe4f062","datavalue":{"value":"68U15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767915$D3986C41-B319-4951-8D13-D9CF6331F121","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b92ece4cde769e9ca19a1b99955877726898aee","datavalue":{"value":"1698748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767915$B2BA082C-1B49-4C8D-8A0F-1D7AAD3AEF53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"933484ab214b9d8ed179922fe13c50ee7ee11f5a","datavalue":{"value":"OMDOC","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767915$3CA94098-48E6-4990-8360-5EC00104D89D","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":"Q2767915$FB5A41B6-2207-473B-8EA6-E2AA07B94879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767915$1CB4E375-3D2B-4929-AED9-9DC0EAEF78F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322cfa9d250a6a53032394dc0d9f662b03cdb062","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767915$8A9130AE-90DB-4A5A-A6A6-34E2AC3F2F53","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":"Q2767915$B0F193B2-C2CA-4DDB-A983-63BD4EF91F24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00c8d1668073cb22f936d804aaec34d7e2cf0999","datavalue":{"value":{"text":"Certified and portable mathematical documents from formal contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2767915$4A5EB012-DBEC-428C-A870-75102D78372D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99f7967415a9fb5bd09dbc5ec2ba74a959a259d","datavalue":{"value":{"entity-type":"item","numeric-id":4471939,"id":"Q4471939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"099bd7f9941323b84ec6fdea8f3992a4d0c5d015","datavalue":{"value":{"amount":"+0.8028436899185181","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":"Q2767915$0F9B403B-4DDC-4A81-86DB-C622906D9896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ce02045d02ade07512d45ac2f80b2ad59024a6","datavalue":{"value":{"entity-type":"item","numeric-id":626936,"id":"Q626936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c610f70a8852d44084a932854fdc2eff70ca47","datavalue":{"value":{"amount":"+0.7748891115188599","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":"Q2767915$F8B4C58C-D1F3-404B-BC1D-DA7CBDF50F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"658c7259cfac7041da828ebaf5d27fa9ab30a253","datavalue":{"value":{"entity-type":"item","numeric-id":5302895,"id":"Q5302895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ced3b25f5867f676163b3aafb64020eab9a7bea6","datavalue":{"value":{"amount":"+0.7722817063331604","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":"Q2767915$87FFA40C-939F-4985-8497-FFC68FEA5519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad3c62830479147228097217e5686a67a4619f8","datavalue":{"value":{"entity-type":"item","numeric-id":2760868,"id":"Q2760868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987d622c0b413d5b0c7228984af647b52a8da840","datavalue":{"value":{"amount":"+0.7638781666755676","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":"Q2767915$13A9685A-7CC7-43A4-A174-EBC54DF51156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e29f41d1990be8400b9a7bc66c2bb518eeac4b6f","datavalue":{"value":{"entity-type":"item","numeric-id":2847401,"id":"Q2847401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a3b327520bbaa6c2e8282265b6ccf35806574b","datavalue":{"value":{"amount":"+0.7630816698074341","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":"Q2767915$BA95D50F-AA97-4EF7-B338-7604F75B7B3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certified and portable mathematical documents from formal contexts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certified_and_portable_mathematical_documents_from_formal_contexts"}}}}}