{"entities":{"Q3081831":{"pageid":3092546,"ns":120,"title":"Item:Q3081831","lastrevid":51203375,"modified":"2026-01-17T05:41:14Z","type":"item","id":"Q3081831","labels":{"en":{"language":"en","value":"Formal polynomials, heuristics and proofs in logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5863198"}},"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":"Q3081831$63FA34D3-CB89-4C48-B020-4B4C7D0252A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71a5f8ccf9c8014178021981b16da98c719541a6","datavalue":{"value":"1213.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081831$9784510A-515F-49E2-B2CC-27A92D20CDCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"791243a770867bf9a828ca3fa60256efae5a0523","datavalue":{"value":{"time":"+2011-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3081831$A073EDB8-A22B-4BAE-8F50-1BF648D3BD98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081831$9284BA6F-6257-4546-9529-37352696934F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f06c7350262f42a8ded98c8cf73da28e07b9437","datavalue":{"value":"5863198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081831$1BD09C08-C3A5-42FC-8F28-E44B51092289","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fd2c1ffc5d0acebe3d18c614b70743b69710c2b","datavalue":{"value":"formal polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081831$22335C72-8D34-472B-BF18-3E8832576427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35c8e9f5d9aec147247890d8845f0c83c321a7e8","datavalue":{"value":"algebraic proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081831$D8B007BD-D5A3-4E2A-8ED1-420D5D83F681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43502da76b76b7a30f9f0f62dc2dbed8b0c5c573","datavalue":{"value":"heuristics in logical proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081831$3C77002B-B088-4D23-9647-A77DCCC36921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081831$B71712FB-2CF9-4A23-A268-79EA5DFE3FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081831$91799BA0-4A2B-4DF5-9EC5-E14268C9C363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"149c962f7b8cab23e82f245b52a7a651b4fc8b9c","datavalue":{"value":"logical derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081831$CEF8A1F8-D56B-43C0-BC0E-E29B85224A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3a5b36a1f0c614b7809ac890f732c806aa03f79","datavalue":{"value":"paraconsistent logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081831$76BEEF03-BE7C-4995-8839-A16EB47695EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2563d9a5dd0b1a47c7b94c26c40c09b5eab1dc7b","datavalue":{"value":{"entity-type":"item","numeric-id":1068072,"id":"Q1068072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081831$45E4FCA7-E562-4DBB-86D0-0DCA98B39DA0","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":"Q3081831$A95BCA1A-4383-4A71-A329-3B01E87882FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d154aac18b605bf40cc73baca9bd75805c7db14","datavalue":{"value":{"entity-type":"item","numeric-id":897932,"id":"Q897932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e561007e7331c722e99cf28e1682c8f10401984","datavalue":{"value":{"amount":"+0.8478707075119019","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":"Q3081831$93DC8333-618F-4AF3-BAFC-1C8FFF8EC9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6d60bbb00644245d238d42cf2cfb85aae05177","datavalue":{"value":{"entity-type":"item","numeric-id":4586158,"id":"Q4586158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b81573538b088d60fb51f34415986565cb0f2750","datavalue":{"value":{"amount":"+0.7856163382530212","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":"Q3081831$B64972B7-317A-463A-A918-4E868505BCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e9a85827000445f2db027c0992b8b738868ad4","datavalue":{"value":{"entity-type":"item","numeric-id":5243399,"id":"Q5243399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce48c727e57747092b4ee24f0dacd2693c7084a","datavalue":{"value":{"amount":"+0.7560776472091675","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":"Q3081831$C5E8492A-ED64-4A74-A330-5A37A9625745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508b0fd0c76580a997d55426f4f3c2c630ab6189","datavalue":{"value":{"entity-type":"item","numeric-id":3255341,"id":"Q3255341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e95c74413f12302f0b57b6ae199ca6f0d0660e","datavalue":{"value":{"amount":"+0.7551689147949219","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":"Q3081831$A0F7CCB7-D6C5-462C-8469-C94F865B2591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47c981cb60fa4774b207f7dddf9109dd99e7e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1404692,"id":"Q1404692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8819f8adafd16e53a34e136031e7e0f9c8967ba6","datavalue":{"value":{"amount":"+0.7291471362113953","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":"Q3081831$58D40CA2-B400-4775-B825-3359A191845C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3081831","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3081831"}}}}}