{"entities":{"Q4386973":{"pageid":6416572,"ns":120,"title":"Item:Q4386973","lastrevid":46523565,"modified":"2025-12-24T23:25:21Z","type":"item","id":"Q4386973","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1149450"}},"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":"Q4386973$51BC2BC1-9314-4EC9-AAE5-A19C875ECB26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24f270f7f7e1269e1b3292acc47ed0ca0888ebc3","datavalue":{"value":"0894.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4386973$E462619F-AA84-42DF-9D6B-8FE7D838557B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02e0ea8672a19da323d4689ae7e1a0c87afc535f","datavalue":{"value":{"time":"+1998-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4386973$DC206283-14A3-4C31-BC3A-8F2B3D705E5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4386973$5279F653-9EC1-4703-BE0C-ACBA5853EEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4386973$12AEA98F-61B1-490F-A07E-A9B8C8E39DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4386973$BFA81B53-4DA1-4159-9972-3EF45E974F2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"259eaaf573a7ac44a184cc68d02142b4cd9429b1","datavalue":{"value":"1149450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4386973$A11DCB6C-7984-401A-A94F-82FE4EACFF8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4386973$9F8D8692-1AAB-4B0F-BB51-4ED37487D348","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdaa763056574d670db49d3b9b4fb6f07d823420","datavalue":{"value":{"entity-type":"item","numeric-id":255286,"id":"Q255286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4386973$7B90234C-9526-4429-94DE-ED5742E1C3C2","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":"Q4386973$816E52B3-80CC-4612-A5C8-E3FFF32622BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1542b1917d1dace1443121e6e07d7455c11f796f","datavalue":{"value":{"entity-type":"item","numeric-id":5236431,"id":"Q5236431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94661b1c438da85be20485ea0ded5ce74cb5578c","datavalue":{"value":{"amount":"+0.9331761598587036","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":"Q4386973$4BC996BD-CD6E-4E3E-9888-CA8828F4A4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52128a4ff9df8ad00c67ec7b2a15fe86cfaa41a","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f5a235d6d5039f7f4668eae28e2c116c141286f","datavalue":{"value":{"amount":"+0.7967898845672607","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":"Q4386973$04CE6EB8-59E3-4142-A701-59E2770FEC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe8ffcb76c6cf6c7b822083e3852134fc448836f","datavalue":{"value":{"entity-type":"item","numeric-id":1924777,"id":"Q1924777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"256d7f9c6fe40c535f1492efe87425b9f88f7a34","datavalue":{"value":{"amount":"+0.7597877979278564","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":"Q4386973$2954304F-6045-4258-ADF8-7A013751E084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afdeaef4acc3d8ca1029af66ffa2b917f9877a4a","datavalue":{"value":{"entity-type":"item","numeric-id":5250311,"id":"Q5250311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d74993f64f0949410a3aa7b2df90e16135220b","datavalue":{"value":{"amount":"+0.7563247084617615","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":"Q4386973$61C696DB-BC7E-4B2F-B156-033ED91DDA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c02e6a3cfc0061428a0bd4dfd93c2c8f84aaaf","datavalue":{"value":{"entity-type":"item","numeric-id":2825407,"id":"Q2825407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f1a7191a4f5c5d179fb6f32cee42878172a670","datavalue":{"value":{"amount":"+0.7501604557037354","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":"Q4386973$3E488BE9-DF36-4238-8033-26F42D844BB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4386973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4386973"}}}}}