{"entities":{"Q3782835":{"pageid":5812741,"ns":120,"title":"Item:Q3782835","lastrevid":52367807,"modified":"2026-01-22T11:50:10Z","type":"item","id":"Q3782835","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045219"}},"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":"Q3782835$D3E2FA27-77B7-4D05-B3C2-C6FC166AD7C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03911527a42b7e9fd82310b1a9d734271fc2b56c","datavalue":{"value":"0641.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782835$BDFF6ABB-BD59-4904-AD13-23951C64C6BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ddfff015106a69897ff935dacfa3721a8a71f5d","datavalue":{"value":{"entity-type":"item","numeric-id":3773390,"id":"Q3773390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3782835$C8F2705B-363B-4EEA-BB27-D72DA317196C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3782835$14CB0D49-40E2-4643-BC5A-A54BBC5C1C18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782835$F0D132CC-2E21-4D94-8010-B5DC1FB5AF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782835$6024AD96-5717-46FF-9388-C677FE597E69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7bcbf5dc09116aaaa01ac86591c9141ae2da6e8","datavalue":{"value":"4045219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782835$DD1F4FC1-AD4D-4DA8-A099-81A0881636D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9097f5d131906574058554916f9f2c70fb78657f","datavalue":{"value":"theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782835$54F93828-9709-4A16-874B-E0698DD5AA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c6e2fb2726e4fa02bd81a23a65511d456730634","datavalue":{"value":"first order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782835$CD8DD787-0494-4CFD-92A2-988791B647EA","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":"Q3782835$43B9C2CF-E492-43BE-A46D-613F7632D18C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db130813cb2b670eac4a4e9f4d0851d3bb14429","datavalue":{"value":{"entity-type":"item","numeric-id":3773391,"id":"Q3773391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1ff66ec7618ef71354e4dea7a5d13f9af53840","datavalue":{"value":{"amount":"+0.8789133429527283","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":"Q3782835$70911C34-DB2E-4A37-A2F0-BF07BC7FE243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cfe35f01597c59a79d7085293ee38ec71a3c4d2","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2999efae69b94874f5c566c32654b1234bf72588","datavalue":{"value":{"amount":"+0.7270607352256775","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":"Q3782835$E21527E4-403C-4010-B657-82E5AA758F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e476e8b83f9585570206cefe1255d6663a8fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3745826,"id":"Q3745826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2999efae69b94874f5c566c32654b1234bf72588","datavalue":{"value":{"amount":"+0.7270607352256775","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":"Q3782835$7A3C401F-79B8-43BA-8B0E-67F3281EECF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26f64c64a1efb67e6812e0a9b7179deaf094799","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32a250cae8c70fc8b7e7841d928e7010ac5ebd5","datavalue":{"value":{"amount":"+0.7204806804656982","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":"Q3782835$CC0D149A-E280-49CF-873E-F44022253D2D","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":"93d232088696570045f118ae59c204b9c379ab7a","datavalue":{"value":{"amount":"+0.7035123705863953","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":"Q3782835$FD466220-5A2E-4CD6-8609-1BF1A762FB00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3782835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3782835"}}}}}