{"entities":{"Q4830107":{"pageid":6859687,"ns":120,"title":"Item:Q4830107","lastrevid":74982723,"modified":"2026-04-15T01:32:25Z","type":"item","id":"Q4830107","labels":{"en":{"language":"en","value":"Logic in Computer Science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2121178"}},"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":"Q4830107$F9EE4688-2532-4825-B37E-7C74E9674A26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9cffe83e73c28884cca402cc6166bace134f713","datavalue":{"value":{"text":"Logic in Computer Science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4830107$38E1A873-F975-4AEB-86E1-749D73877366","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39039dfca031fac3a14f3af9bdc9588601036bd6","datavalue":{"value":"1073.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4830107$E25EDDC2-E1DF-419D-853A-3F161B14CF93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33d748a28b6f785803ad1a44773f47c2c68a30d3","datavalue":{"value":"10.1017/CBO9780511810275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4830107$70794B60-FDDE-4214-8848-2D67E40CFA77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f895fddb25ab6a04c40980773c73197c00e13433","datavalue":{"value":{"time":"+2004-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4830107$A6ECA36C-DD01-41CC-959A-7A746213C9E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4830107$B720DE7F-EAC5-4DC3-A9E8-B7AE879EFC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4830107$20053819-D210-412E-A892-C0D9BBA1D934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4830107$4F05F118-CCC9-4E10-8035-6AAC45C5DA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4830107$BC6D7478-57B8-409F-9FC1-648CFF17B2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4830107$677192D8-D450-400D-BE7A-5BCC2DC81C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4830107$A485CE35-6B3A-44B9-9E1E-EDB664B0B187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4830107$3F65C34B-21A5-484C-BCE7-395633DC7555","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"369f9c3a8905be92ddc5d0d90ff273344091a02a","datavalue":{"value":"2121178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4830107$9C2651D4-00A3-4757-829E-EC777E610574","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b09386004529bb01e89a60bd36e0d1a6d865ee1","datavalue":{"value":"textbook","type":"string"},"datatype":"string"},"type":"statement","id":"Q4830107$B5426174-175C-4C16-97FF-99BD11A20D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4830107$00E15917-A4AF-46E7-A167-641E24923E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20ec78b25008456461de6c905d2d26525e47090c","datavalue":{"value":"SAT solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q4830107$994D89C7-4839-4278-9045-0B867DF4D3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4830107$C9BD1342-4EAF-4728-A541-D996EAB379CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4830107$148430A7-757D-40AF-B0AB-E8E996AF2D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5919d13c55d832e8af2525ab07fb168793a99e64","datavalue":{"value":"object modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4830107$A46A1568-9FC7-412C-BC66-F3A3F6B51EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4830107$843D52EB-F94A-4959-B9D6-5FAF5D6AE4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4830107$E94C9D61-CF4A-4464-9208-2EE089091E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b333f37acacfb087c9fd24f208e7712a84f8f9e","datavalue":{"value":"contract-programming paradigm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4830107$5BA37CA3-8E57-4CC0-A073-61B9043673D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4830107$5C8FD097-3100-4823-9558-2A318FCBACA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2072ac50d117917e9672f0db3614f9749d72c621","datavalue":{"value":"logic of knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4830107$78AF0782-A6BD-4594-97AF-E628CDA68A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad58a226eff21a70be845cd71cac40ef99497fa1","datavalue":{"value":"multiagent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4830107$997C9080-C527-4B05-8F6A-65A31817731C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4830107$367AAC3C-5BC4-4E9B-BA6F-03DCF47AF9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c25bc710e4a99b4ad5c06b7d722ebbdb9259ca1e","datavalue":{"value":"data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4830107$D17D4A21-4C8A-49F5-A854-D30390A3F345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4830107$7CEDB36D-AD54-420D-83E3-5A33AD36CEFC","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":"Q4830107$A484B0A3-3459-4264-B2AD-4D2163CD4DFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29c054dca21388a7da00b2a0ba9d2391e98292a7","datavalue":{"value":"https://doi.org/10.1017/cbo9780511810275","type":"string"},"datatype":"url"},"type":"statement","id":"Q4830107$BB5F82D0-CA05-4F43-AE11-6B073E4BB668","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec36662e80f5e6fc2dc75cbd289fd4518b876119","datavalue":{"value":"W4251228600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4830107$38AAE4C6-12FC-405A-8454-EBBA4E485157","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9fefea3d6b6c196ea689df6ee7a0647da1946e4","datavalue":{"value":{"entity-type":"item","numeric-id":4953875,"id":"Q4953875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b431a3b90e39fb94f8f09bc5ad100ed94614e1d","datavalue":{"value":{"amount":"+0.8436736464500427","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":"Q4830107$B90A5053-1ADA-4DBF-B5CA-6448C15F5E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b431a3b90e39fb94f8f09bc5ad100ed94614e1d","datavalue":{"value":{"amount":"+0.8436736464500427","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":"Q4830107$F360AC6A-8D68-4E2B-84C8-535269611066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8991317227a9ae456440981a3ca17c6e21eb6541","datavalue":{"value":{"entity-type":"item","numeric-id":2894076,"id":"Q2894076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a3dec5e2e4917809cb6f335cebfef4a5ddde41","datavalue":{"value":{"amount":"+0.8108623027801514","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":"Q4830107$5CD17144-3FF2-4BE4-B4DE-5012975FA79E","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":"1671d983c34605bc839addfbd8b27be84103f831","datavalue":{"value":{"amount":"+0.8023095726966858","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":"Q4830107$BDE118AB-EAD0-4E6F-AABD-D2FE0D24A9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372d2d481c85fd36ca116a2c71fbd4c5a0eb7c70","datavalue":{"value":{"entity-type":"item","numeric-id":5198513,"id":"Q5198513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17fb688cc990473ae091d236993ca7126b07f1c0","datavalue":{"value":{"amount":"+0.8013832569122314","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":"Q4830107$21BCCB89-0E34-45B1-A372-8CB9D1C1CBE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic in Computer Science","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_in_Computer_Science"}}}}}