{"entities":{"Q4818936":{"pageid":6848516,"ns":120,"title":"Item:Q4818936","lastrevid":74719575,"modified":"2026-04-15T00:01:52Z","type":"item","id":"Q4818936","labels":{"en":{"language":"en","value":"Proof systems for lattice theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2102869"}},"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":"Q4818936$E77801A8-B05A-403A-903E-4E70E9298092","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17eb4c4fdb107f059287232c3754f1c341cb3a7a","datavalue":{"value":{"text":"Proof systems for lattice theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4818936$517E5B22-9990-4B07-B703-93C5342EEEF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f78ca76d4433ff34c3aa3f6a76d9d642ecb0bcb9","datavalue":{"value":"1049.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4818936$C1958DD8-DFF8-4EF8-91E2-1F93DD19F4EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae6c14d76f8bb030abb719cbcdf0d70ed0b19fb8","datavalue":{"value":"10.1017/S0960129504004244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4818936$9996B415-64DF-46B3-95ED-6144CDA6ED51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4818936$CAE4AAC4-69FD-4618-80D3-FAF142134584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc8bf89138092366dba76fbdf018c3e853b377d","datavalue":{"value":{"entity-type":"item","numeric-id":167888,"id":"Q167888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4818936$07FA4ECA-6387-41BE-92D9-1C2E57B02CFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4818936$DB2A1DD2-71B7-4478-9094-940BD188FFEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80836874fe663944c89061f0420200b4dad391b3","datavalue":{"value":{"time":"+2004-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4818936$CBC3A6CE-AC2D-455F-AB75-F191AFE7C084","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4818936$464D7668-9676-48E9-A2FD-85D8B1FB2134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4818936$AA09B47D-9A89-4D7D-BA4E-86F049843499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4818936$BCF8430B-DE0C-4B5F-A02E-A00DF7EADDB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e947adeec35e9b17a5f73d339034f93af3319f9e","datavalue":{"value":"2102869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4818936$B3A1712F-FE10-40DB-B5A3-FAB202199E5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06cf9711c6390395a60b61ca8ecf0b9b2bef1aea","datavalue":{"value":"lattice theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4818936$F56C54C5-3CDA-4142-A4AA-7218F48D4B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4818936$2A0B8172-8C8B-4211-B8C4-507282EDADCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ffbeda3dbd58689ab30e97cde49de65fb4d432b","datavalue":{"value":"subterm property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4818936$6FC7CAB6-AD07-48A2-A7DB-89C09B301990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4818936$6D9B01F5-668B-4226-B197-9B82C1BBF683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8324f5b352cdba672f1154b8de6c235b04255eaf","datavalue":{"value":"decidable classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4818936$84D103F9-4CB0-4A28-A141-6074EA1F43A9","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":"Q4818936$36049B50-33DF-42F5-B920-3F9483BCD84A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ef4152daca78e9fed3c1c6f5db2228180f79863","datavalue":{"value":"https://doi.org/10.1017/s0960129504004244","type":"string"},"datatype":"url"},"type":"statement","id":"Q4818936$C90BC467-C48C-4813-8D4C-DCB8CFC15FF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf4735c8be521dca4cfa30487a40c3e042d5e2d4","datavalue":{"value":"W2137734604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4818936$A4621A6F-756B-4FAF-ABD1-C6CA446AB32E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa37154f691b585519e97168b6425215bbadcc67","datavalue":{"value":{"entity-type":"item","numeric-id":5149063,"id":"Q5149063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9901769ab73517256004c9c8e3f298b6385cd712","datavalue":{"value":{"amount":"+0.7948117256164551","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":"Q4818936$57D72BA5-FB6A-4368-A76F-190D17FEEA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62e54cc8d42b11c7810144457aa5919e63180ee4","datavalue":{"value":{"entity-type":"item","numeric-id":1771961,"id":"Q1771961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0253c1ed8bf81dda5be07ec6b1cd8faf446a1bd","datavalue":{"value":{"amount":"+0.7881274819374084","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":"Q4818936$0743F910-9AD5-4DE8-8279-9222374AF279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911421e94f74e05dcb65c056555a16ca4c40f8e0","datavalue":{"value":{"entity-type":"item","numeric-id":287483,"id":"Q287483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd1e53e3b3de11987822d0f8fc03b0650bdf5b8","datavalue":{"value":{"amount":"+0.7867172360420227","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":"Q4818936$D2942621-87F1-412D-A788-2E787E729EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40c1c09c77bf72b58d2d54296f7f5040ca511390","datavalue":{"value":{"entity-type":"item","numeric-id":1685923,"id":"Q1685923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9bd4e359d90b4ac137206050e6596f7e56f1f4c","datavalue":{"value":{"amount":"+0.7723164558410645","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":"Q4818936$DEC70E1D-0826-42BB-9AF3-5E08799DB6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a047b27307d3228c0f5c95d086bb1daa339377","datavalue":{"value":{"entity-type":"item","numeric-id":3688447,"id":"Q3688447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91b272cfeab90fe07b9d30636a67df32816a116","datavalue":{"value":{"amount":"+0.7678113579750061","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":"Q4818936$507FAB95-BE81-4DAC-903B-DF9E8BF56C85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof systems for lattice theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_systems_for_lattice_theory"}}}}}