{"entities":{"Q4375199":{"pageid":6404798,"ns":120,"title":"Item:Q4375199","lastrevid":47004462,"modified":"2025-12-26T01:01:27Z","type":"item","id":"Q4375199","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1110839"}},"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":"Q4375199$9095CA88-7C37-47AF-AE4A-BE1357F7434B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f9a289c7e03dabdfef2e04098a4b25e4deedb3a","datavalue":{"value":"0887.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375199$E5C78952-3A61-49AD-929D-6E0ED70AB286","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"798125e2bf84cd3371872ac90f65bc577c3ec746","datavalue":{"value":{"entity-type":"item","numeric-id":286961,"id":"Q286961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375199$6B7E8CC6-DD8D-482B-A00E-5B4987B94EC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a0b49252c47513608a2024e704aeac58803f16a","datavalue":{"value":{"time":"+1998-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4375199$D4FEF3BA-FDF6-4FA1-A1D0-DD2FCBF61CE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375199$9A70F77C-3397-4C49-905F-263F02FC2AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375199$59AA213A-1B19-40D9-8D7B-99544A0D6DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375199$B4A0262A-0313-4D32-964B-F853019E2931","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85cee41a0e8def0b8e71a8675af40e869fb9d8ab","datavalue":{"value":"1110839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375199$8E75A498-D579-4E06-ABAF-54428ABFE4E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13bd2d4c9caa34aafe77e42955d703ea6fdcf0d5","datavalue":{"value":"automated theorem proving methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375199$66262076-021E-4467-9971-709A8850B450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dd46f012396d7049f73532ed5b8919c63e815fb","datavalue":{"value":"Herbrand Skeleton problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375199$DD6B01E7-D771-4CA9-805E-462693B3DF44","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":"Q4375199$AC2193AE-358B-41A7-9210-3949ED524612","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0453a8810dda2b3e0c388b4f63039f7110f22d7e","datavalue":{"value":{"entity-type":"item","numeric-id":1575636,"id":"Q1575636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"500a4f253ecff92ee11e6a10fdc1635b6f3dc67b","datavalue":{"value":{"amount":"+0.907271444797516","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":"Q4375199$B2D9FB4C-4AE0-43A6-B3D7-9F66FAB0424B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956df42f4de023d55206f1fd8e1ca2e51671d53c","datavalue":{"value":{"entity-type":"item","numeric-id":3838767,"id":"Q3838767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273d2a6a6f6b2fbb950da5e280f78900cb5691ac","datavalue":{"value":{"amount":"+0.9005110263824463","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":"Q4375199$7D426D65-C872-4EB7-BFFE-389CEDD7B21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88eda265a188fbf1c26d6ec5dd7897033546d25b","datavalue":{"value":{"entity-type":"item","numeric-id":4364523,"id":"Q4364523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103438b2f4172ca9f790103f1856e2ec90843a39","datavalue":{"value":{"amount":"+0.8976487517356873","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":"Q4375199$F18BEDE4-5C0A-4D3A-9539-0255B02FCCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da2b6846de4fed4ad457da4792188d08e352b183","datavalue":{"value":{"entity-type":"item","numeric-id":671659,"id":"Q671659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9882e71ab108b0bd022f6600b882a5f54c192a4","datavalue":{"value":{"amount":"+0.8878076076507568","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":"Q4375199$8DCB5EA8-D345-426D-A821-4D6A08130BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36922c00bbea12382b340d993614db582456c544","datavalue":{"value":{"entity-type":"item","numeric-id":1272615,"id":"Q1272615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67578830618ba7d88bb8692a4e3fdb816874c366","datavalue":{"value":{"amount":"+0.8664392232894897","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":"Q4375199$72AB7760-C438-4650-8408-CE3563A4D05B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4375199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4375199"}}}}}