{"entities":{"Q3126575":{"pageid":3137291,"ns":120,"title":"Item:Q3126575","lastrevid":46720413,"modified":"2025-12-25T11:27:46Z","type":"item","id":"Q3126575","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 994744"}},"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":"Q3126575$2A4816D2-88BA-416A-9B74-E9A215F862E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14e5c7f9c044ce5a89ed4b99accea6d4869e1b93","datavalue":{"value":"0866.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126575$F9FB7EA4-7085-45AF-A595-95BA42542A0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fb06e491ce3acdf3ed01fd3fd7199d6d3e53819","datavalue":{"value":{"time":"+1997-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3126575$297CD76F-947A-429E-AAC8-B4D97022A713","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126575$0EBB3B7B-6B9C-472F-8D93-35B567045A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126575$6F5EF05D-C0AE-4496-9CF5-528125B9497C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8edee87e9b79156ee051fd09e8870ae1a7d0bed5","datavalue":{"value":"994744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3126575$031BB4D7-68E6-4059-BF71-35C3D5CCC6A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2db40c62fbba481c23c52e595e1d3bd4320088e","datavalue":{"value":"mechanical theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126575$B06EF3F0-F247-472C-BFFC-EE005173BF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ae530b4b595b678950122122d3c2d7b86bc0516","datavalue":{"value":"mathematics mechanization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126575$46A186DF-C0DE-4F52-AC83-0378FB05D885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e0e99c8a15dd087a2bb15dee60f401f0d900773","datavalue":{"value":"mechanizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126575$E69366F0-CEDA-4E1F-ABD5-BAFBC1650247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f86f4001710f9f8ac75d7198eb31f340e3e01d53","datavalue":{"value":"geometry theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3126575$604E1616-809E-4F0F-A8BA-70DEB0F49E94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"732d7894bb68f026286029206f7d75f5ebf8ecf9","datavalue":{"value":{"entity-type":"item","numeric-id":1329537,"id":"Q1329537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3126575$F0A6B115-C8EB-41D7-A9CE-496FB3DC2D5F","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":"Q3126575$70D50C45-FE89-4309-81CA-736225CEEBB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34167f5f4e3291372177430bc9398ea61f49ac9","datavalue":{"value":{"entity-type":"item","numeric-id":1329538,"id":"Q1329538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7160c4d73cd5320b3303bb841af10be84892853","datavalue":{"value":{"amount":"+0.8149940371513367","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":"Q3126575$7DD8713E-E099-42A6-8E81-0E079CDFBAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d2e078a253980ab448f3a708bdf868fd8cae7a7","datavalue":{"value":{"entity-type":"item","numeric-id":2765707,"id":"Q2765707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778e915446248d3411b2c22839ef85baa5e0f434","datavalue":{"value":{"amount":"+0.8098149299621582","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":"Q3126575$3C04664C-A65F-48B9-8D3C-5894E25DD500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d08cc44ffeea241be1d804c05939abb9a2c76c","datavalue":{"value":{"entity-type":"item","numeric-id":3571252,"id":"Q3571252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45bd90d2aa1fdc93ff13410d2cbae7095730afc","datavalue":{"value":{"amount":"+0.8074362874031067","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":"Q3126575$9040FA03-4802-4E14-9A99-3A78B7B5B43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77002fe3bd44662bfca327771f35170494665ce7","datavalue":{"value":{"entity-type":"item","numeric-id":3700869,"id":"Q3700869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b5c66fcd9b19f57611233eb47d23c3cf82dcc2","datavalue":{"value":{"amount":"+0.7995355725288391","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":"Q3126575$E3BCB6D7-A4B6-4DD6-AB53-7C8E0276E90B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3126575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3126575"}}}}}