{"entities":{"Q3611996":{"pageid":5641902,"ns":120,"title":"Item:Q3611996","lastrevid":49682656,"modified":"2026-01-09T00:53:02Z","type":"item","id":"Q3611996","labels":{"en":{"language":"en","value":"Formalised Inductive Reasoning in the Logic of Bunched Implications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522577"}},"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":"Q3611996$86E01AED-D809-4D77-B52A-22C142C9F782","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6629a11af8c76d92e4be34df7f032636039a9c40","datavalue":{"value":{"text":"Formalised Inductive Reasoning in the Logic of Bunched Implications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3611996$62942669-70AC-474B-9D02-EE3E9CEF275A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af7d3920550d31a43ec89e7f758702bae1591bb1","datavalue":{"value":"1211.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611996$8AE17755-E4AF-454E-8618-6A4B98FE39B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b5e3d5c47f4459707ffb3b757e110e6222fa0fa","datavalue":{"value":"10.1007/978-3-540-74061-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611996$36B59BAF-EF03-484A-B521-5660A1E2E808","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b218d394a4f78b8be43b552938ed5e21a7cf904e","datavalue":{"value":{"entity-type":"item","numeric-id":1401935,"id":"Q1401935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611996$7E6660F0-DB66-4B3F-9DF1-E010E2D32A59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611996$BCFDAEF5-1E36-4347-8323-C4E22D0D4B47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5b863e9c4f72af24ca9701a767310d5b89836d","datavalue":{"value":{"time":"+2009-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3611996$0E57ADF3-3E15-4A9B-8E98-9A162C4E1519","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611996$CCCC5CD5-39CF-41AA-A99C-DDF4495E4D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611996$6EFA2DFE-E1BC-4B51-A73F-471D1B182A6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"626eae7c2c47f71b7f1944a1001562090ae438c8","datavalue":{"value":"5522577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611996$0777C1A8-7543-43AB-B898-829776201897","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":"Q3611996$F4D573A6-E98D-4BC8-B975-8FE47DA45FE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5b7f08c794a352c4ed14dfedf0cd46ef3cabad3","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74061-2_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3611996$BB328269-2382-4668-8C26-0797D8DAAB08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cfed48f7667e033c7b46a31edc905933ed13c13","datavalue":{"value":"W2123056643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611996$76837D49-B52F-4FC5-BE05-1901DDF204A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6bde130b4267059170040a3e4c0797abe92f105","datavalue":{"value":{"entity-type":"item","numeric-id":5705943,"id":"Q5705943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10961a76a50e910da15eda5a52b87f2ea7868c3d","datavalue":{"value":{"amount":"+0.90993416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611996$B957C24C-8EB8-4F46-88AA-F903BAF8FEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81c44e8f5ef4eb81f981097c85bee53ac59ecf5","datavalue":{"value":{"entity-type":"item","numeric-id":2233409,"id":"Q2233409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ceac21435d30ccfc89418a3ac57e3c6e21e1fe5","datavalue":{"value":{"amount":"+0.89655167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611996$96C7619D-157D-4DA3-8B79-B9D39CEBDD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640bbfa8d40d7185798bc51cbd2b4f132768e29f","datavalue":{"value":{"entity-type":"item","numeric-id":4018076,"id":"Q4018076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758191c7c7e59bad0dbbee86a903b137d1d9cd59","datavalue":{"value":{"amount":"+0.8904129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611996$EE656345-85CB-4981-ABD8-45E18E69A3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea050f91b1a9fade4996b8e80481ecdc6ceb01c","datavalue":{"value":{"entity-type":"item","numeric-id":4501600,"id":"Q4501600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a46035090aa2edbb171e80f92d03f8e706e70a6f","datavalue":{"value":{"amount":"+0.8898929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611996$9C37A162-67BB-4AE0-BC3C-87A9B077E6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3104b99ba7770e15d1b67d8857d3d27ea472dac3","datavalue":{"value":{"entity-type":"item","numeric-id":3411849,"id":"Q3411849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34f7b01af97363879c73da7071efaef71df19bf2","datavalue":{"value":{"amount":"+0.88810354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611996$58EB7E95-8D2B-4AA5-92D4-1389B3D0B75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a60b3cf2c0b21f2a564b6ce714c4c7e7fd1ba8d","datavalue":{"value":{"entity-type":"item","numeric-id":4223033,"id":"Q4223033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd8d23c6d823e713afc08e9f3adee55d277ec91","datavalue":{"value":{"amount":"+0.88636756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611996$5D077482-8FE3-453F-8C97-5EE2016627F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5d5d98ee169ed7d7795af70d7b95c56e3fbf371","datavalue":{"value":{"entity-type":"item","numeric-id":3556993,"id":"Q3556993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916f9ceafa0aec8147592cf8acd9a2350d4f6c52","datavalue":{"value":{"amount":"+0.8805715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611996$66C7282D-6D64-4D82-A43D-946F11B2F27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4169468c844d3f2b13f7b59d13073e24cd9071","datavalue":{"value":{"entity-type":"item","numeric-id":5541280,"id":"Q5541280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb281ec3e573133d4934dde19b1d3bbe7ff0b91","datavalue":{"value":{"amount":"+0.87910616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611996$5538477B-A483-4319-BF17-1DB2D8C87959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce249dfb9b9d14a8e57d916df2b0ac563ee3691","datavalue":{"value":{"entity-type":"item","numeric-id":6115849,"id":"Q6115849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd7393884215205f1d05c485cc7eb3a7ada53ef7","datavalue":{"value":{"amount":"+0.87804204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611996$19721388-DF42-49AE-8C9D-9DBFFC36DC9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3611996","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3611996"}}}}}