{"entities":{"Q6181540":{"pageid":13316428,"ns":120,"title":"Item:Q6181540","lastrevid":93978977,"modified":"2026-06-05T05:35:21Z","type":"item","id":"Q6181540","labels":{"en":{"language":"en","value":"Logic: Reference Book for Computer Scientists"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7782874"}},"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":"Q6181540$834B7AE1-CE86-4622-8599-1CA4D936165E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"060f928513b56fd3884d9751cd0dbd43fc0e4315","datavalue":{"value":{"text":"Logic: Reference Book for Computer Scientists","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6181540$1A138368-06AF-40A9-BE0B-252CE2D0F0EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8523cf166652df5338d2719bc6f1c5e78892a86","datavalue":{"value":"1529.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181540$224B422F-FD21-4914-ADEB-E7EAED2C4951","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ef7e0e061475258e299bc78852807c19c138a21","datavalue":{"value":"10.1007/978-3-031-42034-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181540$13DC9E89-1E6D-4A4F-9C7D-7FC233BD38D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecfab2961dbdc135eeb3aeb9c9e447906edc361b","datavalue":{"value":{"entity-type":"item","numeric-id":677084,"id":"Q677084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181540$EEB4391F-8190-4515-A9EF-71005642145B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a2a63da1df25eb73104857ce01028ecf28fe8fe","datavalue":{"value":{"entity-type":"item","numeric-id":325197,"id":"Q325197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6181540$C9DEB401-C3CB-4905-A298-9BEEDC8E20E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dbce25b8d1882e8b51894ac817f5ec3044e7cff","datavalue":{"value":{"time":"+2024-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6181540$B326BE77-4D14-4905-A5AD-C3B3E0503FA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181540$F46D5E7F-A88C-4081-B8A7-4EABFFF7A540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181540$F7F49319-803F-44AB-BADC-DF4F08A4B5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181540$8877EB7B-AFC8-400E-B3A2-C9415DBA0920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181540$E82729DC-466C-479A-8714-6421E799752B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b26e37bdb41ede5e8f6e82d5b603ec8cf27564a3","datavalue":{"value":"7782874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6181540$FA257CFA-80A0-41C2-B408-D52CE05F16BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181540$43EAAA0D-9372-4764-A0DE-4DBEC055CF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181540$E0B9FFE6-EF3E-4DC4-B077-CADDDA244ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181540$6CFA1E7C-021D-4F44-B962-360D10738E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181540$D1382841-2A69-4877-8F2C-BBFE3E324B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181540$A2338B51-590D-40FD-AA86-F79617B57192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe46657715cc6096ab87d19893dd8e5bc0b0ea2","datavalue":{"value":"rough sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6181540$884718FA-458B-486E-A6AD-2DE7CB74E2BE","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":"Q6181540$31EBAD4A-5132-4D9A-8585-20EF8F04EDB1","rank":"normal"}],"P1643":[{"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":"a36cfff3de184b0506730423032ec47b89411fec","datavalue":{"value":{"amount":"+0.8629148006439209","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":"Q6181540$B78513B2-61EC-4FB3-9BC7-2249FF91AC3B","rank":"normal"},{"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":"ab3aebe0718dc9061896848cddc629662dce01cb","datavalue":{"value":{"amount":"+0.8384906053543091","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":"Q6181540$556A432C-3D83-478E-8F95-75B6429C6E94","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":"534d1f6feb255b03a2f5478e4e1c5bb83558e5da","datavalue":{"value":{"amount":"+0.8319669961929321","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":"Q6181540$61D3ECB1-CA9B-4008-B530-95FCA5B35EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e81f0fd4cb2fa7251abacd206e730ac001bfae9","datavalue":{"value":{"entity-type":"item","numeric-id":4003336,"id":"Q4003336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ebc6fea066b6936a425f95a2f8f05fea534f257","datavalue":{"value":{"amount":"+0.8273350596427917","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":"Q6181540$5C2F8175-BC95-4913-B6AB-169400EB576E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12737f6bbfd1d70aa5fd7a00a4313607a30caf7a","datavalue":{"value":{"entity-type":"item","numeric-id":4301238,"id":"Q4301238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d59918c59086580db4f1d77e40bce0ea96083b5","datavalue":{"value":{"amount":"+0.8254542946815491","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":"Q6181540$9EE0C561-26E9-46EE-AAA6-59EE9A2F4F96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic: Reference Book for Computer Scientists","badges":[]}}}}}