{"entities":{"Q3070800":{"pageid":3081516,"ns":120,"title":"Item:Q3070800","lastrevid":51173195,"modified":"2026-01-17T01:58:04Z","type":"item","id":"Q3070800","labels":{"en":{"language":"en","value":"Logic for informatics and artificial intelligence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5842394"}},"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":"Q3070800$DFF1EF21-CEC8-4427-8128-046F695A49C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"327f316cff5700c9b882f7b5f1e5a966309f5503","datavalue":{"value":"1217.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070800$98FBB091-AF17-41F9-8EB4-24036C6D496B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef8d9904a40baa08e6f0a10240e7a4f7764dfa82","datavalue":{"value":{"entity-type":"item","numeric-id":167062,"id":"Q167062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3070800$B09FAD3A-99C4-4D7A-92A7-E1D187500A09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9168846c6b4418f3fb4bf30bc1154e0e33675d6","datavalue":{"value":{"time":"+2011-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3070800$19B1DDAB-4128-45DC-AE2D-CD84817DDD6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070800$F599E72D-AEB5-48FB-A300-59F77C306412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070800$BCCDFD4D-49C4-44C8-A148-338D7E53E59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070800$1FD473AA-35C4-4EE6-8A63-D40B1D44F711","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b22e4c16e8a26bfa2ef3a2bfd609ca23f181f0a3","datavalue":{"value":"5842394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3070800$D6DA46ED-27DD-4FCA-B284-C686ED6B3E8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3070800$5C8CC6A6-7912-478C-91FB-E7C8ED258FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3070800$506F3557-A9C7-4E8A-8774-2A87C38D17E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3070800$94483C87-D2AD-458C-821A-C961A997A24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3070800$A718A1E7-405B-49DD-A339-214EDED76EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3070800$FA15CAE4-E91D-4FD9-8565-8FB83D17D3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"399b9e1e3dfb4d5d20fe08cfc9ed58b7f9d6ad41","datavalue":{"value":"tableau proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3070800$AD17FE2C-ECE5-4A3E-B823-BF73EE8405FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3070800$94D83AD0-567E-4F86-970F-8A5736DA3B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3070800$38CFEEC4-0ECC-4C91-91E1-C080B58D5E4D","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":"Q3070800$05964484-4785-4B11-BD99-55FE9E534B9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"777d7abe3c8fca882026798993979695fc9483ce","datavalue":{"value":{"entity-type":"item","numeric-id":2057567,"id":"Q2057567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704cdeb6f8434005b6c64364ed6e7a4697a72d83","datavalue":{"value":{"amount":"+0.8386207222938538","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":"Q3070800$3AB58D24-780B-4184-A275-8A7F2EFB09E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"279a2bd3981c2770d193704243de6debaa8a5cc0","datavalue":{"value":{"entity-type":"item","numeric-id":3363695,"id":"Q3363695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a62a785d0eec7891448f120ff8fb275965d9f34","datavalue":{"value":{"amount":"+0.8089044094085693","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":"Q3070800$15B86492-2CFC-40CA-9944-0D6B5FA16D99","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":"6d00e23b95d3cc80b5d24cc27ced8074643f54a4","datavalue":{"value":{"amount":"+0.8065160512924194","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":"Q3070800$5D6F1C0F-8319-42E8-A045-CC92447F88AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429e097b77560b3f7cb5f888f7e803e126af1077","datavalue":{"value":{"entity-type":"item","numeric-id":3709841,"id":"Q3709841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72da565103aa13bc854f13d1bb084a7d0f935c8","datavalue":{"value":{"amount":"+0.8051875233650208","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":"Q3070800$2A681633-6934-4AA0-8090-E6947F31D892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ff2ad334ffc968cdaa2267876515ed59b775ba","datavalue":{"value":{"entity-type":"item","numeric-id":4040538,"id":"Q4040538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca4361ec24f35deba43bed316b20019cc4aecfb","datavalue":{"value":{"amount":"+0.8036412596702576","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":"Q3070800$BBE6D0FE-AA16-4B70-B579-828E6B768AE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3070800","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3070800"}}}}}