{"entities":{"Q2375364":{"pageid":2386107,"ns":120,"title":"Item:Q2375364","lastrevid":73761483,"modified":"2026-04-14T17:10:46Z","type":"item","id":"Q2375364","labels":{"en":{"language":"en","value":"Inconsistency-tolerant bunched implications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6175674"}},"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":"Q2375364$504A3C27-C7FD-4FF6-87C7-1A31503A0373","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9c6c7ab2f0da7000ed77f4a28aa497dd14b022c","datavalue":{"value":{"text":"Inconsistency-tolerant bunched implications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2375364$5F9A5926-67D8-4B8F-9996-6F5BACC4CE10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68a23e037b72dac041f435dd8ec892790a060c0c","datavalue":{"value":"1272.03118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375364$D39A86E4-7EFD-4D3F-A908-696C69435215","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375364$CB65C7AE-6B43-488F-BE01-F7B8E4164174","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2375364$ED98784D-B69F-4EDC-9FFF-2E6788F4AD7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"941e851e9877657670322e09601dde648b64f50c","datavalue":{"value":{"time":"+2013-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2375364$4BD882BA-2C8F-4952-BC0C-0628E3E0BE87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375364$E93B5F03-9D65-48E9-9C99-CD74CFCF054A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a15b7fe4f265f18773dce91ccb9fe3b8c8ac08b8","datavalue":{"value":"6175674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375364$29576485-5460-4A0C-932B-343CC20ACF65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a836674277833dc91f7f9323e6378dfce138278d","datavalue":{"value":"bunched implications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375364$18F4DCD3-F727-4A7F-8C51-4DDCDB89A3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b12a1c4321358a6fb81457f611de1a5363f0b379","datavalue":{"value":"inconsistency-tolerant reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375364$963778D7-A61E-410B-918D-34393D04F9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375364$658EB4CF-2905-4239-8D99-261725DE2157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261384d5dd7fed1d3182a69012952bac452c0bcb","datavalue":{"value":"resource-sensitive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375364$3A166819-BD85-485B-BAB7-59AC22ADA7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375364$FE00F094-7420-47F7-BA82-9EB85B0D8664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2375364$3B8E3344-4EC7-4614-B33E-F08815E0B498","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":"Q2375364$4AFA7FF7-5758-4CBD-BB42-B874BF45BA16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"412905e97237b983fb4ffeaeddbf4f5bc8a721e7","datavalue":{"value":"https://doi.org/10.1016/j.ijar.2012.11.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2375364$05412EDC-6113-428A-BE6C-A41167598C2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"871b21d628eafbf453980c2381959dfc03229514","datavalue":{"value":"W1975801238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375364$7C3FFF2C-A9CA-4AA3-9D85-01D7F51403B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9e0fd64b5997ba40be7c6159af500c14f9dbf92","datavalue":{"value":"10.1016/J.IJAR.2012.11.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2375364$989BF40E-4C2E-4AF6-902F-C0D95E69C340","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9191438fbe335ab4d88b3c293252f2437dd657a","datavalue":{"value":{"entity-type":"item","numeric-id":266883,"id":"Q266883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5237bddadb883ee8459150343b8a6ea4063f2222","datavalue":{"value":{"amount":"+0.7621030807495117","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":"Q2375364$0872FF7B-DD27-4D86-BFAB-3DD1DB0F0CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa989996ced01fe27d84d37ed342ebc72ac4f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1826634,"id":"Q1826634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7da5defe2f476cc108a3b81962ccfa70709afcb4","datavalue":{"value":{"amount":"+0.754906415939331","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":"Q2375364$5CDEF11B-BB80-475B-968B-74BC013066B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0e5151a0400266d29fce9a3f120125a9f649ff9","datavalue":{"value":{"entity-type":"item","numeric-id":4411823,"id":"Q4411823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9484e232261b89ff4fc6c2c2dee1e79ca3219971","datavalue":{"value":{"amount":"+0.751780092716217","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":"Q2375364$53D9BD52-0CEF-433B-9560-DBA77A8686F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a621be19ccac2300d0e15d91c4480eefcb2127","datavalue":{"value":{"entity-type":"item","numeric-id":3371525,"id":"Q3371525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"defe4feb5f80237c65ea7315abcc0a968adc9787","datavalue":{"value":{"amount":"+0.7506182193756104","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":"Q2375364$BDA420D4-52C0-4FC3-A202-1CD4D10C6464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad2f97480a250a4f35c90d792203333973cefb2","datavalue":{"value":{"entity-type":"item","numeric-id":2487871,"id":"Q2487871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9dc2320dbe1815cac8756b5b00a2cc3ec3d0564","datavalue":{"value":{"amount":"+0.7490319013595581","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":"Q2375364$A0CA3D03-A8D0-4283-9211-8DE6C1E541B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inconsistency-tolerant bunched implications","badges":[]}}}}}