{"entities":{"Q1344875":{"pageid":1355614,"ns":120,"title":"Item:Q1344875","lastrevid":70203618,"modified":"2026-04-13T13:08:45Z","type":"item","id":"Q1344875","labels":{"en":{"language":"en","value":"Controlled integration of the cut rule into connection tableau calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724133"}},"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":"Q1344875$66F336C0-E42C-427A-AED5-681FF8F54A3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b5ffcdcc61f8501d2cc577820a7cf8ef24648bb","datavalue":{"value":{"text":"Controlled integration of the cut rule into connection tableau calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344875$7809E1BD-E433-4D49-8364-E612ACEC8AF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5be5ba1fbadd7979f64bf6fc9a5dbf167522847","datavalue":{"value":"0816.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344875$C4E44781-0D3E-4213-9CE4-D7221145FE67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba70ee7ccba57c7be3d8ae79b200627bb1bbaf0c","datavalue":{"value":"10.1007/BF00881947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344875$310BCE4D-8593-4216-BD1B-C8B0074BB733","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24d2f620d2974ebdd1015229debd06431f4c7398","datavalue":{"value":{"entity-type":"item","numeric-id":1294575,"id":"Q1294575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$06568D9F-31C7-459C-AB1F-9B21B50A075C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$2C08CE07-0FED-4712-8718-A5B0B942E2B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8682f10035297e22489d3e495aa858e74b275e9","datavalue":{"value":{"time":"+1995-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344875$24B8F997-03B7-4711-BAE5-4566895F12EC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"803044472ea51a84a67139bc856eacc3063d4a5a","datavalue":{"value":"As the authors point out, ``connection tableau calculi are significantly weaker concerning deductive power than resolution systems''. Nevertheless, they try to improve the performance of their systems by incorporating atomic cut and other techniques of the same power.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344875$8F60D80D-6065-45A7-AA24-C0D6EA831669","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344875$FC20141D-E79E-4CB1-AF5D-82748037BE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344875$C7D73B35-2FD9-446C-9096-EBDF8E19AEC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d21feefc768fccb0b4b835d4f44e02038b2c761b","datavalue":{"value":"724133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344875$355D8CCC-543C-493D-9521-19152860D468","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344875$ACBE5A78-ED8F-47D3-8904-188B62392290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3b6c6a09efca2ec963d1cf83243b9b61f7b62d6","datavalue":{"value":"connection tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344875$44611C89-917B-4340-9BA0-1B7A2331BF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604a3bb20470259b56d952b048fe691271dd4dbb","datavalue":{"value":"atomic cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344875$89C565A2-72CC-4A8C-8F8D-B4F269564FF1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$4E7D70AE-8A24-4522-B935-14481F1556B2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$1F7ED20F-FC93-46DA-A7C2-570D906E51D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$85784049-87BC-4EC9-9870-52D988685305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1ac18480cfc9c6929462301cac5fe5599af9444","datavalue":{"value":{"entity-type":"item","numeric-id":38058,"id":"Q38058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$B7171B71-AF7F-4A11-B996-1A31A0F12611","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":"Q1344875$8BFFC243-1844-457D-A248-6A41D3127584","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd06da9348f1d52e2cbff62e89d8a526dbbeb2","datavalue":{"value":{"entity-type":"item","numeric-id":770676,"id":"Q770676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$F7DFCCEE-18C2-498D-8280-1ADF2EFE7E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$1CF88493-E609-4B08-A063-BB6F36B3F10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82285947ecd1d65d80e17696025cdf5ddb799be6","datavalue":{"value":{"entity-type":"item","numeric-id":3922205,"id":"Q3922205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$184DFCED-A32E-4966-86B5-4CD8C62715EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36d33a59278c60fe82196b6f819585a2e45e374","datavalue":{"value":{"entity-type":"item","numeric-id":4012177,"id":"Q4012177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$8A9DFC6E-9255-46FD-B83E-DE530A3195C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f0b5c5d1ef7da893967c1b74defc4984f71dee","datavalue":{"value":{"entity-type":"item","numeric-id":1062761,"id":"Q1062761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$3096CBB3-FD3F-4CF7-AA8A-BF2824EDB714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbf5d4c6cedd5848e03816494729378cde53a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2551698,"id":"Q2551698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$55C438C0-A290-49A3-BDF6-42536E9158C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158bb2233935470152d2dc667c5dec4b7a43c81a","datavalue":{"value":{"entity-type":"item","numeric-id":1344875,"id":"Q1344875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$7D46856C-E720-4E66-8137-91B4EA44450F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bde1b1ec996aeb071ba3c817fedaeed25122f5","datavalue":{"value":{"entity-type":"item","numeric-id":1189726,"id":"Q1189726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$AF541997-488A-4CFD-B093-F6A4CBD7AEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$DAA5B9B4-79DD-4303-A8AC-8B89220A63DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f72fa731d5ef46f7c8727b7b59f2eaf22c3523","datavalue":{"value":{"entity-type":"item","numeric-id":5544307,"id":"Q5544307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$E882C2B4-67BE-4A92-AE64-96575E0BA881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8586c92c4d90a06cb521bef03111f958a597fe2e","datavalue":{"value":{"entity-type":"item","numeric-id":5574714,"id":"Q5574714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$286D708A-E70B-49ED-A3E6-64DB4D27BEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639ca075c3c5996188ecb0577ad81a4f9c56d3a2","datavalue":{"value":{"entity-type":"item","numeric-id":5655006,"id":"Q5655006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$351A30A7-B200-4D8B-8EE1-50DEFBDE017B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1513abe5fc6aab272be59e0f3443fd53747e7771","datavalue":{"value":{"entity-type":"item","numeric-id":4282522,"id":"Q4282522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$E816B0E1-8E9C-4AEC-93EC-8564C69E632E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e82257b416db4246a715182cdefecc0570e41d","datavalue":{"value":{"entity-type":"item","numeric-id":3279281,"id":"Q3279281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$D18685D9-67F5-4084-8EF0-A93738B31A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$E4123E0D-5E98-407E-A0C6-4C0F6DF277B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5bd4f24e8eb1a084ca4ac4963d45f487b7e5bb4","datavalue":{"value":{"entity-type":"item","numeric-id":1226867,"id":"Q1226867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$585D6281-D5C5-4916-A74B-281609042AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$654A5B82-1108-45C7-84AE-06EC0DE9D00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab938ba3d2bb1de7d34dc0f9166735f59a48b21","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$709A68C8-A10C-4380-B479-FDDFE8DBAD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$69C78BDF-3456-4A88-82B7-CE00E63ECD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75089528348e2ee7d07dc2ae126b0ed3005ed24","datavalue":{"value":{"entity-type":"item","numeric-id":4096460,"id":"Q4096460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344875$80EABDC2-9D33-4B97-9820-8708A18B6B49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c950ec49a2a15f326e20b96c3587bee7ddf002f7","datavalue":{"value":"https://doi.org/10.1007/bf00881947","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344875$5E7DCF94-93D5-446D-849A-A1BA26FF5F70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0cd0b21e7d44bc6f047044231d955d77f312730","datavalue":{"value":"W2025252200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344875$53ABD0EA-03E1-47E7-8987-F8B90172E7F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750d093e8fb33f817a0b544ea58b5a93ef7660d8","datavalue":{"value":{"entity-type":"item","numeric-id":4524785,"id":"Q4524785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"076a6aee668a3355416d746edd5fd62df92bfe61","datavalue":{"value":{"amount":"+0.784140944480896","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":"Q1344875$3747DCAB-2314-4EA4-8945-EFE51CD4A641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85dbfb76d7bf9837fe4b62e182989dbdab3af08c","datavalue":{"value":{"entity-type":"item","numeric-id":3604365,"id":"Q3604365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"076a6aee668a3355416d746edd5fd62df92bfe61","datavalue":{"value":{"amount":"+0.784140944480896","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":"Q1344875$FAFA165C-B6DC-46FC-BE33-F3E82B87FAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7a1e17eddf55b13c84ff2defa149d71a93296f0","datavalue":{"value":{"entity-type":"item","numeric-id":4530460,"id":"Q4530460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a6585e9c87e426e9277213e8a0306086c59a5e","datavalue":{"value":{"amount":"+0.7478671073913574","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":"Q1344875$DEBC98BD-1B43-4E1B-B627-549E9F01707E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c98cf375ab0ebf012d26ed7e66b1cbbd758d3a39","datavalue":{"value":{"entity-type":"item","numeric-id":4860661,"id":"Q4860661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52dd0741f33d0e469cf31d59ffd677fb4e17e8fb","datavalue":{"value":{"amount":"+0.7478669881820679","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":"Q1344875$7ED5CE64-FB73-48C7-8C81-2EFA923032D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0248a02bdcd65163fe9b559e3498d6bb3ebc853","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e195b43efb4f255360a9dc076a545e5c18a9d281","datavalue":{"value":{"amount":"+0.7443207502365112","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":"Q1344875$ECAADED9-AB41-498E-AF5B-F464617E3E28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Controlled integration of the cut rule into connection tableau calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Controlled_integration_of_the_cut_rule_into_connection_tableau_calculi"}}}}}