{"entities":{"Q1627457":{"pageid":1638198,"ns":120,"title":"Item:Q1627457","lastrevid":68177442,"modified":"2026-04-12T21:56:48Z","type":"item","id":"Q1627457","labels":{"en":{"language":"en","value":"Applied logic for computer scientists. Computational deduction and formal proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6986920"}},"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":"Q1627457$F3B2F4F7-7053-4561-BD01-EE9648BD65B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0321ddb8592a4e699b07a2ccbd97f63307df56ca","datavalue":{"value":{"text":"Applied logic for computer scientists. Computational deduction and formal proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1627457$47CC2FEE-80DE-41C7-8CA2-8D00C2C35E67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d571f47babe7ad020e8b9ea9fad7c327dd2169ae","datavalue":{"value":"1401.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1627457$70AD0595-BE86-4322-AF4A-84EE44892CFD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"711930a5eb6ad3d1cca01a4c58556ffe026cd772","datavalue":{"value":"10.1007/978-3-319-51653-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1627457$3619AC21-7CCE-472D-A1B1-C0D501F83069","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1627457$18FCEB07-C6F7-483D-913B-B02E976B217B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f0a37a82c91a35e36561764c406163ac5986165","datavalue":{"value":{"entity-type":"item","numeric-id":1627456,"id":"Q1627456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1627457$56526E15-8A39-4424-8BB2-06DBE986AB40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f2df447ef05106ab8f26cea9fda71b2b40c740db","datavalue":{"value":{"entity-type":"item","numeric-id":355065,"id":"Q355065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1627457$A5C83143-8A9A-49EC-8E33-5CC6340AF858","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90fc82896c37d679c242bb4883bc4b47e7985482","datavalue":{"value":{"time":"+2018-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1627457$692E6AE4-423A-4E22-BEFD-8FC3D18AF3A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1627457$FFE14BC3-B552-45D6-AB84-8F04E591D809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a40bc6020a753d5c0fbe6e70014c173b25058d7","datavalue":{"value":"00A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1627457$F6FD471B-5675-455F-8A24-3310D862ADC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1627457$9F81EA68-31B9-49B5-B7F3-D7DACCAF0579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1627457$15E0C3BE-6674-48C2-B99C-30781789EDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1627457$7C5581AB-DCDD-43DA-8D2B-08C653D251EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75429c6137583b4e1b91dd24ca9f872c6b4afb2d","datavalue":{"value":"6986920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1627457$FC3075A3-7460-467F-B45B-893D3F07AAB0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1627457$01BBB44A-9A1E-423F-B98B-98A5BF6AB3A8","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":"Q1627457$71EC4130-932F-452A-B13F-0CD9FF38E275","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32f4eccdd107feb4b3965dea2c5d56035ccda8a7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-51653-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1627457$911C54C7-9FDB-4365-97DE-089BBC2A2FAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"36e7cc3f52ce6e67701cc55b6bcade41f69b6285","datavalue":{"value":"W2587244123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1627457$7FC8C8C9-CE4A-4FC3-8B1A-B974A0DDE5FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94c48ee8f14b5f9e403cfb12d46fd76e48994b3","datavalue":{"value":{"entity-type":"item","numeric-id":5364939,"id":"Q5364939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544d94d53348b40b8b637f2e57caff9cf12feaea","datavalue":{"value":{"amount":"+0.8138335943222046","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":"Q1627457$68A12C55-E947-4242-9576-FEE298DDC070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15086617df84166cfdc31380e486ea3ab37c07e5","datavalue":{"value":{"entity-type":"item","numeric-id":5715108,"id":"Q5715108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"397f96d56711f1cacc0bef0530ab191e09fde95d","datavalue":{"value":{"amount":"+0.7865502238273621","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":"Q1627457$8F7F2B4B-D6E0-4868-A8F3-0CA0048935D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a49720b67fea53f3764207d69166b192680ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4735163,"id":"Q4735163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57c1c8552efae387cbed7d92391dc1c6e5c399a","datavalue":{"value":{"amount":"+0.7837437987327576","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":"Q1627457$760EB6FB-B2BE-4094-BC48-50A7775DB251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f910e5d01835760396bec66fa55d67356d2c2f48","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1fffab0deac20201cfa168fe536db870f285077","datavalue":{"value":{"amount":"+0.7764174342155457","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":"Q1627457$D4E8D7B0-68B6-47F9-9D40-B54BEBC2E346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c9cb1f62b1819408926447c2d3ed3ac8a2ef92","datavalue":{"value":{"entity-type":"item","numeric-id":4626276,"id":"Q4626276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd8d4976c0008ec364c436ae85bbad5cd36a55ed","datavalue":{"value":{"amount":"+0.7757748961448669","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":"Q1627457$2BDCD39A-DE45-4B0E-8F8B-751DCDEA7966","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1627457$7E987857-C752-4B56-9147-93BDEA25DB77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applied logic for computer scientists. Computational deduction and formal proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Applied_logic_for_computer_scientists._Computational_deduction_and_formal_proofs"}}}}}