{"entities":{"Q4645239":{"pageid":6674820,"ns":120,"title":"Item:Q4645239","lastrevid":53315732,"modified":"2026-01-24T17:25:40Z","type":"item","id":"Q4645239","labels":{"en":{"language":"en","value":"Efficient loop-check for backward proof search in some non-classical propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999522"}},"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":"Q4645239$E1A7E4CD-7AC5-46AC-BE87-B9856B1C8E21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7d7d90d6bad2d9f748cd8cd6ee7ecf3cae829d6","datavalue":{"value":{"text":"Efficient loop-check for backward proof search in some non-classical propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645239$1BBFC76D-9CD3-4A0B-BFD8-95A190221F6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0845059a61983273b86d918232a9263604120e2","datavalue":{"value":"1415.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645239$BB896A91-D43B-4B17-8DA1-5E57DC25F7A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a5b6c2d2ce6691ddfa5f931981a70b4d95d7856","datavalue":{"value":"10.1007/3-540-61208-4_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645239$885E690D-D3FD-4139-8E62-F25B686FDF28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74eb0eb5682edf2a7906d14ae0153599f4ab7c53","datavalue":{"value":{"entity-type":"item","numeric-id":1977573,"id":"Q1977573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645239$03EBC4D9-D7A7-4CA9-A0D2-1BC9A312615F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3061c40a44636438ea441503d2be684a634de11","datavalue":{"value":{"entity-type":"item","numeric-id":4645237,"id":"Q4645237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645239$BF1A9BE3-7003-4830-A9D9-FC77CE013D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b797c81c25688f467f637a38b10e6ce45abc3298","datavalue":{"value":{"entity-type":"item","numeric-id":4645238,"id":"Q4645238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645239$B8A6C363-8814-4AA9-BDA0-EEC7C81F4BF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"260f361c96cfc64e7204fcdf9876515bb18cb191","datavalue":{"value":{"entity-type":"item","numeric-id":4645221,"id":"Q4645221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645239$DFD37508-9EAB-4AB5-B987-F64A43C5B4BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-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":"Q4645239$F4611DEA-5992-494C-B783-7B2C8C23AECE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645239$CEECED5E-021A-4B58-BD93-D7A23869943F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645239$7C7DD398-E4BB-4B16-8B73-038E234B2A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645239$6E5DBD19-9C11-41AC-9FF2-F90B2EA9F3F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9536683a4a9176a3933ce761bc1982e229912144","datavalue":{"value":"6999522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645239$5E3F1E45-AA0E-4563-BEF0-E4A3398C6082","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4550141857cda02debcae51ca48c24ef5b835fec","datavalue":{"value":{"entity-type":"item","numeric-id":14468,"id":"Q14468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645239$AFD3C6C3-53F4-4263-9C7B-3033956C8754","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":"Q4645239$F9A21F1E-930B-4A64-AC2F-1ED6C49CAB1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef468a698b08907cbb9524e64452e5e8059a33bd","datavalue":{"value":"https://doi.org/10.1007/3-540-61208-4_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645239$580BE73A-ECCD-4663-A443-0DA20029FC64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b8f941154184935bad16625e5923b6c19a416f7","datavalue":{"value":"W1497109150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645239$DF27959D-6BB7-45EE-8369-1331891C9F04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645239$92BACEB5-41F1-41B8-A64B-9494E8DEDAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645239$18BCFD97-656B-4224-9B41-FF348E77D29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645239$515D4E00-2062-4DCF-B247-B63DE7FA0B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cefc2c4cac88922029eed47a5184eb07b6e371","datavalue":{"value":{"entity-type":"item","numeric-id":4281686,"id":"Q4281686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645239$4678AC3A-81DF-485E-A20A-F67D9AE2E414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6fe9c7bc1afe6e3b7b77fad40b2f8f849bb4920","datavalue":{"value":{"entity-type":"item","numeric-id":4365323,"id":"Q4365323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645239$E4C479FD-03E9-4537-BD6C-EC61935AE2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b83592ffe861aca3198948b3c2b96ca5082aefc","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645239$90AFB9D4-8ACA-4B69-8BEB-5CCFD6F5EEC6","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":"Q4645239$E0125834-102B-45A2-BD94-DDD502796468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645239$D85AB0E7-44FD-4C6F-AABF-44BD50D0429D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4e10b4f29a81fca6ef84c43e9249a3d4fba6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5636857,"id":"Q5636857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645239$85D0A2C2-075A-4948-AE4D-BBF3EA6CB083","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f03c4a54d1a3a4877e330561fa036a593e9092","datavalue":{"value":{"entity-type":"item","numeric-id":2809679,"id":"Q2809679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba97b7911ff8e8fd4df0a40c82559cbad5309fdd","datavalue":{"value":{"amount":"+0.8332052230834961","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":"Q4645239$255E1248-0787-417D-9E46-73832C4123A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d5e8a05eb40e36f5b96d6c31a0839de77a20d3","datavalue":{"value":{"entity-type":"item","numeric-id":3406694,"id":"Q3406694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb3f888289b482967b3e74b2deba081b3f5b6d6","datavalue":{"value":{"amount":"+0.8245342373847961","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":"Q4645239$3DF3D859-FAAC-4F3C-B829-7ECE2B8FEE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"632b7ffd94df20e865bb8de69beafde344ef356f","datavalue":{"value":{"entity-type":"item","numeric-id":5488611,"id":"Q5488611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3edbcb9cfb9a48639a4bec319933831f66d6cd","datavalue":{"value":{"amount":"+0.8006603717803955","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":"Q4645239$E1FCE411-EBBB-43E3-978B-5C81F19DA467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"938c4acdca2ae208a9d05a602efd370ac4b50151","datavalue":{"value":{"entity-type":"item","numeric-id":926638,"id":"Q926638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b9484345434504a562bf0a9629ae2014c666c6","datavalue":{"value":{"amount":"+0.7886366844177246","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":"Q4645239$F58CA453-8AC8-4A26-BE46-C6E533B83C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb2447f9bc9046dc91c4d302dcb89150b41f667","datavalue":{"value":{"entity-type":"item","numeric-id":392998,"id":"Q392998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85cb3ad5ae9df7a88b1cbfee897715553bee4661","datavalue":{"value":{"amount":"+0.7691261172294617","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":"Q4645239$6B6E873F-5342-4B26-B9F0-D1F1990C3B50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645239"}}}}}