{"entities":{"Q3097869":{"pageid":3108584,"ns":120,"title":"Item:Q3097869","lastrevid":45438499,"modified":"2025-12-08T04:50:33Z","type":"item","id":"Q3097869","labels":{"en":{"language":"en","value":"Computing Minimal Axiomatizations in Godel Propositional Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5970062"}},"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":"Q3097869$01F3064A-F276-498A-822A-F76013C33A04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2a8b6e40a789f62e9b306d87a80eadb2ab4713f","datavalue":{"value":{"text":"Computing Minimal Axiomatizations in Godel Propositional Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3097869$2FD11850-518B-4F2B-AB01-D5F3FD47164D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47ee4e8a5d1d7ff9988c6156b8b76c2912f512ce","datavalue":{"value":"1247.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3097869$1CD34F3A-1F0E-40C2-92DF-468C7D1D9EE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3239827dce618dbe8b1c7b964a1564cb063b763f","datavalue":{"value":{"entity-type":"item","numeric-id":387624,"id":"Q387624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3097869$B0159B33-443C-4C84-80B6-B78F19DB8E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d5cb24d8cb35cdc4abd2e7a28bc5b4163204d11","datavalue":{"value":{"entity-type":"item","numeric-id":279325,"id":"Q279325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3097869$30E22452-9A77-4DC5-87BF-BA02C96D34A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87a9ed60dcd86b7fff75e1beae8346fffea84dd1","datavalue":{"value":{"entity-type":"item","numeric-id":279326,"id":"Q279326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3097869$54AA7B6C-7EB7-469A-8050-7FB7653E033B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eaa681f595e5adaa3f79c590c5e5c1e3273415a6","datavalue":{"value":{"time":"+2011-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3097869$0E9B760D-27ED-427F-9814-2F0CEC8E9A55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3097869$6BCB6070-99CE-4B18-AFAB-5C424979924B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3097869$373F8E91-938F-4B15-8A6E-9805C250EA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3097869$C13B2D77-80D2-4BE3-ADD0-5A0164B87879","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a273be23688d0f94115ac5ebbe510243fa7da64","datavalue":{"value":"5970062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3097869$E124EA5E-E462-4FD4-A887-BEA2619AD03F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3097869$D004D894-355D-45EE-B8A4-153F0D3DD2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3097869$919963D2-6978-4196-89D5-C5D926D6C108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ba77ebcb5c42b111e1c34fd3465dfef74900115","datavalue":{"value":"G\u00f6del algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3097869$A3F0905D-D50E-4157-8E58-BDE5B8938072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3097869$5188F129-26DB-4670-ACF0-EAED23587EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a9bca472f4d4c791e11ec2882277afaf6ef0e7b","datavalue":{"value":"root system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3097869$97D96653-5EEC-488E-B9D6-BD6F043C7AE6","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":"Q3097869$388A6703-E4DE-4BA4-8FDB-948AD00224DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2a61286c77d7dee6916649d920a35f74325ece2","datavalue":{"value":"https://doi.org/10.1093/logcom/exp054","type":"string"},"datatype":"url"},"type":"statement","id":"Q3097869$9907A97C-AD82-400A-A3FD-94DC92698DFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a8b5d95666b5e7d80ed5a5e94c5a30f7df3c56c","datavalue":{"value":"W2153765600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3097869$570D3BEE-CED3-4BC1-854B-3D7137385665","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c994f54f8f315db03b963339b2925fefb125de6","datavalue":{"value":"10.1093/LOGCOM/EXP054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3097869$59728066-F8CE-4EC4-AC32-93062BF1D03B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15c0de9b49cc7954c8beaa6b96f2f469890eded","datavalue":{"value":{"entity-type":"item","numeric-id":5427255,"id":"Q5427255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4dcc22047559c898cd462efb02b8af045749766","datavalue":{"value":{"amount":"+0.7419056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3097869$D9823E5B-2556-451C-B102-9177781C96D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c52edf7774a67c2abb0abe2989f27a790a92770","datavalue":{"value":{"entity-type":"item","numeric-id":5234710,"id":"Q5234710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"340eac70896fc2cd2ed58fcd07485ef2d67697a3","datavalue":{"value":{"amount":"+0.7413184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3097869$9AEFA2B3-0634-46EB-835D-EDCBDAC9181E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33373c81652d58563a0063598c92df0f94812309","datavalue":{"value":{"entity-type":"item","numeric-id":1407546,"id":"Q1407546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f15bdffd75fa01edb30fe24c4233dfa20f44e90","datavalue":{"value":{"amount":"+0.7278","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3097869$FEDF5F50-6D82-4823-9567-9BEF1DECF2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0a6df946741aac7e3a61dcd2246cab81e389cd0","datavalue":{"value":{"entity-type":"item","numeric-id":4933294,"id":"Q4933294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f917b30aec97042df8ad9d37a1df18ff42fc0815","datavalue":{"value":{"amount":"+0.7220497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3097869$D11E8F79-ED8A-40DD-8476-DDFC57B8E507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea926e20c445eccd1820cc2c4580ee2f196b6272","datavalue":{"value":{"entity-type":"item","numeric-id":5878286,"id":"Q5878286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8162a5ac6d3d64b70a9488482187fb0ae8453ab7","datavalue":{"value":{"amount":"+0.72142154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3097869$7BDFDC28-F159-4BB7-A176-FCB8B26B4018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c45d674d92c8b9dcd6a799bc00995205321ff061","datavalue":{"value":{"entity-type":"item","numeric-id":5311248,"id":"Q5311248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daac56b5b7fb234a3b90d74631f88be49bc56c4b","datavalue":{"value":{"amount":"+0.7211819","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3097869$522E16EB-D544-4726-A256-8932E19A9A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f6189d14e5a72d25687843c042a3bcc9e59f8d","datavalue":{"value":{"entity-type":"item","numeric-id":4893133,"id":"Q4893133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a5d2a198a7e1a46ff0076c974223c455672cbd","datavalue":{"value":{"amount":"+0.71833813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3097869$0B58D88B-3FCE-4269-83C5-FBBD160C3129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beec96db776a089983412407a6acae56aa3f6dc2","datavalue":{"value":{"entity-type":"item","numeric-id":3787447,"id":"Q3787447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e156ffcd8a9b21fb1b84cea5526d4c6d85d2fb2d","datavalue":{"value":{"amount":"+0.7178379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3097869$2F688252-53BC-4611-939C-B83089B7E41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d556c45247620500ddf64477701e2a84f5fcad4","datavalue":{"value":{"entity-type":"item","numeric-id":4534923,"id":"Q4534923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd206bc1f01d67566ad0d986fc816d1e76be2dc0","datavalue":{"value":{"amount":"+0.71748245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3097869$E59DF159-34AC-481D-B172-BA567861B987","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3097869$FB6D1F78-6D8A-4B4C-A835-5DF4E1988AB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3097869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3097869"}}}}}