{"entities":{"Q3181650":{"pageid":3192358,"ns":120,"title":"Item:Q3181650","lastrevid":45624976,"modified":"2025-12-11T13:44:43Z","type":"item","id":"Q3181650","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5613975"}},"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":"Q3181650$D2B807DC-5873-4531-B955-6217E9B3946F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90c35324438ed798435c6780f14ea0a88b45767b","datavalue":{"value":"1187.68526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3181650$65F34733-0714-4AA5-9B34-78987F39D56A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1652c8bb416b15390eaca5503d28dbde48b415d","datavalue":{"value":{"entity-type":"item","numeric-id":3181649,"id":"Q3181649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3181650$B3EF67C3-21A9-4798-BCB3-72B49CA7DA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3181650$D5C45B2C-78BA-40FF-B45E-4666A1A2A71B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93f647a4ebf59f456db8e4a403723e6cd39fb2e6","datavalue":{"value":{"time":"+2009-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3181650$D519F0D4-B3EE-47B6-8610-D8E88FC9E985","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3181650$3A6A1526-BEEA-4B2D-9409-97DB46F78DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3181650$7A36C7D3-B7C3-4FCE-9DF6-FB63678945F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3181650$D9F99B71-765E-4FEE-A5C4-472999ACFC05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed5841f122edbe5a4b35aaafb91916b7548c11a0","datavalue":{"value":"5613975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3181650$212746D1-A770-4995-BFFF-979239F2DCC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3181650$BA820164-06A6-486E-A30D-0438ECA91FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3181650$02CD758C-46C0-4B5A-AB51-ED6CDB35B764","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":"Q3181650$CABB1383-D8A4-4A72-9EF2-97BE883A5CD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b626e2697ac52448d144f29c2944ead2fb3986","datavalue":{"value":{"entity-type":"item","numeric-id":5384256,"id":"Q5384256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c13c59792469e95a5e0ace2b8491981476d39366","datavalue":{"value":{"amount":"+0.86686325","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":"Q3181650$31B5897E-3CDD-4788-AC10-33773D7BBA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6df990579246f4500af0c5a1ee6d64c96622b8d","datavalue":{"value":{"entity-type":"item","numeric-id":2692219,"id":"Q2692219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa2ffb0e211fcea1ce71ca0814a8f2a5bb65b39","datavalue":{"value":{"amount":"+0.86000454","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":"Q3181650$938EDDCA-5EE7-42F1-96E6-8B7EFF765D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef4a2946459eab0b11dd23eee4e03acd0d2c1899","datavalue":{"value":{"entity-type":"item","numeric-id":2466869,"id":"Q2466869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a3a1a53e950a8fc5e38ab6d3d526a90564cf4f","datavalue":{"value":{"amount":"+0.8587286","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":"Q3181650$6FE9EBDE-9E12-42DB-B2CB-1B65C7F96E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f2db8e03bafd8eeb63f2c8eff2d8e0dbf0a58b","datavalue":{"value":{"entity-type":"item","numeric-id":5277743,"id":"Q5277743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fc62e4eed9604dc9e6de56fd2e26debbe868258","datavalue":{"value":{"amount":"+0.8587003","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":"Q3181650$847E15E5-795F-4FAA-A8C4-2FEF115B25F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa7bdae693216d7f67ac726ebf3ab505aaf4170","datavalue":{"value":{"entity-type":"item","numeric-id":2784492,"id":"Q2784492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"836bbaff1e84f5bcad513f97f262841a433e0150","datavalue":{"value":{"amount":"+0.85644805","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":"Q3181650$55623890-F0B8-4DF8-A199-50D0AE561CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564012405708b6c6f09a5efd00b2e4ccd103b7dc","datavalue":{"value":{"entity-type":"item","numeric-id":5444704,"id":"Q5444704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e5bea1df7b0a77c10c534b45743c84c71e5b05","datavalue":{"value":{"amount":"+0.85535","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":"Q3181650$F4A9E894-6C16-4990-B42F-AE32122637FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94be23c56ddce9ab280c0a5914a4fb56ebe43887","datavalue":{"value":{"entity-type":"item","numeric-id":4770385,"id":"Q4770385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e0ecdd1f30561fbbb36d1c10fa2e84dcb33ad1","datavalue":{"value":{"amount":"+0.8501469","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":"Q3181650$1F64FF35-61D4-4204-B20D-84BF3C104058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f019b44195a3d2593da1fb9bab990f6fb2515cd7","datavalue":{"value":{"entity-type":"item","numeric-id":5393367,"id":"Q5393367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165749cd16d3573f94c284c43ac4cea381ab14f6","datavalue":{"value":{"amount":"+0.84780383","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":"Q3181650$BC7D1D0F-87BD-4C0A-B014-62A92E4A153A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3181650","badges":[]}}}}}