{"entities":{"Q1689558":{"pageid":1700299,"ns":120,"title":"Item:Q1689558","lastrevid":57477438,"modified":"2026-03-31T02:37:28Z","type":"item","id":"Q1689558","labels":{"en":{"language":"en","value":"Admissibility in positive logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6825506"}},"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":"Q1689558$AD217E78-145B-42CE-B8A7-EBF6933CADCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27d1e74d016a9cd75d32ecb3a53dbea0cda1e3a9","datavalue":{"value":{"text":"Admissibility in positive logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1689558$E61D5996-8640-4387-B4E1-46D31D98E935","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c38da9f27cb3e701e939e105879afff87db501d2","datavalue":{"value":"1420.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689558$F10B2C71-FC29-437E-BB5C-4228FA18D51D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"579335856e47b24da10b5706b1182084ec568e74","datavalue":{"value":{"entity-type":"item","numeric-id":454374,"id":"Q454374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$4321178C-A00A-45F5-A01B-A9E24B4AF776","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$739D8227-8D96-47E6-BF98-D650218BEE5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7715282d0e47f132d02fb834b8feb7eb3b738e4e","datavalue":{"value":{"time":"+2018-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1689558$317952E5-0E07-46D3-8908-6AF9BEA2DB9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28e5bef47a96ad1e6f9dd9529e10611dfabff0de","datavalue":{"value":"https://arxiv.org/abs/1610.08700","type":"string"},"datatype":"url"},"type":"statement","id":"Q1689558$202B9204-41E6-4E55-9074-B9B2245CC246","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689558$39815FFE-DB9E-4C9F-8E58-5A3D1A0326B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689558$9DD3F4A0-2003-4D9D-B935-570A315689C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689558$3BA8A611-68CE-4FE5-A55B-81D7A45CFD50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7516b4d3e19dcb9aae08d84edb3bfa71c936c85","datavalue":{"value":"6825506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689558$1CBB7CF2-7DC1-408C-898C-5A4C929C7C9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1689558$28C1D30C-EFDD-463E-BFC8-8D7E54BD3A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daeae48de9cd0f6b9465fe4baa94ecfa909c2332","datavalue":{"value":"multiple-conclusion rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1689558$24550395-C0BE-43F9-A028-6223482C6463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db42f37894e53e48759b73abc85ed6c4e821c98c","datavalue":{"value":"admissible rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1689558$A45A9392-EAF4-4FA1-B164-615DFBFE64B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29be9b1e6959e16689bfdefeff0c234003806f93","datavalue":{"value":"positive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1689558$41C1F7BB-D77E-4AAF-8A30-CA655E3C3245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1689558$1DB14020-64AD-4F8E-AECC-A157386F34FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39773ca1d5607d233695b65fb86e7ec98f2dad08","datavalue":{"value":"Brouwerian algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1689558$E8B927F1-34AD-4A86-8DF8-90D9CCC0B982","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":"Q1689558$8FFF6E9B-09A5-41DD-9A05-AD8B31423756","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9abc4499926911763e5c5a4faed3bd498f60ec2","datavalue":{"value":"W2542047951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689558$BDE35705-0922-4A1D-956E-1FCB7FE1B573","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e235376f10a8425867fe4fd840d0fc0f6af77f","datavalue":{"value":{"entity-type":"item","numeric-id":2395033,"id":"Q2395033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$4F48AF7D-4BF7-4146-9C9C-4ECFBB088457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ec5a1876ff356e82db685c0d8e9da5c1babd35d","datavalue":{"value":{"entity-type":"item","numeric-id":4461807,"id":"Q4461807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$038E1975-8D12-44C3-9683-59C8E7FEB555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc888a076de43aba6ae566aed76169c6ee4074b","datavalue":{"value":{"entity-type":"item","numeric-id":5789040,"id":"Q5789040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$31A2FAF5-72C7-4386-91A7-29C275777FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9583a02c3d9399c12376ce83a826d5789cef9579","datavalue":{"value":{"entity-type":"item","numeric-id":638480,"id":"Q638480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$5A012B48-2520-4477-9962-8A4E04F73434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1f2b335da52ed4f882a1e68c165250063ca1bb","datavalue":{"value":{"entity-type":"item","numeric-id":4166741,"id":"Q4166741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$13FFD520-C4AB-459D-A6B9-C35407320721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e692d1f3461a21072f869e2fe17a61b37ee2a4","datavalue":{"value":{"entity-type":"item","numeric-id":3655251,"id":"Q3655251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$68325545-C232-4B4F-A54F-76C9BAC74BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b69ae82ce4b50f7614ea509b47229dc4677e4c4","datavalue":{"value":{"entity-type":"item","numeric-id":3455187,"id":"Q3455187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$4AB1CBEC-F0A7-4FD2-818A-7519611840A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27d01d7cb0516f5e99b64250b93c13344394d37","datavalue":{"value":{"entity-type":"item","numeric-id":4220413,"id":"Q4220413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$75CBF3F6-931D-449D-B3DC-AF5680478FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb76e1343edbf6a74360f01ff6e5d08154bf5d70","datavalue":{"value":{"entity-type":"item","numeric-id":3235799,"id":"Q3235799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$47619C25-02BF-40D7-96DB-BA8704A12376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e103e25804cba2c09b77143c693fababe05a3f1","datavalue":{"value":{"entity-type":"item","numeric-id":386639,"id":"Q386639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$44161B53-7BD9-4875-BC4E-F2E626031871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$55E9371F-4099-4A4B-B0AB-5FF6371900F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9f500dc91aa72b2199175da5b1d6d4edb9ea80","datavalue":{"value":{"entity-type":"item","numeric-id":5549788,"id":"Q5549788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$73B22D66-32FA-4CF1-BEDE-3C2199CB44BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cdaa622836d078fa3fb4edaf82e381113fbbf02","datavalue":{"value":{"entity-type":"item","numeric-id":3508162,"id":"Q3508162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$A4134782-3035-4713-A248-D829090DD8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc62a7d0c8e9762ad2050016eed3f052ed0ba7e1","datavalue":{"value":{"entity-type":"item","numeric-id":331054,"id":"Q331054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$347B91C5-AEDD-4E3B-B765-FDD1FFDF865B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111256a6bd1a96fbcd6e331a58e521c8ca055ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4075514,"id":"Q4075514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$3F3F3970-2096-4972-88C4-7600179A7D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bffed4a7db9147940301de84b906b986de91e3e3","datavalue":{"value":{"entity-type":"item","numeric-id":3226736,"id":"Q3226736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$C4C5767B-A973-4967-9B6C-B5E9501C3ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f079dc0bd0225722bd196cf11659e391d430ac7b","datavalue":{"value":{"entity-type":"item","numeric-id":4133602,"id":"Q4133602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$6B5D767B-5B83-4773-9AC0-B1B03DCBAB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc607fbd1fab85d76c416d6e499ba3d2145f78d9","datavalue":{"value":{"entity-type":"item","numeric-id":385070,"id":"Q385070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$0FEDCF80-F1E6-41AB-8EF5-87BF465F1F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9397b189e714eb83e17a2f5556f745f3105868dc","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$87C33CD7-DF8D-4D49-93BF-845A6BA59EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"700f9b34d2efa42b05af0ea397a4801365b2f650","datavalue":{"value":{"entity-type":"item","numeric-id":2562773,"id":"Q2562773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$10EC6192-22A4-49C0-8976-D92586D162B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$52DD0B31-2E12-40A2-BEB7-6B47B9EDA9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69da35294d6de27753befde76932b036e2da46ab","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$57E741F4-47D1-49C8-B4EC-4FED983959B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e4057cbea795765c3e532392a7ce11106aad03","datavalue":{"value":{"entity-type":"item","numeric-id":1079559,"id":"Q1079559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$B3DC883D-CE25-471D-802D-778DD5EEC6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$61E00D94-5492-4B0A-B7FB-799D6AB629A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ea676d7dea028bdc934c4cff4737ce3b2e6c3b","datavalue":{"value":{"entity-type":"item","numeric-id":5771193,"id":"Q5771193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$1479057D-9E0E-4495-A6BC-EEEE08449446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3562aad9f32d46951b184c93a703037e61e2737","datavalue":{"value":{"entity-type":"item","numeric-id":3924171,"id":"Q3924171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1689558$51EBF69D-67EF-4EC4-A6D5-28B37C896881","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"320edfe11b4f26c270ed0554d1ddc99aa9d884f6","datavalue":{"value":"10.1007/S11787-017-0180-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1689558$B43D32BB-C83A-41ED-9A29-1F44F965C999","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bc341d403f821c889894f8cb5337fe377605d4","datavalue":{"value":{"entity-type":"item","numeric-id":5283419,"id":"Q5283419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9e822e8dad32c2df85b34f547e979fb4d2d559","datavalue":{"value":{"amount":"+0.8341801166534424","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":"Q1689558$2F8F51B0-E99C-4F06-B3A6-7DDB6A48F4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe8b78e8bf15f7419c31a55f9885fdaf6f076ebc","datavalue":{"value":{"entity-type":"item","numeric-id":2915017,"id":"Q2915017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c5283e02f281795298881382f54582027ba5ce","datavalue":{"value":{"amount":"+0.8133676052093506","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":"Q1689558$AC18804C-6005-4DBF-80BC-E0AA4F214E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cd4f64baf572fcefc7b8a2490cd580d174ec88","datavalue":{"value":{"entity-type":"item","numeric-id":1023055,"id":"Q1023055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ea39fd6ea6ac1e391f2bb3fdedf381994cc6db","datavalue":{"value":{"amount":"+0.7998965978622437","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":"Q1689558$4E133C1A-3046-4394-8F4E-86096CA502A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe79e9fc4d4c24197a362f8a14a15f8e6b2f9ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5696300,"id":"Q5696300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9683d00c426737e4e389144a437f94baf37c9e9b","datavalue":{"value":{"amount":"+0.7965419292449951","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":"Q1689558$6CEF8E9B-4DA1-4DD3-9E8E-595058E6D828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ae10ab31c33c86c44d3e39670c848fc0799828","datavalue":{"value":{"entity-type":"item","numeric-id":3553916,"id":"Q3553916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"972aaf5f3e051d919d10c8a89adc44c04d56deaf","datavalue":{"value":{"amount":"+0.7837303280830383","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":"Q1689558$A5FB90B7-7BFA-4412-AB2B-0C886B3C8220","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1689558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1689558"}}}}}