{"entities":{"Q3072543":{"pageid":3083259,"ns":120,"title":"Item:Q3072543","lastrevid":45393499,"modified":"2025-12-07T00:18:13Z","type":"item","id":"Q3072543","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5845490"}},"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":"Q3072543$9E810E9E-009A-4D77-830A-0EDE53DB9971","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d08416883b1177d89b3ccc9152057d0174755240","datavalue":{"value":"1219.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3072543$2CE7A9F5-EECF-4306-8F76-0AAF44961DE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3072543$6795A856-B193-4B8D-9168-5CCC5F36BBDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb451147bd74c79234e9189509b87d2f579564be","datavalue":{"value":{"time":"+2011-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3072543$8277F338-5C67-4222-86B9-DF842BE8C4C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3072543$180BE19E-E867-40B4-BADE-720198883914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3072543$F8C889AD-9572-4427-8664-B37576DD6F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3072543$CDCD07A7-AFA1-4D32-BB1E-B004D7C2804B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3072543$0E6D6274-CDFC-46F0-82EE-E946DED834EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3072543$D4992B5A-0EE7-4A08-8C16-4C325F10A833","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43beef2cbaf85579610792e192bbccc185dc3084","datavalue":{"value":"5845490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3072543$6588526C-BE12-4BCA-8296-CB43783DDB0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3072543$21F59846-D976-445C-9463-75E6BE1368A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3072543$BD13EF73-62F8-4870-BC88-628B0BC5D9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0432d965a31cea7acbf98425becf9815c9633902","datavalue":{"value":"Boolean-valued models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3072543$D5B77643-04BC-44B1-A33A-FA7FB90325C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"339a350f79d1cd682c233e573a7108f714e18334","datavalue":{"value":"Loeb's measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3072543$A994C288-EC7A-46B2-9120-C1A162764093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ddff3a132fb7cabb11b8bc41cb140a41952a1f0","datavalue":{"value":"decision tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3072543$61ED8AFB-5BB2-4D57-8104-770CAACD0F46","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":"Q3072543$3098FC68-FA1E-4B46-94BE-81D3379805FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7e579e35267e66e222e086eb9001c9fdf736e1","datavalue":{"value":{"entity-type":"item","numeric-id":5898825,"id":"Q5898825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3072543$F1223B03-E200-47B6-B2B3-6B04636BF4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a020c81dcc13fb15833e9e3035edc986ad1b696d","datavalue":{"value":{"entity-type":"item","numeric-id":2363960,"id":"Q2363960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e087a0d5858a3972978631cc937943aca2893ca0","datavalue":{"value":{"amount":"+0.8690339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3072543$A431117C-295E-4E2F-A583-D1742897CF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf8c5c40567176a858187c82c9d65f5d873a445","datavalue":{"value":{"entity-type":"item","numeric-id":2965517,"id":"Q2965517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e087a0d5858a3972978631cc937943aca2893ca0","datavalue":{"value":{"amount":"+0.8690339","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3072543$8F836A41-D844-4A28-856C-FC495820CB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6abbb6f60de66d5fb4fae4001b3aacc70f11953","datavalue":{"value":{"entity-type":"item","numeric-id":5207133,"id":"Q5207133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14df1a6d6bd19387426bbf57e633c7c1728e2b29","datavalue":{"value":{"amount":"+0.86796516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3072543$8F2A5999-CC1F-471E-811B-2F13F7AB5C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5847e18a373db88e19809686a67af0b572c29f09","datavalue":{"value":{"entity-type":"item","numeric-id":5501191,"id":"Q5501191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a5ddabefa9a93098f82ed7d3bc178c66b4b152","datavalue":{"value":{"amount":"+0.86742425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3072543$B5C45BBE-5ECB-4408-813C-A1A12350C684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64430f2f2bf07ae789d0daa263a5ae4a6c7776cb","datavalue":{"value":{"entity-type":"item","numeric-id":4678943,"id":"Q4678943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7f0614c1f844a7d3f55afcfd7752127a607c6a2","datavalue":{"value":{"amount":"+0.8577045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3072543$57105B1E-8F7F-4B0D-87BB-0DA69F996CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1db55851e64df32350e71ebebb567870d53e424","datavalue":{"value":{"entity-type":"item","numeric-id":4647111,"id":"Q4647111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e310280c7f44a480bb5be9e65b7fbdc559ce8f6","datavalue":{"value":{"amount":"+0.8518991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3072543$1BB4E56E-A002-4E0C-A575-ABC683875DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d4fb9568a7bd9b4eebd05bcf19edb58a76ced7","datavalue":{"value":{"entity-type":"item","numeric-id":4651526,"id":"Q4651526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c2ad9da151bee7808ce2d092b63ef9c2f57309","datavalue":{"value":{"amount":"+0.8488686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3072543$4DB27FF1-AA5C-454C-BA3E-8D44BFF016AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebc9a166428cc7afc81fcddbc61d4b7d4b5232e3","datavalue":{"value":{"entity-type":"item","numeric-id":4779634,"id":"Q4779634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"843e329128299ecccc23ce3360d46a96a951f317","datavalue":{"value":{"amount":"+0.84771585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3072543$9AD376A5-14DD-443B-B3E7-393324C5F940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e0534d185719c7adfb2b1e7703ec21ddcef35d","datavalue":{"value":{"entity-type":"item","numeric-id":5107220,"id":"Q5107220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41864fc76d918bb26fd8cc6a3bb2b9a73438de12","datavalue":{"value":{"amount":"+0.8465096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3072543$53E3BD63-C350-4EE1-9A6A-617B67F42C5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3072543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3072543"}}}}}