{"entities":{"Q4561681":{"pageid":6591271,"ns":120,"title":"Item:Q4561681","lastrevid":81967259,"modified":"2026-05-06T19:46:50Z","type":"item","id":"Q4561681","labels":{"en":{"language":"en","value":"Logics for Computer Science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6992876"}},"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":"Q4561681$24324400-4276-40A2-B2F7-25FBF94AF437","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b46f0079582556637be0d515653d08534ec5295","datavalue":{"value":{"text":"Logics for Computer Science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4561681$691A0B2A-FB44-4946-AC17-916C9F2E981F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab58e1e25e77d84781712cc8473141a3a952d24b","datavalue":{"value":"1436.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561681$92AB809A-2BAE-413A-AD1B-C0AB3EAA220A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab225899e2f5ae2d4ea6d269cdbb857f34bf628b","datavalue":{"value":"10.1007/978-3-319-92591-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561681$6161F72F-59E4-4A3B-B925-0A6E0C471E70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8c3405505d0d73c01e55d1efec5c7e96955a14f","datavalue":{"value":{"entity-type":"item","numeric-id":1066887,"id":"Q1066887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4561681$F258C225-8326-48E1-B299-3BEABBDA2113","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84c7fbcde7ae48252617c6fbfdd934a12e29771","datavalue":{"value":{"time":"+2018-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4561681$34A2CD09-A647-4942-8D4F-0305281D17FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561681$E164E7C7-C0FD-413B-B431-43F56F6C23B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561681$E386AA1D-B711-4261-8816-58D516F83553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561681$F854BA26-487A-4462-8B32-38258D17E3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561681$ED21D382-687C-4D3E-B748-654340ED7569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a40bc6020a753d5c0fbe6e70014c173b25058d7","datavalue":{"value":"00A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561681$FEAAC716-4F10-4693-8E08-FC3820B0F0B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0af92735a08948bc2ca26bb2be75eed7d6b39366","datavalue":{"value":"6992876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561681$90F92025-3289-484E-8E25-CF24B97986CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561681$72663BC7-4342-4EF8-9016-83C3BB0A2DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52046dd3e0bb9ffe86948713d645374070c1d4de","datavalue":{"value":"Hilbert proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561681$D9FDE6DB-45DB-4B36-B855-7DE7B66CE9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f6f1de6145bb8967f57777acad1c08bc0be025a","datavalue":{"value":"Gentzen style proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561681$A73B109A-51F4-47F8-9A55-4331CD997FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6a7ef1f3c1a54dbf4623c264040e8f48c28e746","datavalue":{"value":"QRS proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561681$3C5825BA-1CE8-4623-A9E3-BA177AC97680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c91bf8dfd17a8b353eddd6cc7f6a4eb12597ae8b","datavalue":{"value":"intuitionistic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561681$AFEC64CE-0F1D-40FE-9FCA-6AA7120BA520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5f507e784559c3f4731b2408d2fed917423392","datavalue":{"value":"G\u00f6del theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4561681$8D3E35A6-7C27-4944-8E4A-158286C843FA","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":"Q4561681$225225A0-2B57-4954-AE28-399E24113251","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ce8181f2ceedf6f1eec311682ccaad8f70bb4c2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-92591-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4561681$F1B76BB2-E873-491E-8E2F-7D286687F159","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d63b32f47449f84f5c22accc875248c3e7908930","datavalue":{"value":"W3161587981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4561681$7E21D328-78D8-4E84-82F3-72DE2737AEFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e9e17b0a81aad215536eb5c0c4137929803b98","datavalue":{"value":{"entity-type":"item","numeric-id":3998237,"id":"Q3998237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8414ae31793e37590a5bb939d509926a4b634d","datavalue":{"value":{"amount":"+0.9358431","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":"Q4561681$187EB260-992B-4B55-8283-4E9F6758A008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02274d5d8653d18192c7c064efdd402ea4da66b8","datavalue":{"value":{"entity-type":"item","numeric-id":4225148,"id":"Q4225148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f3a4cacf9e701fcdf9aee93a18fe123bc9b615","datavalue":{"value":{"amount":"+0.93265903","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":"Q4561681$706764D1-52FB-4BEA-BC4E-E18454A5D2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7b3526bba6592908679513dae06efb66530599","datavalue":{"value":{"entity-type":"item","numeric-id":5894107,"id":"Q5894107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d84109fd2b0bf669cb5a38162e644c2e19d2f4a","datavalue":{"value":{"amount":"+0.9284399","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":"Q4561681$CEC68D11-1647-4E04-A876-682C3BAA968A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa2f609856cd99b7370997cc5fd2d5d37012c685","datavalue":{"value":{"entity-type":"item","numeric-id":5387355,"id":"Q5387355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d84109fd2b0bf669cb5a38162e644c2e19d2f4a","datavalue":{"value":{"amount":"+0.9284399","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":"Q4561681$84983DBB-A2D0-4997-AC8B-279CA4D5B692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b896f4b8435cb88e207d8e6c04f48903e7f541","datavalue":{"value":{"entity-type":"item","numeric-id":4857787,"id":"Q4857787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d84109fd2b0bf669cb5a38162e644c2e19d2f4a","datavalue":{"value":{"amount":"+0.9284399","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":"Q4561681$8D3353C6-4B9F-4A89-B238-B285D6F66027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d2b497bc0f62095b13f8c8d6889b6bf1f96fc2c","datavalue":{"value":{"entity-type":"item","numeric-id":3777983,"id":"Q3777983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e117571a0a22d085c5b6ba2c850a440b0c22367d","datavalue":{"value":{"amount":"+0.92843986","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":"Q4561681$BE2DF178-B0FF-483F-A152-0ED3E6F30621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebeda66ad919da2068505ec6cb62abbf8df07469","datavalue":{"value":{"entity-type":"item","numeric-id":5905500,"id":"Q5905500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e117571a0a22d085c5b6ba2c850a440b0c22367d","datavalue":{"value":{"amount":"+0.92843986","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":"Q4561681$F5DD8AE0-E238-467E-98A8-A2E70F7D819A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a146528d94f78b89871147957a53adcbd13bb3","datavalue":{"value":{"entity-type":"item","numeric-id":4004346,"id":"Q4004346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e117571a0a22d085c5b6ba2c850a440b0c22367d","datavalue":{"value":{"amount":"+0.92843986","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":"Q4561681$E014C036-8942-42C8-8807-B59E62B9955C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49df4c314c239412db67fa8710cb4012622244b8","datavalue":{"value":{"entity-type":"item","numeric-id":4485829,"id":"Q4485829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa0a25d64b54d8aeec6bdbf396fa4653f710362","datavalue":{"value":{"amount":"+0.9278135","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":"Q4561681$6AC73F8A-5C4B-40BB-B4FD-D621D780F72E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logics for Computer Science","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logics_for_Computer_Science"}}}}}