{"entities":{"Q1382161":{"pageid":1392901,"ns":120,"title":"Item:Q1382161","lastrevid":67452003,"modified":"2026-04-12T17:58:38Z","type":"item","id":"Q1382161","labels":{"en":{"language":"en","value":"Informational logic as a tool for automated reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1133050"}},"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":"Q1382161$736089CC-1809-424A-B719-BE5775252948","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60368f4599cb303d528c0f09f1aa80a4a2892334","datavalue":{"value":{"text":"Informational logic as a tool for automated reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1382161$A68B81F7-D8E9-4550-BD05-4D6B780436EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cfc8f9595d1f9c3eeeebca43c6dd52412f2fdcf","datavalue":{"value":"0893.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382161$4E18F9D0-EED8-46C4-8C00-895E2D6CB569","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d41f959e8ccbfdc7ce4d9e503a642679292dc55","datavalue":{"value":"10.1023/A:1005905025531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382161$D8CD5D31-AA4C-42F7-B5C3-A4BDBA254B6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56af2f0bb30baaf632ef84a429a1af1dbc835359","datavalue":{"value":{"entity-type":"item","numeric-id":1382159,"id":"Q1382159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382161$EF90FD17-53E7-44A3-84F6-157C7BB73DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ef13ff3bc8f9deab469e35f13dbb7fff50b2616","datavalue":{"value":{"entity-type":"item","numeric-id":420831,"id":"Q420831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382161$EE30CA42-935F-4EB0-B2F3-AE3E4AAF42CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bfd87dfadff37066130a176f75d7a9ec7ef3495","datavalue":{"value":{"entity-type":"item","numeric-id":1382160,"id":"Q1382160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382161$E111B3AF-0741-4502-BF71-B2F135F5A3A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382161$44109C26-5EE3-476B-B12B-DBBF6262403E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e28fe26505b9b122204fda482843b764d5f67e5","datavalue":{"value":{"time":"+1998-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1382161$7C2FA0CB-F8CF-4326-9BD4-07E8EACA844B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382161$5B1A9BBF-9AE0-431D-B906-FBF7A606DB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382161$3CD4FA68-F53C-4A72-BF22-857FB8DC4352","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a34e69f74bd1c5ef8d98f1585c35c647478865f","datavalue":{"value":"1133050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382161$BD3AB63F-CFD7-4AA6-B275-E2DCE4EFB4B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67e9072d672eb8ba12e5159d28c6f2377b8c99d8","datavalue":{"value":"informational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382161$01A74C26-22FF-4E26-B31F-319259948D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382161$B0B8B1F6-5733-4028-9C11-2C5980DA6A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382161$5764C236-744A-49E1-B92F-F1355055E7FD","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":"Q1382161$B154D0FB-22E5-4767-A821-5DC7E8B9CF69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1e9e5b6f11929ec333eca66328968b8559cbf29","datavalue":{"value":"https://doi.org/10.1023/a:1005905025531","type":"string"},"datatype":"url"},"type":"statement","id":"Q1382161$A5E32462-6ED3-4F21-B89A-C3D39D3B39AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b991e252c75b8afe7f1112b34e70f65f1223c8c7","datavalue":{"value":"W1563883583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382161$74EDC110-1097-4087-95D4-54F5EBE006AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e03df84b76fa9fe2781fd9712f68de15cb06a7","datavalue":{"value":{"entity-type":"item","numeric-id":5236445,"id":"Q5236445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a874f7bb31ea7ab987588a4a0a188214fb14828a","datavalue":{"value":{"amount":"+0.989065408706665","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":"Q1382161$D2B9D005-9EE0-40B0-BAB7-9123817BAA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"095e42f98109e2c4b620af357f9629bae0db9fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5473759,"id":"Q5473759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ca7bec96e8832ba695b0db137993d8a68693ab","datavalue":{"value":{"amount":"+0.7575505971908569","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":"Q1382161$BFD023E2-FE4C-4CE8-8C69-9C59831D1A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceef7208c15153ff93e3cf0c1a7259c8ae60f8f2","datavalue":{"value":{"entity-type":"item","numeric-id":4896526,"id":"Q4896526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f18674b14ad9a7585c88fa58aa75c36c2c3f79","datavalue":{"value":{"amount":"+0.7536587715148926","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":"Q1382161$167982C6-EF41-4A05-BEF1-A6BAB3EEF7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03cc6980bbaf3d84b36c7b9d9d6b242a7760b1b0","datavalue":{"value":{"entity-type":"item","numeric-id":4829322,"id":"Q4829322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a155b19873b68425a6121635505e50426e62e65","datavalue":{"value":{"amount":"+0.7477911114692688","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":"Q1382161$1C32DE26-5814-44A5-9151-8D66989CD9CF","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":"d5a212b12c2a95db42590f58d040cd82b0a97447","datavalue":{"value":{"amount":"+0.7447754740715027","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":"Q1382161$AC28D090-5815-44E1-94CE-D46002136982","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Informational logic as a tool for automated reasoning","badges":[]}}}}}