{"entities":{"Q877883":{"pageid":879731,"ns":120,"title":"Item:Q877883","lastrevid":65063112,"modified":"2026-04-12T00:04:06Z","type":"item","id":"Q877883","labels":{"en":{"language":"en","value":"A sound framework for \\(\\delta\\)-rule variants in free-variable semantic tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5149279"}},"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":"Q877883$A137A31F-C1AD-4494-868D-04DB921C8E8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"896f4e3576761e12f735833f6a6b61d858b34186","datavalue":{"value":{"text":"A sound framework for \\(\\delta\\)-rule variants in free-variable semantic tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877883$0DF22E63-6594-4493-9642-F7D932D7B8DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"329c443180dc36bb80581eccc3e540f147186c65","datavalue":{"value":"1121.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877883$3FA90C18-7007-48F6-8E93-79A57DA74B4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9cd3dd7f2fdc487d61a2d3b36f6537d88acf6b","datavalue":{"value":{"entity-type":"item","numeric-id":737086,"id":"Q737086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$D871E827-C653-4B19-BB59-38F93A969B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$53A08283-FF9D-4E9A-8F9B-83B0D44B813F","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":"Q877883$5B051D10-3497-4852-92C5-150231078DDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ceacc095bcddce0ac9017ef9315962415a2b424","datavalue":{"value":{"time":"+2007-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q877883$C9AD5628-CD35-43B7-86A7-FDB22C8798CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877883$6D0FA6EF-2B2B-426C-9DD3-BDED1B4FC44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877883$82D96A79-4CA5-4DF0-A04F-511C0778A3A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a8dfb0b9bcdd4b26eca3eb2213db20e7f68a157","datavalue":{"value":"5149279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877883$132B808A-D9D6-4C17-ACE1-078E31661D13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b34e81c9be74c25aae2603a8dfa343c349c2721","datavalue":{"value":"Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q877883$46341F86-F692-4A78-8682-96891306DDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfad663185801b8effca77a9036341f2e06de115","datavalue":{"value":"delta-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q877883$EDD8DB0E-D8D3-478B-8F5D-BEE9EB5C39FA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07512de42c884f78ab883662ab63bc5fb01a2efb","datavalue":{"value":{"entity-type":"item","numeric-id":14198,"id":"Q14198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$2AB1CFA1-347E-4981-93A5-B1651C85C528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4fcbbc12ff0cc07e406341b97e062f2fb672fc0","datavalue":{"value":{"entity-type":"item","numeric-id":23614,"id":"Q23614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$A8AD02A5-74E1-421F-980F-43CA27DD8830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f61efa81335ac63fc0fde670de2003e21bad4035","datavalue":{"value":{"entity-type":"item","numeric-id":23930,"id":"Q23930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$76BE4203-E7B1-4574-AD2C-B69DA1F2B73A","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":"Q877883$363E8F75-D48E-4FC3-BA02-BBF424D62303","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"550d914d076717a11af7027fa883b980d6b30b77","datavalue":{"value":"https://doi.org/10.1007/s10817-006-9045-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q877883$C1B6378C-2287-49A1-AB7C-B95A728C0320","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0382eb022d456f07eaff1a1dd61bb79f2f5deb46","datavalue":{"value":"W1985365096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877883$08921F79-0013-47A7-AB48-86B2FE01913F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"efba3487c15800f36ba9934c0e12cbed912934b3","datavalue":{"value":{"entity-type":"item","numeric-id":4524769,"id":"Q4524769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$76914EA4-A55E-4BF3-9D90-8648468E139A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29abb5a7232f6e8dd451e3b515a2566e5399de3c","datavalue":{"value":{"entity-type":"item","numeric-id":4282596,"id":"Q4282596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$9755341A-8685-421D-B745-C6FECE395957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826f8b1ebe4804e6f617902c1da2435f679ac172","datavalue":{"value":{"entity-type":"item","numeric-id":4503905,"id":"Q4503905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$29ED7EEE-828A-4124-AAB3-71F99CE7B06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce363722629ecbd5282ea12b6771e9f7288784c4","datavalue":{"value":{"entity-type":"item","numeric-id":877883,"id":"Q877883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$85525533-178B-4810-A6E2-C8D5769B3969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227b13d35ba773de53aa48fd43f89cd902aabed1","datavalue":{"value":{"entity-type":"item","numeric-id":3985544,"id":"Q3985544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$71D80D8A-A3EB-47DB-B3D5-15E390B48795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$53364C42-4041-4C90-910C-F2E1177B1385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$7907AD8A-CB5C-406F-8822-90707B82F092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7cc387911c9d4d204bd146fd7682ee9128ff45","datavalue":{"value":{"entity-type":"item","numeric-id":4263014,"id":"Q4263014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$2A431DE8-2F4F-41BB-BD06-4CB5C9C841CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e9e44d7ffa3e35b73497e32253991279784e6a","datavalue":{"value":{"entity-type":"item","numeric-id":2751354,"id":"Q2751354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$E4291055-3B4A-4560-990B-A16BD198DA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8918b138e0301b7fb7013f51e3914c9e9e6a4da4","datavalue":{"value":{"entity-type":"item","numeric-id":1344882,"id":"Q1344882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$548EC3A9-B59F-41DB-ACDC-6096856402C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f51ee284f00df4ab26e4aab4c52fbc2a272b198","datavalue":{"value":{"entity-type":"item","numeric-id":2753598,"id":"Q2753598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$862768DF-C9F4-4110-8F12-33362455EA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd41301b78a03236dc27ccdfce83b246065d0cdc","datavalue":{"value":{"entity-type":"item","numeric-id":2751380,"id":"Q2751380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$0F8E7302-B960-4922-A626-0CD723216E14","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":"Q877883$4B97A0AA-2D46-4398-AFE5-E9186D9E5F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d649fae3ad2dd2e2d122998903e857417226ef6f","datavalue":{"value":{"entity-type":"item","numeric-id":4412865,"id":"Q4412865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877883$D51067BB-ACBE-4FF3-8F41-6D048B2A48E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37738c9902de55b73d71412e92e0a97abc549c26","datavalue":{"value":"10.1007/S10817-006-9045-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877883$BB1372D4-C323-4CBB-A951-4162AF097D03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a74742a5a75030bfb4ecd5da6258ee822ad4ee2","datavalue":{"value":{"entity-type":"item","numeric-id":4503905,"id":"Q4503905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9737cf000f1bc29d77635a13e9fd53769d26e67f","datavalue":{"value":{"amount":"+0.842700183391571","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":"Q877883$AA00159E-EBCB-4782-9EAB-7F377DEBA636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902c0f511ba38c95031a11227738f5877fb48b54","datavalue":{"value":{"entity-type":"item","numeric-id":1344882,"id":"Q1344882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b85c7ac15da4125186f23451d063cf56765f9ca","datavalue":{"value":{"amount":"+0.8318620920181274","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":"Q877883$591E1EAE-C474-43B2-9AA3-8DDE54050027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9928f918677b9e7992dd1a4fc0e7da744250dc5","datavalue":{"value":{"entity-type":"item","numeric-id":4282596,"id":"Q4282596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50561ca4ce29e82fccc2f0d56d2b51b8af68754c","datavalue":{"value":{"amount":"+0.8049635887145996","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":"Q877883$AFDE9404-C67B-48E0-B618-9179D35914A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9be9b602b7b43db3aa2ad19f1998653007b18c7c","datavalue":{"value":{"entity-type":"item","numeric-id":5927986,"id":"Q5927986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50561ca4ce29e82fccc2f0d56d2b51b8af68754c","datavalue":{"value":{"amount":"+0.8049635887145996","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":"Q877883$27195AFD-7448-4C71-932A-D7997E570B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84776a8fd6924f38916337bba931c20d740a647c","datavalue":{"value":{"entity-type":"item","numeric-id":5187860,"id":"Q5187860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41c3bcc4f2c8eecbe48559cf0e90de4e46703b52","datavalue":{"value":{"amount":"+0.7300765514373779","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":"Q877883$B8F41D1A-D761-4A38-87B5-B33AAE6B817F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A sound framework for \\(\\delta\\)-rule variants in free-variable semantic tableaux","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_sound_framework_for_%5C(%5Cdelta%5C)-rule_variants_in_free-variable_semantic_tableaux"}}}}}