{"entities":{"Q2881225":{"pageid":2891945,"ns":120,"title":"Item:Q2881225","lastrevid":58040907,"modified":"2026-04-03T13:55:51Z","type":"item","id":"Q2881225","labels":{"en":{"language":"en","value":"Independent axiom systems for nearlattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6021451"}},"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":"Q2881225$DA9F8EE1-81B3-488F-A499-15565F84ABA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c9f29e5c666dbd4f153e43c0bcf0c11c3da3bc1","datavalue":{"value":{"text":"Independent axiom systems for nearlattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2881225$BBCC21BD-65AB-4BDA-98A8-824A37D92CCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1741f37dbb2a432bec91a2187ddfc0a420634a0c","datavalue":{"value":"1249.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881225$F947D616-02E7-4D62-8DC3-3A175C4D2FA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fcb46173bcfdf056b3980b6bcaff648a1f1a605","datavalue":{"value":{"entity-type":"item","numeric-id":250229,"id":"Q250229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881225$2EB8E273-7120-438F-8957-EE12C9B5F3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"266db153a53e546844fc36f71b0b8a034829e061","datavalue":{"value":{"entity-type":"item","numeric-id":855330,"id":"Q855330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881225$05687F34-DB4C-44F0-82A9-7589216CF9FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"66ed23547a6b099874e45a2931ac7c001dad122b","datavalue":{"value":{"entity-type":"item","numeric-id":2760956,"id":"Q2760956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881225$FCE20441-F332-4F03-BB62-B27F4F491CE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d567b51f320d6b206f1e246178a080db047a3948","datavalue":{"value":{"time":"+2012-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2881225$4CA96151-3FBC-4CB1-B5B3-7A682C5F3547","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"646cd046a64d45a686b547af6853e9708bd4ee6c","datavalue":{"value":"https://arxiv.org/abs/1007.3120","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881225$A398D193-1C43-436E-8BF3-86119D31BE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8d7b819168e77d29e77863f318e16ea4d8f2f86","datavalue":{"value":"https://eudml.org/doc/196329","type":"string"},"datatype":"url"},"type":"statement","id":"Q2881225$E58BE60C-2D1B-4768-99FF-BCCD5FAD154F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881225$90D1230F-A55E-4AFC-BF6C-5ACDF64EE144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ffddb3a6bc59b3feb202ceccff75a2bc316d699","datavalue":{"value":"06B75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881225$9B8B03F6-FF20-492F-9EB8-097CB8576AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881225$871A2097-2626-49DD-B1C5-B399A62DDEC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05a03d56137de45eabf34f65c28af3d3d80ed75a","datavalue":{"value":"6021451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881225$DB16B22E-2560-4FA1-85D4-42C7731E060E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99524258ad2a62436f61ff7fa24712eb02cdb156","datavalue":{"value":"nearlattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881225$59E75280-1360-40C3-83B7-2365ED3837B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c80b125fdc142b64453344ec16a1a048f6ac200","datavalue":{"value":"join semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881225$517A0ADE-F487-4E94-8F17-28F426AABFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5d4c78b4580c4eb5646552823e5a0533e1d770b","datavalue":{"value":"axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881225$6AFD66F5-5227-4C0D-AD62-A18BFD579453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e04957f83ab3e41f7ca1cf723d1a500956587d5c","datavalue":{"value":"\\texttt{Prover9}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2881225$7630AEFB-6223-48A2-83A3-4F0487907B32","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881225$74869672-0243-4E1F-92BB-1DEB6C09566B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881225$8C23C7A5-0E89-4511-B74C-1F3BEFE90280","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":"Q2881225$6047D1EA-D32A-48D4-BB4C-3A1D7E857FBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca62c1cf2b0ab9a3681a4e00fe4abd182eb9c1d8","datavalue":{"value":"W2042564674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881225$3518B35F-ED6F-46EA-936B-11610E4B2D51","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"43ff75c05335b0490483c28f74f8ca44f65fe3c3","datavalue":{"value":"Q114017653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881225$931CE736-613B-49EF-9B99-06D457D50E7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead0f802041885a768f34dcad8567714cf724003","datavalue":{"value":{"entity-type":"item","numeric-id":5446633,"id":"Q5446633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881225$4A30AF37-918F-45C8-81A8-CB46B664CC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a85f29c78b168b6608f9854cff345827ea03a3","datavalue":{"value":{"entity-type":"item","numeric-id":947812,"id":"Q947812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881225$E62756E9-0392-4512-9A04-AB8C1450B53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad9198aa8c61e35e1d32cc3a1282c320d2b02e8","datavalue":{"value":{"entity-type":"item","numeric-id":3875980,"id":"Q3875980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881225$07488B5B-0677-434E-A868-38B538327B35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d43e9040532de4c121a1dbbf61f54b880648542","datavalue":{"value":"10.1007/S10587-011-0062-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2881225$B152666A-02F2-438C-B8DA-323F776106F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca28ff6aeee1ee873dac7fea4d4444e03202554","datavalue":{"value":{"entity-type":"item","numeric-id":4905680,"id":"Q4905680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8bd23296b91e5f2cb378409164aa67a5e47ba45","datavalue":{"value":{"amount":"+0.8764463","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":"Q2881225$8BBD4AD0-D9C1-44C5-8099-12C8092BFA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da3a1ceee71ee8de2d5dfe571cecd5bd99d2159","datavalue":{"value":{"entity-type":"item","numeric-id":2011341,"id":"Q2011341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b69276b72c9923f805503e31e3b21701d2f4cc","datavalue":{"value":{"amount":"+0.87439704","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":"Q2881225$A4D5A657-4819-47CC-B26F-8FC0009B6F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb3710f9cd13b13da6ec7eb37f90f0767a9a79b","datavalue":{"value":{"entity-type":"item","numeric-id":1177849,"id":"Q1177849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a0a08e4d98a43ee69c24b54c87608bf21392e7","datavalue":{"value":{"amount":"+0.86128056","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":"Q2881225$3E1DB922-032D-4821-9DEB-54E523A5D22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"732ae7fae4d86031e406f6214651a4f2d5cf06d6","datavalue":{"value":{"entity-type":"item","numeric-id":2519410,"id":"Q2519410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9420a7e2b47eefe67a7b25d3593ac1bcc634a596","datavalue":{"value":{"amount":"+0.8573095","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":"Q2881225$11814859-BDAB-4E13-B88E-446E3A27D2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3e541b208444f9f881df290f9348bf4bfb1cbc","datavalue":{"value":{"entity-type":"item","numeric-id":4806615,"id":"Q4806615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6d87fc9dc3a4de027d693e43fb9dcc346de63d","datavalue":{"value":{"amount":"+0.85508347","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":"Q2881225$78ABDE6D-FBC8-4681-AC6E-704A555FFBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"605e34f9209bf49c1f7940647f4ad391f3f68b3e","datavalue":{"value":{"entity-type":"item","numeric-id":5507571,"id":"Q5507571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b8ebe968ba6daebc3c84d446003bab6c1c3c779","datavalue":{"value":{"amount":"+0.85382783","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":"Q2881225$0EB31173-584E-4318-AE8F-32A70DD4E52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff14c4338728256de7d3fe337ac76aedcbe81421","datavalue":{"value":{"entity-type":"item","numeric-id":598297,"id":"Q598297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd9a5c8c510afa60123ef57b445a259682f080a","datavalue":{"value":{"amount":"+0.850796","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":"Q2881225$6EC9D193-817E-4FB7-BDDC-187E08560FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15bad92327853c71bc1fb06101b352705b272a86","datavalue":{"value":{"entity-type":"item","numeric-id":1907590,"id":"Q1907590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a080f9c3f5b54971ea5d83aa3a8844d60df297e","datavalue":{"value":{"amount":"+0.8482953","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":"Q2881225$E773F4A1-11AE-42FC-A6B5-331DABA2EB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deff955b2d166ab8c7090e474e2520179d376a1d","datavalue":{"value":{"entity-type":"item","numeric-id":4466668,"id":"Q4466668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7f48b403453cf9ffa991396917fa76c8f74bf5","datavalue":{"value":{"amount":"+0.84669197","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":"Q2881225$65921FB3-9F55-4F2F-A4AC-8C304351394F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01962c23dd0e8f4990a5599fd8d9e19edfd0c271","datavalue":{"value":{"entity-type":"item","numeric-id":4955609,"id":"Q4955609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c2f3d63ca304e461ef5831693400a5b4104dd78","datavalue":{"value":{"amount":"+0.8452655","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":"Q2881225$505F7FDF-CA64-4E3D-AA9B-B90506A6DDF3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2881225$74D48BE2-BF5A-4D8C-85B0-660390AF21A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2881225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2881225"}}}}}