{"entities":{"Q991900":{"pageid":993748,"ns":120,"title":"Item:Q991900","lastrevid":65926542,"modified":"2026-04-12T06:19:18Z","type":"item","id":"Q991900","labels":{"en":{"language":"en","value":"Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5781096"}},"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":"Q991900$058ED371-5C2F-4175-9065-C48F31DA781D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b19ef3735b8718312572a9c77c921c6fe682a88","datavalue":{"value":{"text":"Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q991900$534EE579-B609-4280-98C7-6D606A2990BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df7d05eaee8ee97758e26bad9b29cf975c79def5","datavalue":{"value":"1202.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991900$BB2D0569-8842-4FF7-8011-A34F3B829F0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a3322f7c395849201c201788891d980fbbf885","datavalue":{"value":{"entity-type":"item","numeric-id":230826,"id":"Q230826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$902175A6-DFD0-4B1C-AE47-7C7D99DF1653","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$0D4AA9B4-5943-42F9-9DCB-80ADDDD1FDBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e193f284f8733d439b83ddc151cf4a28e7572944","datavalue":{"value":{"time":"+2010-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q991900$C0A05CD3-D58C-4D2D-BB22-AAF5035D8576","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991900$B969AC50-875E-4184-BE82-3B6C0CB7C3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991900$EE871191-824F-4529-ABAF-941751A70F3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d0f04789b3571589bd9811357d85e71c1d53da5","datavalue":{"value":"5781096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991900$0636ADAF-4613-46FA-9453-51A0FE8A68A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5fd830a01df981907a0b08d38c458eb4d064faf","datavalue":{"value":"Dummett logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q991900$D3A0F35D-A69F-455B-A383-AE019DFADB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q991900$4A3F5A8B-E957-4437-BD6D-50BA8BD15945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d120f16a4a449e17abe99fcf1fc6dfa592e9035c","datavalue":{"value":"tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q991900$4C4FCD63-E7FF-40B8-B5E6-C177DC1527F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q991900$20750F89-C17D-4B07-9121-FC4A8D98A414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q991900$33CE4ABA-974F-4E1D-9AC6-CC8615C32B8D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e931e3e9b122c67605faf5edb5155d9592d9fbbd","datavalue":{"value":{"entity-type":"item","numeric-id":13195,"id":"Q13195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$527A038D-9CA4-4BE0-9CFF-A832CFB6508D","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":"Q991900$B71E8310-3349-402A-BFE0-1A8118807F07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8d8764f7b736c25bca49549bbb853d74f66a1b2","datavalue":{"value":"https://doi.org/10.1016/j.ins.2010.06.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q991900$C5DF4D3F-C5AA-497A-9089-39D3737B3306","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"512eaace9cc9ba34630c89976f1365e953b8599d","datavalue":{"value":"W1991500340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991900$EAEB8074-DABA-4944-822E-234BFE63B218","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a23ef1a0e753d0b5a8d87fc14eb3b1fb9c5bd2e","datavalue":{"value":{"entity-type":"item","numeric-id":4700536,"id":"Q4700536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$C2C48CAD-A090-4AD6-9F6F-D9773F0AFE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a20ee743781ee4c8b6671f139ef4ad158db302","datavalue":{"value":{"entity-type":"item","numeric-id":959821,"id":"Q959821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$794CF4AA-095B-4EC2-B47B-8B998F8C4441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$D750E848-7800-48B1-920A-A55469291E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046f24bfc450ce995ad35e04b66e6b95a73474e3","datavalue":{"value":{"entity-type":"item","numeric-id":2721190,"id":"Q2721190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$1AA75E81-A414-443A-808E-CF4B0DFC578D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc7e628ce645756ff215e1270e8a57b64a1dd02","datavalue":{"value":{"entity-type":"item","numeric-id":5955614,"id":"Q5955614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$E27404EA-9F64-4356-B002-18EB6FC96D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8da866ea10bf4b91a02468fd2c7b3694ea947fe","datavalue":{"value":{"entity-type":"item","numeric-id":4263005,"id":"Q4263005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$AA7F7298-53AC-4746-83AE-21845FB4246B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c01d73898bf38981e692fd47db002c079f10b2","datavalue":{"value":{"entity-type":"item","numeric-id":4812316,"id":"Q4812316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$B13B122B-572C-4ED6-81B5-1D5CA0FC3858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$7B8FD63A-DA5B-46A0-ABC1-6C7BDB6B245E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938c18979ed4fc60e54ae58cdd699c3342ea9d22","datavalue":{"value":{"entity-type":"item","numeric-id":4255973,"id":"Q4255973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$8072F728-F961-4090-9F48-1D7AE2B4F0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7468087d284a3587e2eed18a351020c818d52564","datavalue":{"value":{"entity-type":"item","numeric-id":5956122,"id":"Q5956122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$BB632E94-984B-4E11-8052-E1255BE837D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$560C090D-2DC0-48E4-ACEF-3F122734F1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8842380f007a72ad0bc44f4299ae57d00868b8","datavalue":{"value":{"entity-type":"item","numeric-id":5820681,"id":"Q5820681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$0F48F4AC-7CF6-4C4A-94BD-B19744D37807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$6C260141-FB97-4732-9572-DBA60F2551F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$985F103C-DEFC-42F6-910A-6C1C73EFF622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa51784aa185438cb3a111625f0aefe0dc4de40","datavalue":{"value":{"entity-type":"item","numeric-id":4809045,"id":"Q4809045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$18B890A2-4F0B-4D9A-B2C9-186A45CD1BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ac5af7018527e1bf72823b18e47fc7cb198f413","datavalue":{"value":{"entity-type":"item","numeric-id":5307065,"id":"Q5307065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$22549FC9-852E-4701-8731-2634AC689EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a91499b88ebcb813ddff6993d611f0095daccb3","datavalue":{"value":{"entity-type":"item","numeric-id":877886,"id":"Q877886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$D8D8F15D-ED00-48CF-9C8D-6AE161B69650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c0d4c2d95b428d7f5e0cd7b276542ece2442854","datavalue":{"value":{"entity-type":"item","numeric-id":3838815,"id":"Q3838815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$50FE8448-C685-41CC-A8DC-B90B039642E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25111528f272916c4bfd9f74d533409578b49c1f","datavalue":{"value":{"entity-type":"item","numeric-id":877897,"id":"Q877897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$538B397A-F927-4DAE-AC18-77379A40DB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b796f95559a9d01da3e6055983e8b5ba858f0c","datavalue":{"value":{"entity-type":"item","numeric-id":1007841,"id":"Q1007841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$820C21B7-18A0-4289-9545-C83E7B93A137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7e46ba8040d28a412f47395a156e6b20ef48a4","datavalue":{"value":{"entity-type":"item","numeric-id":931085,"id":"Q931085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991900$D6985536-8D27-402B-83C4-CDD43F84618E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ec35a86448cc0cca7f6f2834f4d13fa70a31e30","datavalue":{"value":"10.1016/J.INS.2010.06.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991900$D6B944E0-7BBF-4748-83FC-D5C747C1AABE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1132362709d631dedda777384ec44f29c91cd6d6","datavalue":{"value":{"entity-type":"item","numeric-id":5956122,"id":"Q5956122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"010577cb666a010d0778c84e12f94f0e8e47b6c0","datavalue":{"value":{"amount":"+0.855422854423523","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":"Q991900$FE2F80A2-2FB3-416F-A399-2970FEB661FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2325724171c07c11b8ad1031aeb3709a3f8b8119","datavalue":{"value":{"entity-type":"item","numeric-id":2352485,"id":"Q2352485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"053cc4024b9f7ac7fe9352798bd951bde0d54e9c","datavalue":{"value":{"amount":"+0.8123613595962524","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":"Q991900$A191DD0D-C519-4016-A1B8-1223EDD4A079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a61a9e4c0c36b0184660b60ed2d7b23213da98","datavalue":{"value":{"entity-type":"item","numeric-id":4699343,"id":"Q4699343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6990f1e367f35eee8331fc78d553844fcfcba9","datavalue":{"value":{"amount":"+0.7898330688476562","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":"Q991900$BF76FFDD-D841-471D-A93F-1A212A78AC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba480213d6f38c0533147683a28309cc1ad0366","datavalue":{"value":{"entity-type":"item","numeric-id":877886,"id":"Q877886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e07a627977eec3441850aa6381ce4b58430230c","datavalue":{"value":{"amount":"+0.7697891592979431","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":"Q991900$84C4C10C-F4A6-462E-B5A1-4F2A7EBA8084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4170c4d5c1837b22a74ff9624bf56a3249eaf1cd","datavalue":{"value":{"entity-type":"item","numeric-id":4809045,"id":"Q4809045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6138378533d1221a9efca4c08ad539ceb5f257","datavalue":{"value":{"amount":"+0.7644147276878357","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":"Q991900$254822FB-0EA0-4BE0-9AAD-55F2C0590D56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus","badges":[]}}}}}