{"entities":{"Q5410488":{"pageid":7440062,"ns":120,"title":"Item:Q5410488","lastrevid":51979799,"modified":"2026-01-20T16:32:49Z","type":"item","id":"Q5410488","labels":{"en":{"language":"en","value":"A mechanised abstract formalisation of concept lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286099"}},"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":"Q5410488$3750C2FB-351F-40F0-BDD6-7D36ECA063A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad4d30bb462ea1c313a06cf74056d79ca5a09780","datavalue":{"value":{"text":"A Mechanised Abstract Formalisation of Concept Lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410488$9E67896E-F139-4012-A717-BA9323135736","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9118b1f47e8dce4a2aa90fe7b716f19d57741b9a","datavalue":{"value":"1407.68480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410488$A2306424-81C6-4D90-B302-D3F8C187D118","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9147a18eeee499a0ac97449db480053edb8ee9be","datavalue":{"value":"10.1007/978-3-319-06251-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410488$F7E1B457-1FD4-4295-8B96-1BB9235ECB42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e0d1feb73bc6dc1f21f46312ef6e54527d133b3","datavalue":{"value":{"entity-type":"item","numeric-id":406452,"id":"Q406452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410488$FE1CBE0C-71D8-47A3-B631-0B5837038199","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410488$86DD83DF-9E97-4DAB-A54E-CBABC3568AD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410488$B05F411C-CE0E-472E-875E-6F80118F3C7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410488$60B34100-9B8F-45E5-84BB-1F84C7EDB814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410488$7EF31647-23C5-4CF4-8AC4-37E224AC05B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410488$94E3C011-53CA-487C-9BDA-2FD034BCAC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410488$B81F0CB1-575E-4762-88E6-D35012638B0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c25d561f198ad5c1eda7205581377f57b07e89f","datavalue":{"value":"6286099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410488$F6FA6624-B060-431C-BB75-943862A69D2E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e41927344b9397ba2eb05288d661d38c0f0d55a6","datavalue":{"value":{"entity-type":"item","numeric-id":21665,"id":"Q21665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410488$FA2C85D5-6BE7-423E-9CB1-EB8D76F2ABD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410488$068B5E2B-6E5B-4C06-BD62-D60AEC0DC818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410488$87F0DF09-5866-49A9-AD67-04E48B99F0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68c6fc7ba46563d0969f62724956ab0a8566005f","datavalue":{"value":{"entity-type":"item","numeric-id":25218,"id":"Q25218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410488$12211FAD-9254-4385-8CF4-0574DE722830","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":"Q5410488$AE7D9ED1-6651-4683-887E-F7F45A33D0A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12df4f6969035f5ed54a38ec91f0521cdb5ffcf9","datavalue":{"value":"https://doi.org/10.1007/978-3-319-06251-8_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410488$31BEC088-EDFD-4A3A-A03B-42A397DE9F69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1384b6875b81aa883274d0aeb37d4fd9da8d974","datavalue":{"value":"W218118034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410488$8C876968-B2ED-476C-B663-82F94B721942","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"240c234d3eb0e350022f4781596625a32d049898","datavalue":{"value":{"entity-type":"item","numeric-id":3460623,"id":"Q3460623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60321d996b4fa998d9b26a0fef4c5a356e336c82","datavalue":{"value":{"amount":"+0.8828821778297424","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":"Q5410488$660A4D21-E7ED-4855-815D-0975F2A21E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cdcd388e89d00caee1fc23e4f3bb301c9a3516f","datavalue":{"value":{"entity-type":"item","numeric-id":3007580,"id":"Q3007580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c421c9154e9f05a1d4ec48ed06c42a9e4db547","datavalue":{"value":{"amount":"+0.789817750453949","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":"Q5410488$1A4D5988-FB59-4BE6-94DB-F8255A1D414A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ac170d6e48be3820bfcfa342d30c42115496def","datavalue":{"value":{"entity-type":"item","numeric-id":5313110,"id":"Q5313110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0055fc5c98d5dbdad2ac22f4c2dde665a225db51","datavalue":{"value":{"amount":"+0.7473012208938599","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":"Q5410488$644E9C64-BC15-49E5-A653-9841FF0355C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a497313ea2913b2ff4033fdc5069fd2c3fcc27c","datavalue":{"value":{"entity-type":"item","numeric-id":4877294,"id":"Q4877294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67af061e0f859c6998a12fa78af9bcb8041710ac","datavalue":{"value":{"amount":"+0.7472701072692871","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":"Q5410488$F460A7CA-2E07-4216-8D1A-828958659164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b844f8361a40a4126d8a3d4e1f30ca0ccb98575","datavalue":{"value":{"entity-type":"item","numeric-id":3003422,"id":"Q3003422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7e97395b1da27dcf3d917411677cf726d3fafd","datavalue":{"value":{"amount":"+0.7470933794975281","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":"Q5410488$22844F82-A71E-46EE-B63A-93E8D704CD44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5410488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5410488"}}}}}