{"entities":{"Q3795647":{"pageid":5825553,"ns":120,"title":"Item:Q3795647","lastrevid":53029160,"modified":"2026-01-24T02:02:51Z","type":"item","id":"Q3795647","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4061192"}},"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":"Q3795647$00BDEE1D-1F7C-4AF9-B61B-146A108E7206","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c1b42b158609184aa8b88fdb72a7e27b55b6535","datavalue":{"value":"0651.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795647$3FA92CF5-570D-44B6-98C6-C6372B92D0B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3795647$3ACB3A1F-A186-49DE-9B08-5D37616EA17A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795647$605FCD2B-16FC-442C-AE21-5C56C5D0BD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795647$73CE6362-9068-4D6C-B967-7F4AC0581399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795647$AC9ADE36-9037-4548-A93E-4933EE80CF41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77395681bd8211b62246769df3268236ac718081","datavalue":{"value":"4061192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795647$91B41B2C-3EBF-41E4-98CA-90BEB5312504","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3512b894f9acb97a092bda705ec7eb14b8a74529","datavalue":{"value":"resolution based theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795647$B3F0FEDD-1130-496F-A168-23BADCA1F960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a647e8b63540a3d995620928a5df1b86e8563587","datavalue":{"value":"query","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795647$01497B1B-4BB8-44D2-AA57-FE579A7617BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0807b66daa928e373874721498ba5f3975f2e47d","datavalue":{"value":"case inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795647$32853817-C897-46CC-827E-E3407B1F5F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1238605980366966f4d02bcf0b9825949934a892","datavalue":{"value":"OL-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795647$EFFD89D3-5E40-459C-AB86-42DCC19A978C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7b6f8359ae428980551aa34bc2a472f92dd04b","datavalue":{"value":"derived clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795647$61FB15E6-0CA7-4A12-A7AB-4D3B64825D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e09cd701d8ee5d1512d54c2136b42670623efa","datavalue":{"value":"reduction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795647$D5E199DE-ED00-4E5D-8837-39284A1E4ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6062b529df15d0eb0aa44db6ab3bce79e1aa193","datavalue":{"value":"marked subgoals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795647$192E6580-207E-4C92-AE51-771BA9C0100D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"996480f5bc593c7cf5332655e01df37e0991bf3b","datavalue":{"value":"dc-consequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795647$862166D9-4C6B-4DE7-A48B-EB09C1076C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57a384c71acc7e6baebea4e3cdfbb5bbc95faa0c","datavalue":{"value":"identification problem of the set of subgoals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795647$E4BD9DA7-5FB5-4818-917B-BA820FACD0B4","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":"Q3795647$9FF96198-443F-4D67-B863-C7B238D89B59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7e7b95f5adf9ba35f52a8280687d553baa58fd","datavalue":{"value":{"entity-type":"item","numeric-id":1199916,"id":"Q1199916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39a825f05917b06edf23d181737bed7e69ab9f73","datavalue":{"value":{"amount":"+0.7113492488861084","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":"Q3795647$F23119A2-9AE4-4622-8AFC-43BCCBB70399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6bd7ca72bcebffbdebe664c67493578ddda764","datavalue":{"value":{"entity-type":"item","numeric-id":5881306,"id":"Q5881306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f778c604a7b8e9f89f03d2c17660a35ef170dfe1","datavalue":{"value":{"amount":"+0.7085133194923401","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":"Q3795647$E800B438-5F55-4B26-B58D-BE363B3428EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"159c7a4c9be2b36eb4fe32d858a82e7cc8eb4dfe","datavalue":{"value":{"entity-type":"item","numeric-id":1187214,"id":"Q1187214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"808018c5e1e565dcef0e9c0f589275af7f0e0cae","datavalue":{"value":{"amount":"+0.7082086801528931","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":"Q3795647$114F52DB-309C-4FAE-9DDD-36872134E443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3034f0a23e986b7145402415674c1f9368832e32","datavalue":{"value":{"entity-type":"item","numeric-id":3789526,"id":"Q3789526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eccb06efca6fdc33a64dfef9cccb8efd15a7982","datavalue":{"value":{"amount":"+0.7073818445205688","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":"Q3795647$C4309734-7757-48A6-AA03-1723A675781E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5f03250e55a9177a254fab90c7ec9cd1f9d00f5","datavalue":{"value":{"entity-type":"item","numeric-id":1097714,"id":"Q1097714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc8a8f2ea86874b57bea98291b6c7b15edf0a5e5","datavalue":{"value":{"amount":"+0.6897065043449402","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":"Q3795647$AF8ED9A7-9552-438B-BCC8-4B946CEF17B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3795647","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3795647"}}}}}