{"entities":{"Q4443407":{"pageid":6473006,"ns":120,"title":"Item:Q4443407","lastrevid":48218374,"modified":"2026-01-04T00:10:44Z","type":"item","id":"Q4443407","labels":{"en":{"language":"en","value":"On Theorem Proving in Annotated Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2024828"}},"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":"Q4443407$F79A9A7F-1345-4F96-85B1-BD0B4AF7AABA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61c0716187698d267ec958df4f69bbabd2d41aef","datavalue":{"value":{"text":"On Theorem Proving in Annotated Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4443407$DA034D5A-1879-4492-A0B4-3DE09A5D5443","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab06a63cfc6a0b79df67ee8eac7f9e385f0a9feb","datavalue":{"value":"1033.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443407$79E2A479-A2E9-486C-8625-2CA4E32C9BA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc2610bd4f19aad7c11c638e1f7996b0a3f29cb5","datavalue":{"value":"10.1080/11663081.2000.10510993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443407$A1FFEBC6-ABA6-441F-BAE6-2CF47212970D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c884c24dfeef58490468e4a31b3d5a83bd656d75","datavalue":{"value":{"entity-type":"item","numeric-id":671388,"id":"Q671388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443407$3F477F7B-98BE-4CA5-8C6F-BFCFCC1C87F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9908da4c0d15bb70ccc4f3e4cf3d81e70c4d2006","datavalue":{"value":{"entity-type":"item","numeric-id":201220,"id":"Q201220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443407$80C2BD40-809A-4F42-A255-749C9B5A0924","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443407$BB81B612-DDF8-4E95-BFA6-0D7521145929","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e74d2b308d681dfe8acc260d1b5c3eac5e616e88","datavalue":{"value":{"time":"+2004-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4443407$AF7D83DE-A7E3-482D-BF36-0C50DD094280","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443407$CEF2B9E6-18CA-40FA-AAFE-5D2E0C580A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443407$21890FE3-3DAA-4DBD-937F-CE6C6B472B4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee01d958297760d9191e28b54ceb3de4bd282582","datavalue":{"value":"2024828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443407$44C40CC8-0569-4C9E-8F1E-5B5DB0CF8865","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93dacaf65a5ddc7840b70e8cbd5809de42c52744","datavalue":{"value":"annotated logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443407$642CF431-AE84-4855-9667-144B806E9154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443407$BAC45ED0-10F2-4DA7-AB75-D38356F71948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443407$D8649EA0-4C26-491A-9262-6B1882412EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f886a57d0cb45ac74836714c66687f6709cf433c","datavalue":{"value":"annotated polymomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443407$0B953EEE-F4BB-4EFF-8A9A-E99CE5A1C2B5","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":"Q4443407$96BC1142-1468-45BB-92CE-26A3E74A2F04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"643a15d00504ea4f5c7416d3705d4341ada3d9cc","datavalue":{"value":"https://doi.org/10.1080/11663081.2000.10510993","type":"string"},"datatype":"url"},"type":"statement","id":"Q4443407$11358892-8BED-49A3-A534-273E75F842A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dff58fc3c99b983ab067d85eef5a3a163cc55a9b","datavalue":{"value":"W2169890476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443407$E54614BB-3DE1-44AD-85F2-B3126278C8D8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcf020d6a1333d5159033f6bb5c1eedf35fb3e9","datavalue":{"value":{"entity-type":"item","numeric-id":1262746,"id":"Q1262746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443407$0200B47D-79CD-4A41-90BF-CB65197C6A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443407$086F7A32-0D54-419F-A0E4-1457F46846DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ebd3c1485bfb307534e31cfc4eea5466ee1888","datavalue":{"value":{"entity-type":"item","numeric-id":2552121,"id":"Q2552121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443407$03648136-7DD7-478D-B0A6-1838762B320E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64306f5ecac066ddeb9725828d2937875930baa","datavalue":{"value":{"entity-type":"item","numeric-id":3982863,"id":"Q3982863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443407$478ED1E5-FB26-4DBE-83F6-23F34E1BC140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251d862db37b18c0c514a0f92835960323642c2","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443407$3DCAAED8-F9F5-4323-8A8C-02CB43A8C9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7814c93fd14c472a24a528c1ff4a97ba1b2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443407$B3C1AACF-EA9E-494E-950A-363BAB2DD2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a24639826059b51322968b9cb5ec61491a41fdd","datavalue":{"value":{"entity-type":"item","numeric-id":3204442,"id":"Q3204442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443407$F8E9C068-38E6-4865-9A7B-B075585B2619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a8c1250dbca5a1914c2e0ccc1c1670d1eb9d18","datavalue":{"value":{"entity-type":"item","numeric-id":1157923,"id":"Q1157923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443407$972907C1-9DA1-42B4-869F-84177B2B7321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd003f64be981883faf85d9c7826906fa2affc94","datavalue":{"value":{"entity-type":"item","numeric-id":1311410,"id":"Q1311410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443407$796582AA-7B71-4AF8-B8A4-0CF0B27A9C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6740c356d271072e383e06b77cd6fa3a613fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1185011,"id":"Q1185011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443407$97F17917-200E-4FD7-84E0-624BEA1C256F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69fa06ddd64031fcd878612f1388b1d934fee6d6","datavalue":{"value":{"entity-type":"item","numeric-id":2564820,"id":"Q2564820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443407$062B85C7-DC29-4C6B-9D06-5A4223C0D65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae422186a92e736e4c425a4929cdfada9920423c","datavalue":{"value":{"entity-type":"item","numeric-id":1333173,"id":"Q1333173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443407$05897283-5D81-49C4-BBCA-36FABE4F69B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663b4e5a63cb4379d9ebb8567a8fb5f4ba79e6ca","datavalue":{"value":{"entity-type":"item","numeric-id":757094,"id":"Q757094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cceae60d47ac6ad42c366059b82c235f688d7465","datavalue":{"value":{"amount":"+0.7843919396400452","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":"Q4443407$83991001-EA97-4FAE-8E0E-179AC85BB6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb10a83b1507a49c922c099f41dc20127c58ac4c","datavalue":{"value":{"entity-type":"item","numeric-id":5692880,"id":"Q5692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4608d81411f226a0f623320c202e6f6902e8f4","datavalue":{"value":{"amount":"+0.7593691349029541","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":"Q4443407$308F96D4-3471-4475-9DCC-A344645267C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"954e990f7954b71e0155ac73ca8181fcb12a7fa7","datavalue":{"value":{"entity-type":"item","numeric-id":598578,"id":"Q598578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"200e8aec3b05cccb7d47a49ac50d2055e723d8a1","datavalue":{"value":{"amount":"+0.7567095160484314","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":"Q4443407$106962D3-6DE6-475E-8E4C-34C29D3CE0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8685d12c668c5305ca1caae76f7d99ad21a6bbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3708773,"id":"Q3708773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2558ff4dbffc2ae4979c5da15d480c34afb0f28","datavalue":{"value":{"amount":"+0.7538496851921082","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":"Q4443407$14D504F8-FDAF-4BAF-996D-46BE2C890D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc54b8f59abcb4efad6bce549a1dbfb4d79cb13","datavalue":{"value":{"entity-type":"item","numeric-id":3046854,"id":"Q3046854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0069216b254233f2b6378e71d303867f838d1770","datavalue":{"value":{"amount":"+0.7531313300132751","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":"Q4443407$9924D54E-C37A-4B66-80D2-A37E35BAF332","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4443407","badges":[]}}}}}