{"entities":{"Q5875674":{"pageid":7905225,"ns":120,"title":"Item:Q5875674","lastrevid":41140578,"modified":"2025-04-18T11:44:49Z","type":"item","id":"Q5875674","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650336"}},"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":"Q5875674$A42AA139-7E22-424A-AF77-D3A7CA0179F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce3235ec129ad3625a486882d6986bbad2750a54","datavalue":{"value":{"entity-type":"item","numeric-id":386989,"id":"Q386989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875674$BD066155-7B26-407F-B412-19940C85DDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d804723ef6f5838971838d6e3c57efe0d4f0afc3","datavalue":{"value":{"entity-type":"item","numeric-id":2118294,"id":"Q2118294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875674$25138F9E-AAD4-4837-A97F-C4C6DAB5ACC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875674$359443FB-D539-4344-8027-1F8BFB1A920E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875674$6AA1FEF5-BE4C-48D1-99FF-8F5296B039EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875674$9BBCEA3C-8CA2-4999-87BA-DADD4808E3EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c85a1542e83ca2e03f0a5ebfa5021cb63a710cd","datavalue":{"value":"7650336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875674$1AB624FE-3F3A-4FDB-9D32-AEE042D0B161","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ba9b57c8aa017016096d074e724eb0d87e7253b","datavalue":{"value":"Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875674$86BE3732-D4D3-433E-ABB6-585C3598747E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875674$3AE2EDFE-CE6A-4846-B2D8-7079AC78ACB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dca5b755a3b33e79b67a683448b6bb0d1d64360","datavalue":{"value":"transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875674$1716514E-8D80-4CDA-9B8B-C9D554152A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875674$325CEA56-34AF-4328-A6A6-E7C650A8B408","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":"Q5875674$A4C2E40A-5174-432E-9780-08CCC020116C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b5b25d7a506d5a07fe4be9d0779306ad5abb860","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2019.39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875674$07A9AF17-134A-4A2C-B28D-D100F43EC225","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4a7db9d77086cf600e728997989a7743d1081b","datavalue":{"value":{"entity-type":"item","numeric-id":4272211,"id":"Q4272211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4bd522087f7719c7cd97f58896da3152f087787","datavalue":{"value":{"amount":"+0.9736267","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":"Q5875674$7860473E-6400-4170-B958-BAF30B06B5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6526ca13913b69bbff784d80b89f80128a7e5f8","datavalue":{"value":{"entity-type":"item","numeric-id":4885886,"id":"Q4885886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5aaed6a4fcae0e5486893da4dbcdc42aa8ee26","datavalue":{"value":{"amount":"+0.92992353","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":"Q5875674$D0693E8D-90FD-4A54-AAB0-4BDE64082C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d4ff1b62efe04ea757a5901d5756a3cabdc9c6","datavalue":{"value":{"entity-type":"item","numeric-id":1084377,"id":"Q1084377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5da3f7c4a57216d2f10bbff6ecd10cc0c9948f","datavalue":{"value":{"amount":"+0.90552723","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":"Q5875674$C6D10A1E-6759-4475-8257-010080FAB3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f8c56b8555fb4042cea9879eeeac2c6ff7cd08","datavalue":{"value":{"entity-type":"item","numeric-id":1943904,"id":"Q1943904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d3f91d9824e299ecfa27bfdd57af1f7ef51535","datavalue":{"value":{"amount":"+0.90515935","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":"Q5875674$D2EE3091-7841-4B87-B39A-BFA27F715FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de7b75b7707cc6d4952b405c376fd6d7f6943b7","datavalue":{"value":{"entity-type":"item","numeric-id":3705363,"id":"Q3705363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e0638fcd66f42a3b06927ac605046dd666ff99","datavalue":{"value":{"amount":"+0.90368915","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":"Q5875674$7115B5FB-E3B1-425D-A70B-1763EA6858F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668f5ed7ed9eb6818b2b4e835c7825a40ab00124","datavalue":{"value":{"entity-type":"item","numeric-id":4848629,"id":"Q4848629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20fcfdfd2abf023ac8e597d1679a90f4cc7dd2af","datavalue":{"value":{"amount":"+0.89278483","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":"Q5875674$EB79B0A2-4995-4101-8FA8-50677EBF902C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25c5dd9b6a1c31dba400254637657324b772dcc","datavalue":{"value":{"entity-type":"item","numeric-id":735833,"id":"Q735833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f700e74b8088fd69f8ef3d0ae67defcc83ca822b","datavalue":{"value":{"amount":"+0.88977516","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":"Q5875674$36443368-07E2-4573-BE30-EFCC40BD0BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa35160d794698c8b740f0d58d7f4bf77af1e18d","datavalue":{"value":{"entity-type":"item","numeric-id":3426044,"id":"Q3426044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db23bb8361343975c80648341e72ab3ad927de9","datavalue":{"value":{"amount":"+0.87995595","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":"Q5875674$27B12892-1842-416F-B8A2-39C4993DF76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8f4d23af24543cdfc78c73f67f3c8b5329b113","datavalue":{"value":{"entity-type":"item","numeric-id":4724548,"id":"Q4724548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbba7d47949f2c14d01b5e150a26c426873de882","datavalue":{"value":{"amount":"+0.8788458","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":"Q5875674$B946C444-2772-48BE-AD73-2AB7F2D5E453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e899c215c8483c8f200ad6151f2ac3f697b13f6d","datavalue":{"value":{"entity-type":"item","numeric-id":3081619,"id":"Q3081619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3337348a25ad20bd8b43b43a348e45f8c848ffed","datavalue":{"value":{"amount":"+0.87567735","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":"Q5875674$AFFB9DC6-F908-4B87-BCE5-2D2FEEB8CA02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875674"}}}}}