{"entities":{"Q5495914":{"pageid":7525474,"ns":120,"title":"Item:Q5495914","lastrevid":52059899,"modified":"2026-01-20T20:48:31Z","type":"item","id":"Q5495914","labels":{"en":{"language":"en","value":"A tableaux-based decision procedure for multi-parameter propositional schemata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6327253"}},"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":"Q5495914$6B2E6CA1-4538-4637-865E-F48A0F85A1C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"509edaa035e54b3c972f5645e87d347d681e2401","datavalue":{"value":{"text":"A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5495914$33D2E952-66A8-4BEF-ABD0-32F5DC8AB717","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a054077ea2e6880d9940329e419dc7123eece007","datavalue":{"value":"1304.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495914$828DC9FD-E7D9-480F-9D92-583B699B6089","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c06de6f917c97921e66375a6b719c31a5a5a223e","datavalue":{"value":"10.1007/978-3-319-08434-3_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495914$57322AE6-D956-4748-A524-C3BACB6D7928","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfbc6aedeac132fa8fdf22a422318272d7dd6c21","datavalue":{"value":{"entity-type":"item","numeric-id":1694472,"id":"Q1694472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$32F8A582-C7DA-400D-A75E-84EA2C8A3C7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$5F3AF6B2-9FE0-490A-9495-A8629D306227","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c94d745affbb1f035e3911adf053858df897bb7","datavalue":{"value":{"time":"+2014-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5495914$F415DCE2-BFBC-42D4-98B7-1DB10AB14F19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495914$80D20607-2436-489F-865B-78D703D329D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495914$DDF57E01-DCA0-49A9-93C7-FA9A42A0074C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495914$9D5E1EF4-D0CB-449F-8034-883F17754393","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"088bce5c2f5c207179ce2d08be60f6e5c695f87a","datavalue":{"value":"6327253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495914$09DF4F33-9B1A-4F92-BF01-8990E1244DDE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45702294177a39ee1ff9766c01d5d14dfb7896ef","datavalue":{"value":{"entity-type":"item","numeric-id":21425,"id":"Q21425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$0695F086-1226-41D9-A48D-4757006B415E","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":"Q5495914$D4BF7A8D-E995-4BC5-9B63-86E37AE79FCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"860210bb41851acb6a44b3ea5fd3d5ffad43f94d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08434-3_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5495914$77D33D3C-1728-4C2E-9A8C-95696678AE01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96a0cca30b85190c8c828f65ae599b70371eaee0","datavalue":{"value":"W71573974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495914$303BFB70-1BAE-4BDB-8FF7-C7636A7F4582","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd97d5574734beacbd221099c7f1c09ad5f19f6","datavalue":{"value":{"entity-type":"item","numeric-id":3648719,"id":"Q3648719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$18D011FD-B407-49FA-9A0B-C23C2E300CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b26c6ab69d79279e5741dc9e752266a4bad9b0","datavalue":{"value":{"entity-type":"item","numeric-id":5747768,"id":"Q5747768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$D124BF28-189E-43A7-8603-36FF11ED8140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b361894c6b71fde79250011881cbf350423ee13","datavalue":{"value":{"entity-type":"item","numeric-id":2996912,"id":"Q2996912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$7E367FFE-FE07-4826-8A8D-8326D78E3549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a2286087ed648c5b3380fbb744119aa2e171fb","datavalue":{"value":{"entity-type":"item","numeric-id":2843818,"id":"Q2843818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$26F615C0-B302-42C4-9766-675647DD190E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8dedf2985a24cb74082b240b0f5431b9c50e409","datavalue":{"value":{"entity-type":"item","numeric-id":1960415,"id":"Q1960415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$45BA2CB7-C664-42B2-BAEA-CC4E7DD7D94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93bcd041174ccd48e10bcb2ce475e4ab10d2f70d","datavalue":{"value":{"entity-type":"item","numeric-id":944367,"id":"Q944367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$BF0989F3-6C96-4E74-8F2A-23E20F72AB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cccbb1cd2371d9caafced4fbb9f78bebaacedb0c","datavalue":{"value":{"entity-type":"item","numeric-id":4525273,"id":"Q4525273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$F0178DEB-2FD1-41EC-85A7-CC73DEAED260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$339BDF47-41C3-4AD3-B10A-0796AD007057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe32806edf287e44f6855c200795e18b751477f","datavalue":{"value":{"entity-type":"item","numeric-id":2751366,"id":"Q2751366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$9422E0B1-AA1C-4E37-9035-C983F7EF8756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$8F56B734-B5C6-4A2B-97D1-A96462430A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"313b7d256ef8a9ac765c30eaa502f107cb97a35f","datavalue":{"value":{"entity-type":"item","numeric-id":3430938,"id":"Q3430938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$E473B74E-DDB7-4067-8A80-9E77F9A38FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1007ee4a90d0c7dc0ce8fcb2fb5972cca3c7106","datavalue":{"value":{"entity-type":"item","numeric-id":4539635,"id":"Q4539635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$C6A0A7AA-968A-4DB7-85B2-BF735BA1413C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48dc9aba5a213d724bb5752d2be9c052f3c59742","datavalue":{"value":{"entity-type":"item","numeric-id":2723430,"id":"Q2723430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$72185AF6-047B-418E-A129-8BAA10CDE5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b880d3c8511f1d53c27d1537b521daf74193b4","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$BBB6437A-67FB-46B7-8167-0074F11295E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e98c3c66c1617e8a9b49904171e2cc64d3d184","datavalue":{"value":{"entity-type":"item","numeric-id":2276941,"id":"Q2276941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$56B2C3E0-A202-4296-9C59-8E37F1BE5567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f70c7f0070211df81086d4c25b73a9ca61d45c1","datavalue":{"value":{"entity-type":"item","numeric-id":5686023,"id":"Q5686023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495914$CD6C0E5A-224C-45FB-B2E8-DAFF2857C116","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ca811bd079d4bfe6c8aae75f90cf6eba538d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3564849,"id":"Q3564849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff4f79708ac4429523647c8265a0214f19c61bb","datavalue":{"value":{"amount":"+0.8248124122619629","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":"Q5495914$32ABE045-AF74-4442-89D9-257E853C7271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c6a7e04cb372ed23e9c84a4356966153fb1d53","datavalue":{"value":{"entity-type":"item","numeric-id":2996912,"id":"Q2996912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b95bf94732b8d8396fbbea2c76a3ac828359cad","datavalue":{"value":{"amount":"+0.817572832107544","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":"Q5495914$03AAEC0F-9653-4882-AE12-F77C89301C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eced778ca8a133c24e6193a3a92105e82ee2858b","datavalue":{"value":{"entity-type":"item","numeric-id":3648719,"id":"Q3648719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0903dbb12f0a90a4cf0eac9b22d4df267be24d7","datavalue":{"value":{"amount":"+0.8002122640609741","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":"Q5495914$E671849B-42AB-4BE6-A660-A58756B1BC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b05c6d81bdfa4108f2311ecefc05af5d436eb1f6","datavalue":{"value":{"entity-type":"item","numeric-id":2799178,"id":"Q2799178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"067f499e9c638b30cc7899572b5d66da6471f0f5","datavalue":{"value":{"amount":"+0.7978690266609192","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":"Q5495914$FD7955BE-1456-4535-80F5-920D2E842CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be22579210ecce9ecb2a66244468fd32f76c98","datavalue":{"value":{"entity-type":"item","numeric-id":2843818,"id":"Q2843818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b16608ba6edeb00fbda8b3fe130a3b7dcbc9e4","datavalue":{"value":{"amount":"+0.7937067151069641","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":"Q5495914$7F33E6FB-8713-4557-B335-18F702351CCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5495914","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5495914"}}}}}