{"entities":{"Q3682461":{"pageid":5712367,"ns":120,"title":"Item:Q3682461","lastrevid":50091973,"modified":"2026-01-12T22:15:20Z","type":"item","id":"Q3682461","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3904557"}},"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":"Q3682461$6CBE062A-D8AF-4EE3-9D3B-750F51D7B585","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e833737bdb18fd6e03b42cd77cd6f324cc7fba9","datavalue":{"value":"0567.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682461$F2098C3B-A29B-483E-A78A-8765C3330549","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3682461$592716FB-F05E-4B59-B654-D739020EE2F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682461$57E08C15-5292-4A0E-84D4-A97564852E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682461$E312A06E-FE24-42DD-9AA1-F728BE95526F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682461$C506A92B-B352-4AAE-B203-37EDF9EEE6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682461$2D4258BE-B75F-4EB1-804C-6EA416012B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6d1ec52031732a7dc8db0752c0fcd99128394879","datavalue":{"value":"01A75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682461$71909614-ED35-485E-9E3F-5874CBF6F693","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b687040662184909a3467730a018ab3bebb69fa","datavalue":{"value":"3904557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3682461$8126C05E-EB61-472C-AC48-FF71C655F327","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682461$ACF4001E-929F-4DFC-871B-A71653E8CDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0a8a44efa33e70429c838fbf25a13a77956cfa7","datavalue":{"value":"automation of reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3682461$DADC096A-8CE9-4786-B1BC-41534D28A922","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":"Q3682461$F5C29F7E-560C-40E3-9440-778B82892D3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb0d0ae59343cb96fca8d4fd6b3a0b5b6181400","datavalue":{"value":{"entity-type":"item","numeric-id":3682462,"id":"Q3682462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3150f64a04f27db8f802366710627a3dcdd918d","datavalue":{"value":{"amount":"+0.901228666305542","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":"Q3682461$7A33D739-4414-40CA-8C6B-7DA886041910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be59899f1c5070152f1be6bf1cc78a0b2b15c08","datavalue":{"value":{"entity-type":"item","numeric-id":3484382,"id":"Q3484382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681b1dc6e485a3eca0502de9aeec22469d238c4d","datavalue":{"value":{"amount":"+0.8110893964767456","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":"Q3682461$2001BED4-0784-44FE-B28F-55480ECC6997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de035f677bc940e95a40c03e8df5350bb9add37b","datavalue":{"value":{"entity-type":"item","numeric-id":3216155,"id":"Q3216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbbc69ab6bc9c288d6afe07ce9c82d68c743ff99","datavalue":{"value":{"amount":"+0.8080378770828247","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":"Q3682461$DB13981F-A5C9-4FA1-BC8E-D7BD4BAD64D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2735f4a7395cc827f99a97ae68d5ceac0969424","datavalue":{"value":{"entity-type":"item","numeric-id":1159599,"id":"Q1159599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46587b65b8567a97c2161ed485c00300df396055","datavalue":{"value":{"amount":"+0.7982990145683289","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":"Q3682461$EFA8C120-8C0D-41E2-868C-50124FE31FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a61fa3182d2eef385940fef7227e3b94e96a02","datavalue":{"value":{"entity-type":"item","numeric-id":4761817,"id":"Q4761817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce8d37f25726eb50f7c64336acd3dd4678a4ce8","datavalue":{"value":{"amount":"+0.798069417476654","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":"Q3682461$EB21CBCB-9E25-4380-8031-8C2C406C7C96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3682461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3682461"}}}}}