{"entities":{"Q5878367":{"pageid":7907918,"ns":120,"title":"Item:Q5878367","lastrevid":55436149,"modified":"2026-02-17T16:20:19Z","type":"item","id":"Q5878367","labels":{"en":{"language":"en","value":"Proof systems for the logics of bringing-it-about"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7655703"}},"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":"Q5878367$11C0A240-E7CB-4148-9CDB-3CADBB78DE64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e9451f7b44840db9e74e6b49fa74aa9ac1ec93c","datavalue":{"value":{"entity-type":"item","numeric-id":829824,"id":"Q829824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878367$A999E59E-764D-4AB2-9B29-90E626ADB65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8585acf488394d94859dd8a321d9964f21e34279","datavalue":{"value":{"entity-type":"item","numeric-id":829825,"id":"Q829825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878367$C106CA66-212D-43FF-9F07-8D60A2D25890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5878367$F3DF8B69-149D-4664-9AD5-54BC8E692F8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d04dd3e40725c0d6a55744dfb3e1d2c883d5cb4","datavalue":{"value":{"time":"+2023-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5878367$56D6FA60-28A8-471E-B3DE-7D131970AC5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878367$ABB877DE-45CD-4BB5-8CAE-22629E807FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878367$0761774F-570D-4367-8512-D395759AD637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878367$C31CAD41-AF8B-4F5B-A9CE-DDF949DCBC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878367$0F4594F6-9D89-4B6F-8A8F-E3B3A8FE9906","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42785126353cb147be97b3ebaeebd248bdd7a678","datavalue":{"value":"7655703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5878367$886E7603-B750-4A25-8832-B8CB42ECF2EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67213096a0e76684f372af72b4d27a9387d45e7","datavalue":{"value":"logic of agency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878367$7068C676-2870-4C31-822E-04511A03A755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e17d1df4465f312e93371e7702cdcc39359787","datavalue":{"value":"logic of ability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878367$E9B1B35B-0135-4B81-94C3-5732AD3633EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a443cbc82c2a0ccf5c92eec579db7975f57921d9","datavalue":{"value":"coalition logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878367$3D96D46E-E7E1-4780-A5D3-AD0B27C15871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878367$3144BC75-497D-4335-B70A-A251D56C8B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e4bbcd6bef593234d1d2499be88baecf1e6beaf","datavalue":{"value":"countermodel extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878367$87752D38-FEFD-4D17-8A9A-47A839853349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5878367$6CEBDDAD-3661-4C35-9AE1-FE853A9BC067","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":"Q5878367$20F187A2-818C-4391-A3A4-DA47100CBB88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"134e0ecb022fa57ca856d12ac7dfe724930b7715","datavalue":{"value":{"entity-type":"item","numeric-id":910393,"id":"Q910393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a2f7679adb32423d40f7bb8d7349da9b72ab65d","datavalue":{"value":{"amount":"+0.7515219449996948","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":"Q5878367$DB5B3770-250A-4037-9C04-883CE43CBF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e07d08d129a05877156ef3da36acf5a199274e9","datavalue":{"value":{"entity-type":"item","numeric-id":815019,"id":"Q815019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"158abbb1e5e0a78b01a4d3fb72962bf882331485","datavalue":{"value":{"amount":"+0.7488070130348206","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":"Q5878367$FC33A848-23B7-4B44-838A-306BB2CBA8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01f29c559410a6a81d517fa8ecc862e15085620b","datavalue":{"value":{"entity-type":"item","numeric-id":2046875,"id":"Q2046875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc301e5d5a071732f5a059c20da2d386ffcc1a5b","datavalue":{"value":{"amount":"+0.748570442199707","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":"Q5878367$5F2F392A-2CB5-4F63-9A9E-4B04765AA77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff5f545b021722f345d00b1d86885deb8d7a46ef","datavalue":{"value":{"entity-type":"item","numeric-id":4942680,"id":"Q4942680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9cc3e1462b122efe6d0d31e6178f8d3445663d","datavalue":{"value":{"amount":"+0.7388603687286377","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":"Q5878367$1D350A90-CFC5-4BA8-918D-5ECB0CCFB793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0920bb18aabecd017a34e78e7056417e0b6fdcb3","datavalue":{"value":{"entity-type":"item","numeric-id":2268355,"id":"Q2268355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb73f9467d4b9d20c668c9b391d903217a5ff621","datavalue":{"value":{"amount":"+0.7387697696685791","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":"Q5878367$EEF3D8DE-D1D0-4872-AE8B-29AD4AAE7CC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5878367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5878367"}}}}}