{"entities":{"Q3976573":{"pageid":6006470,"ns":120,"title":"Item:Q3976573","lastrevid":46245157,"modified":"2025-12-24T09:38:10Z","type":"item","id":"Q3976573","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 19145"}},"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":"Q3976573$4A1624DE-8092-4B08-851F-FC0EE5C98392","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b7e1a6b90449c3896de7f0e748cf1d4b948e05e","datavalue":{"value":"0735.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976573$D5C05A22-E6B3-4BE3-B09A-A36BA6F9D999","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7af07974ad8783087ab1b975cd3d810e876a707f","datavalue":{"value":{"entity-type":"item","numeric-id":671654,"id":"Q671654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3976573$D138F46C-9554-4E36-8347-7322F80AF9BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3976573$E372FAF7-5267-4EE9-A9BD-72FAF5D26E21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976573$01F5CE65-18EA-4BC1-8900-25730657EBEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54e78c403450d161155b8e439cab38de6fe28607","datavalue":{"value":"19145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3976573$BD74E058-D62A-4EE9-8745-60A24A9147FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ff182748af46d5ba8ee8523b637317df7e2bafa","datavalue":{"value":"resolution theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976573$4BD69E2C-9479-47BB-A9C7-D97556A1A365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3ace044568a5a2576a5760d62c60253fc67156f","datavalue":{"value":"meta-clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976573$11929DC6-0DFF-4B6D-96BA-CFD5DB3338EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9ac767f80acc9f8567b7011bce2383ad734d3b1","datavalue":{"value":"unification of meta-literals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976573$403F5B62-F9AB-40DE-B823-40433729D3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22026358cc1d84f975e38349b0b466a37c9983d2","datavalue":{"value":"speed up","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976573$1A5F2FA5-2AD9-475B-9B70-E54F06D83C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33f9031846b26c1bc1886892d12311bdae43239b","datavalue":{"value":"meta-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3976573$333287D3-38F2-406B-86B5-7023E204A5C4","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":"Q3976573$A822277B-7281-4F02-A878-1DF9B95FF9BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2eb074edb079cee991e695dd0ad4ded7c688cc8","datavalue":{"value":{"entity-type":"item","numeric-id":4012176,"id":"Q4012176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72748643a3466be429a94a0395bebdad04a57a6b","datavalue":{"value":{"amount":"+0.7820290923118591","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":"Q3976573$37FA1B46-E853-4F30-8440-F478E9291777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d72b1cf3201e826373b30f24f35b6eeaa866a3","datavalue":{"value":{"entity-type":"item","numeric-id":3783620,"id":"Q3783620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1931ae014e5882f2d8556a611ad8e800c01e0b4e","datavalue":{"value":{"amount":"+0.7566823959350586","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":"Q3976573$22ACF753-0CF6-4064-9D7D-D51CA927EF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa3c244dea9e591965ff6db861d001cdd613ee4","datavalue":{"value":{"entity-type":"item","numeric-id":4676752,"id":"Q4676752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f4d52fd7c39d5e131e1ef80fe5d894e6695a1cd","datavalue":{"value":{"amount":"+0.7553846836090088","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":"Q3976573$9B078214-094E-4B77-949C-293D2F0CC48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8e5005867c76d8515ba681ed3a299e8fe3d0ca","datavalue":{"value":{"entity-type":"item","numeric-id":4459910,"id":"Q4459910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c026d9980b3939dcc24a22d62cd4520acdd49c4","datavalue":{"value":{"amount":"+0.7413567304611206","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":"Q3976573$4F50973E-709A-4ACB-BA04-A6B8C99793A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3976573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3976573"}}}}}