{"entities":{"Q2021561":{"pageid":2032303,"ns":120,"title":"Item:Q2021561","lastrevid":55384354,"modified":"2026-02-17T15:15:36Z","type":"item","id":"Q2021561","labels":{"en":{"language":"en","value":"A conservative negation extension of positive semilattice logic without the finite model property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7339952"}},"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":"Q2021561$23427747-BDA6-4317-AE12-7B94AD4D969A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a15fad3564570473248c4fb11c99de268b863dde","datavalue":{"value":{"text":"A conservative negation extension of positive semilattice logic without the finite model property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2021561$4042A774-DEA3-444D-955D-F104411D46A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"830c0f25ad747c8200774c4aa79cb7dc4ac30bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2000667,"id":"Q2000667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021561$31C3F0C3-2D46-46DF-8DFE-12F56F7FC187","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021561$6DAC3A13-C3A4-447B-AE2A-3AE38F37F129","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"661f4d8ef06d99d35e1e7e7ecc507a8b7968b768","datavalue":{"value":{"time":"+2021-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2021561$F66A05EB-83BA-4D0B-B2A9-7CD03BAABA52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2021561$5DEBECB8-3F3A-45F7-B0CD-B86F14DB779D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"561048168549a662b672fbd7fe8f79e2d1622e35","datavalue":{"value":"7339952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2021561$F2BEC393-E3E0-4160-83E2-A148BFFCF3AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ae9cd06f8cb493648799f0776f350f5d3e6eba","datavalue":{"value":"semilattice logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2021561$83162C19-000A-4C07-B0ED-5B6DCD5B519D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2021561$F6C202A2-6B7E-4428-90E0-CC0F03FA4CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2021561$C8F1E281-A952-4DF8-87A2-37A2F868CF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2021561$F8126145-6842-4307-A9E8-5C16DD641FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2021561$47F264C0-9934-40D0-BE71-FDD6F134D0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2021561$AED1CC86-8464-412E-AF10-FEF06FB711CD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021561$13C3F4BA-67C7-45D7-9687-0792C66B7B02","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":"Q2021561$1CBBDFCF-6830-48E1-8210-A755E7625F88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5817818c3e2c79d2b00d2e996c8f6a24ba4193ee","datavalue":{"value":"https://doi.org/10.1007/s11225-020-09903-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2021561$FFA48139-30D3-4A82-B4D2-9BCAF624718C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3dd64b8a5269637611e64806526f55e79412d77","datavalue":{"value":"W3012424420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2021561$813CF39D-2379-4F4F-984B-ADA4F083278F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26788dfb786984f756047122e675ae881d90b7d","datavalue":{"value":{"entity-type":"item","numeric-id":3936718,"id":"Q3936718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021561$07A24223-59AF-4457-9703-BBA55F2D17B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2552a8939013b45e6ea2baa2db0a6428a5d43a9","datavalue":{"value":{"entity-type":"item","numeric-id":3718681,"id":"Q3718681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021561$08DBE341-88A3-4C81-8729-0BB4C408F4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8e4eb00b712d26a8074d54339d75eeaa1a8ee5","datavalue":{"value":{"entity-type":"item","numeric-id":579235,"id":"Q579235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021561$29B7FC39-2501-47DF-A35E-64E9616D486B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35153f87437778fdb9d826cc9d4315f55fbad940","datavalue":{"value":{"entity-type":"item","numeric-id":3751556,"id":"Q3751556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021561$E8D5D8DD-53EF-4C08-A3CF-105875535084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e8b5c768c9a6eeec75fb0cba938645dd4e4e91","datavalue":{"value":{"entity-type":"item","numeric-id":4419270,"id":"Q4419270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021561$293E6647-72B4-4DDD-ACB1-6DA2F20CDA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"272b100438791ebf9cb00211c08c13b3ce04aa14","datavalue":{"value":{"entity-type":"item","numeric-id":4428879,"id":"Q4428879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021561$F23BB70C-6B5B-4755-9FC7-6F7B52803937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2263106b37d64b84ed219b754558e417daad9a8b","datavalue":{"value":{"entity-type":"item","numeric-id":1317904,"id":"Q1317904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021561$4F6BB27A-5B1A-425D-AC32-0E5A8669784B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05b88e8939da5afe0e37d672faef2e7bfef9975","datavalue":{"value":{"entity-type":"item","numeric-id":2254557,"id":"Q2254557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021561$F80D0D9D-474B-4324-99BD-1C5D72A5010F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021561$1CA3432B-9AF3-4FF0-99AC-B707D65B252E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e19b9ac11c70c2ebcf90a02f1f65e02b87b9904","datavalue":{"value":{"entity-type":"item","numeric-id":5656747,"id":"Q5656747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021561$699F37DF-E612-4990-9F1B-455899577220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842b56d1e792f42e670c8d166b3e57b0abea925c","datavalue":{"value":{"entity-type":"item","numeric-id":3703869,"id":"Q3703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021561$88E942E1-5F90-411B-9E08-53F9DA2D6299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc9a1050037751dd0f5f8aaa95ad83caf4a3294","datavalue":{"value":{"entity-type":"item","numeric-id":2966516,"id":"Q2966516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021561$53E5BA89-7E8B-492C-BC86-4E197A549E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb5c751b1b619135cb32c46e32ffded8ce84b04","datavalue":{"value":{"entity-type":"item","numeric-id":5648339,"id":"Q5648339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021561$329CFC35-81C5-46B2-9E51-35779FAE8ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aee358548f255435b7a9f198449e398b89d78c0","datavalue":{"value":{"entity-type":"item","numeric-id":5205978,"id":"Q5205978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2021561$E9F3A0FE-13B4-4A17-855A-890A08A19960","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9a4b87923508d7c301b4d4e644e9ee67cc85837","datavalue":{"value":"10.1007/S11225-020-09903-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2021561$1A499345-EC5F-481C-A5AD-4B1116F1B9BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245531572b80f642e9e8e6b6150312827c7299a8","datavalue":{"value":{"entity-type":"item","numeric-id":3781076,"id":"Q3781076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7769e6b84abed9df0c8210506d9207fe170e3ca3","datavalue":{"value":{"amount":"+0.7785754203796387","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":"Q2021561$F906E703-2376-4B09-8D50-7C4E15E11283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4b9de7e40c5958ef6e20e8d0fc196dc47d40cb","datavalue":{"value":{"entity-type":"item","numeric-id":3030795,"id":"Q3030795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7290fe6ea6ea836f813bc727c88ee3e7a3779cd","datavalue":{"value":{"amount":"+0.7622895836830139","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":"Q2021561$017F63D9-4810-42F2-8091-7FC5BD562545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f55252876260fa9200af39ed91805817a699ce","datavalue":{"value":{"entity-type":"item","numeric-id":4218025,"id":"Q4218025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1173bd106dabe167658ef03fabe78d3aaebb9385","datavalue":{"value":{"amount":"+0.7476099133491516","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":"Q2021561$B8669FE8-D932-47E8-A467-3F59E35273AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3075b8d03cb47cb7b6897e382c9fd142c40ed6a","datavalue":{"value":{"entity-type":"item","numeric-id":3546092,"id":"Q3546092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98990ea3c5a5ea3807e268c99d92b286a97729b0","datavalue":{"value":{"amount":"+0.745934784412384","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":"Q2021561$5B2D084B-9D75-4741-B090-4D76A16F5AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98cc8b2dc172725980898dd01cec9c81a5f4a736","datavalue":{"value":{"entity-type":"item","numeric-id":3512159,"id":"Q3512159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05c134eccad36e0ebadb9f9c9a088909e0f5933","datavalue":{"value":{"amount":"+0.741646409034729","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":"Q2021561$4DEFC5BC-DABE-41E0-AF66-C6C1ED4006EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2021561","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2021561"}}}}}