{"entities":{"Q3199403":{"pageid":3210111,"ns":120,"title":"Item:Q3199403","lastrevid":49436224,"modified":"2026-01-07T03:55:59Z","type":"item","id":"Q3199403","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4174905"}},"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":"Q3199403$0F17A0BF-B370-4906-A0AA-8CB88F7C60A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba699145edd34f8039c56d007d8988004359d08f","datavalue":{"value":"0714.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3199403$D1383BF2-6FD6-403B-81C3-687C0F327066","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"431454e777d4b0e6bc71b82c09a4af2495d122a5","datavalue":{"value":{"entity-type":"item","numeric-id":692308,"id":"Q692308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3199403$0B290A7B-FE9A-44BA-AB32-28091EE5209C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e11b0e88ee50fa9f165f88aee506f9526524568","datavalue":{"value":{"entity-type":"item","numeric-id":417949,"id":"Q417949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3199403$36F7DBCB-49E1-4843-AA27-241160975811","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3199403$3EB5B71D-4D73-4624-88CD-474C52795046","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3199403$624C48D2-DD0C-4A7E-944C-93375ADE4D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3199403$353AC4F1-A6C6-419D-A8DE-4D5EF885A7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3199403$0679E500-F6DD-4139-B2CB-EA1AF10A1FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3199403$FC25CEA9-B29D-4657-94B8-A0A8B285C8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3199403$2A067ECD-CCB9-4347-AB4F-7519970E86E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3199403$D5B7154A-1FFA-493F-B0DE-F127CB81C61E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebf2a90d2e253f6a297b72a86bd86037be918bf5","datavalue":{"value":"4174905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3199403$3382E6E4-BE8C-4945-A01B-304C416DB9A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de8fcc5d91450eac5be0287069f12df7932e447a","datavalue":{"value":"Logic and Artificial Intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3199403$199D0517-A9DE-47D5-81FF-59DFCDF7399A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3199403$74B59270-4E07-449A-AB91-30FC4C59EBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3269d84c2eb7c02545bd6a34d10e933e25c7775","datavalue":{"value":"Logic of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3199403$37F8A9B4-4923-452D-9C37-86018ACE9E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b859b7710f4daf6bafddb6a08e97fcaddce754c8","datavalue":{"value":"Boole","type":"string"},"datatype":"string"},"type":"statement","id":"Q3199403$C7D86746-4696-4CAC-B531-EE876220A146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8cd6f20f00c626dd3562ea349642485c36f916","datavalue":{"value":"Nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3199403$775F83A5-8CD6-4FA9-85AC-47801B32F394","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":"Q3199403$154D24B4-6D59-4C56-9C25-43E6AB38A586","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e038ed22dadabf2bd6cb6efa4aebd74cb9851aba","datavalue":{"value":{"entity-type":"item","numeric-id":3696556,"id":"Q3696556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1582c44bd9e9352136098a14437b91b2a085d3","datavalue":{"value":{"amount":"+0.7893803119659424","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":"Q3199403$495BF658-822A-45EC-8D08-9D2C4678E1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c22ff78a7872b503eadfec6b6a7ca5530365bd","datavalue":{"value":{"entity-type":"item","numeric-id":3350831,"id":"Q3350831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64520ff03f10cbaadb17e340996a51f75f241992","datavalue":{"value":{"amount":"+0.7655400037765503","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":"Q3199403$0935C8BE-614F-4FA0-B8BD-46EC5C9C8A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"707e428e7a1bf1e7612f8c34f37e5832692b79f4","datavalue":{"value":{"entity-type":"item","numeric-id":3789107,"id":"Q3789107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb940dcf89edd6d2a0bd750a062b8ee3f524e068","datavalue":{"value":{"amount":"+0.7626094222068787","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":"Q3199403$F0A9D5DF-A29B-49FC-9C59-6B4ADE631720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81818d93a27b1f5ded655e0b84e52ded387f87e7","datavalue":{"value":{"entity-type":"item","numeric-id":3996315,"id":"Q3996315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4623e9fd59e663192193d07a799bcef841ab387d","datavalue":{"value":{"amount":"+0.7616977691650391","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":"Q3199403$DB1F552D-662D-4D0A-B718-569420D13312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79cc32426d2a45c6ac0e64f9561b2eb3aab4161","datavalue":{"value":{"entity-type":"item","numeric-id":3792276,"id":"Q3792276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"123d485d540f11221df133250c71db519d69ad63","datavalue":{"value":{"amount":"+0.7571503520011902","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":"Q3199403$FF620EB2-D92A-4D18-9B17-B6A7A9BF8E34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3199403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3199403"}}}}}