{"entities":{"Q3332286":{"pageid":3342994,"ns":120,"title":"Item:Q3332286","lastrevid":48724840,"modified":"2026-01-05T17:32:55Z","type":"item","id":"Q3332286","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3864542"}},"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":"Q3332286$7FD5E49F-2336-4FEC-9D34-CAFBA312B1C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"282b5bc28ec1d7367be146a8c975a7e2d05f86bd","datavalue":{"value":"0543.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3332286$728F2AFD-5ADC-4DD5-890B-249B8C5873A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88f5a9ce075d650043bcafb1f49da010e4a17667","datavalue":{"value":{"entity-type":"item","numeric-id":3332285,"id":"Q3332285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3332286$014AB6AD-4049-4F7D-A37C-4DE50A58CF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c96909c147dc4479fb6f3a0c0d6cbd8595ac9157","datavalue":{"value":{"entity-type":"item","numeric-id":1731391,"id":"Q1731391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3332286$18876577-D7ED-4065-8F95-996C39F1AB95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3332286$3DD4F45C-17A6-48B8-B471-154D0C3B6180","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3332286$43AA8540-9AA9-4AC2-8397-6B9F2D891239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3332286$2AF63932-3A2F-46A6-9185-1F6546CE3DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3332286$3CE73D4F-71B1-4AA4-9F00-A65ED48201A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c92b904d113929b1a7151732f8f04ebcfa9692d8","datavalue":{"value":"3864542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3332286$5E511390-108C-4472-B00D-CF2DCC2A4510","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e63b846431a172986c5fd4df903f26f9d888ba91","datavalue":{"value":"computer aided problem solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332286$F9F7F4B1-0E80-4533-A3FC-48ED06ADF60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3d663c92cc86288e2df478c487898f3815f9ec0","datavalue":{"value":"regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332286$884A034B-0656-443D-A747-C3E0391AEF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5563e345af3455b6026720dbc570d922e0d10be7","datavalue":{"value":"measures of proof validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332286$550A720D-8611-4B5F-ADDD-C42ACA64E3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332286$B730D60C-BAF9-44A6-8EDD-D092F17AD197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5ca6cf28cbfd79800e2154cfc466eb28dd629d7","datavalue":{"value":"admissibility of inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332286$5C78003A-8350-4A9B-A9AB-4618D0DE92A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3332286$408ECC7D-B17D-464B-9EB1-7F782F07AA86","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":"Q3332286$62E47C51-7C4F-40EE-838C-CB67EBAE45EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecedbba4a8c94e60b6112e0841b229e235ea9098","datavalue":{"value":{"entity-type":"item","numeric-id":1915126,"id":"Q1915126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c26a399ab0399a34265ca04d099704265f1859ff","datavalue":{"value":{"amount":"+0.7308230400085449","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":"Q3332286$EA1337CB-0692-48F0-9AE8-9A7413E04C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd5cec1f5a412fbd7480ce820282a0313deb96da","datavalue":{"value":{"entity-type":"item","numeric-id":5797035,"id":"Q5797035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"953ea46de50792b572ded0f471c54a4680e748aa","datavalue":{"value":{"amount":"+0.7200408577919006","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":"Q3332286$B48B1CB2-A3DA-4A88-A635-E6611D93A453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cd4f64baf572fcefc7b8a2490cd580d174ec88","datavalue":{"value":{"entity-type":"item","numeric-id":1023055,"id":"Q1023055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b4948803b7c112dc15fd1d163228deb452ac1e","datavalue":{"value":{"amount":"+0.7065175175666809","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":"Q3332286$D3DF9BDA-8DEB-4538-A765-13E3F088DD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea450f1943642a23d18b4384a6660164a1ae9f8","datavalue":{"value":{"entity-type":"item","numeric-id":3491519,"id":"Q3491519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f46d6ff95e1591515fe1225713645674816e05d0","datavalue":{"value":{"amount":"+0.7059357166290283","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":"Q3332286$862D9B4D-E982-4F57-B431-17A5C4990BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ebc03e482d5f1b98817c56429a3448862d84bb","datavalue":{"value":{"entity-type":"item","numeric-id":3727965,"id":"Q3727965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec07e015f57330dba0c221f2abc3d601102ef6e","datavalue":{"value":{"amount":"+0.7037009000778198","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":"Q3332286$45BA8CC2-33FC-4C72-9876-F813201C0F3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3332286","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3332286"}}}}}