{"entities":{"Q4586052":{"pageid":6615637,"ns":120,"title":"Item:Q4586052","lastrevid":53199383,"modified":"2026-01-24T10:54:03Z","type":"item","id":"Q4586052","labels":{"en":{"language":"en","value":"Computational logic. Volume 1: Classical deductive computing with classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6934913"}},"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":"Q4586052$36644319-064C-4F7C-8A1D-6ADF639C49E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"800d64d8b2d5b9daebbccaf72f37b72226074b56","datavalue":{"value":"1408.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586052$E280DD86-8142-4576-9698-91BED79EF883","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f91e08167d88c9208467e24870668b15417ddec9","datavalue":{"value":{"entity-type":"item","numeric-id":4585827,"id":"Q4585827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586052$F135C9AA-7D57-4DA5-A3E4-53B6D05A88CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"820780d9e80d5556f2d9414cd8c51e6b8fc16fdf","datavalue":{"value":{"time":"+2018-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4586052$6F9A41D7-E237-4A1F-8527-84A813C2FB43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586052$EEACA1AA-1578-40C7-A8FE-B1E97734831D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586052$9B9BC607-822A-40DE-A453-0BF53CC3350E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586052$6AB2AF88-A9C9-4054-977C-661FB2111304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586052$1AC75E09-66F1-49BC-84C9-98860B3B9066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586052$C2D527B6-831F-40E4-BAD4-16E2C2E101B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586052$347465EE-79D2-4BBB-A2EB-8A37F1B26CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586052$E193FF2C-3119-42C3-A6E6-3D9E89253C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586052$080AF25A-2262-4ECF-A369-2554F00F074D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586052$7A46C21A-3E5E-4ED4-9494-CE9F8AA11040","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3698a628323dd62f862d119a8d8328bada0dca07","datavalue":{"value":"6934913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586052$0824E6D5-0C9D-4CF4-9806-43CF252CD3F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fe1e8f676040b787c7abd649c68d227da93e5c2","datavalue":{"value":"models of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586052$A47CC0EB-11E6-488F-B68B-DDCF0E11B50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586052$C807185B-DE44-49BF-9B39-AE4077884DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586052$936D47D9-4B76-4174-A9E6-132703DA5885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586052$AB7A2A69-53DE-4DB1-81C4-EFE9026BE5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586052$5D4D76F1-45DB-4DD6-8525-5DDDE757B9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586052$DFA64E60-D429-4E16-A343-5E9C6B8B3820","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":"Q4586052$64F10EE3-8A68-4A99-A72E-6B4179669900","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd1f276f92a0b3b96de4b6e9975697f748eee0e5","datavalue":{"value":{"entity-type":"item","numeric-id":5119550,"id":"Q5119550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d755053615ef9cda10d1cfdf32706e0c53f97d6b","datavalue":{"value":{"amount":"+0.7692291736602783","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":"Q4586052$F7B0875A-9734-485B-9D4D-DB0BC203F011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcb4f01f11c619936e189cb98cf26dde0dde986f","datavalue":{"value":{"entity-type":"item","numeric-id":4561681,"id":"Q4561681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b72752e382b5cbd318ede94e21d3d25431584f","datavalue":{"value":{"amount":"+0.7653244733810425","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":"Q4586052$88918491-0E11-42CD-8C99-9510FCB18601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66acb868ea1a2aa0d1375cd1f0e361572a721f88","datavalue":{"value":{"entity-type":"item","numeric-id":4040458,"id":"Q4040458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d83cf943508fdfabeccdfd776081ab9e89e210","datavalue":{"value":{"amount":"+0.7592974305152893","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":"Q4586052$1A329CE9-AC97-4693-B89E-0DAB5E857D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b5b11b224bb4cda614e1c10adba6daa3b8ceba","datavalue":{"value":{"entity-type":"item","numeric-id":3690194,"id":"Q3690194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"836bfa0cc5757f7e5ef94af36849ef2e32ecc65b","datavalue":{"value":{"amount":"+0.7582960724830627","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":"Q4586052$34D183A1-574E-4356-9700-96CF8C223C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f62bbe79ace320b8f4d4db960e0c746c62dadc","datavalue":{"value":{"entity-type":"item","numeric-id":3996610,"id":"Q3996610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e9acc8301d94dae2b5542aeeef1255fa8953c03","datavalue":{"value":{"amount":"+0.7572013735771179","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":"Q4586052$DEA261F7-38A4-4B8D-93AC-E13118034208","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4586052","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4586052"}}}}}