{"entities":{"Q3783627":{"pageid":5813533,"ns":120,"title":"Item:Q3783627","lastrevid":52592420,"modified":"2026-01-23T01:39:55Z","type":"item","id":"Q3783627","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047185"}},"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":"Q3783627$8F579B3F-42D6-4E50-9F72-9ADE96497195","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfd4691ab4375a0b789b19eced60bc2ba99906ba","datavalue":{"value":"0642.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783627$ADD31E44-FB01-46A6-86A0-A9DD979243FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fda3d4e929461ac920e09794af20aa29c8a8fdfa","datavalue":{"value":{"entity-type":"item","numeric-id":3680266,"id":"Q3680266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3783627$7FB30CF1-9C27-40A3-AB8A-DEA2AD6C8A40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3783627$96A6D17C-9D69-43D2-A1D3-EEEE70B0FF60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783627$A28F5512-C7AC-4DD4-830D-DE4ED2ACEB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783627$148DD9B2-9580-4586-9E21-CA9432AA829B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5987a7a0beb0d79546a558e51a71f7f8381f7b4f","datavalue":{"value":"4047185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783627$3B5DEA45-EF72-4BEB-B533-A67BCD841C40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ed1b2ba167230a9136fae7fa7f544041194248","datavalue":{"value":"Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783627$400A535B-FF2F-4B07-843C-587AA9BF1A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783627$2C1DA78D-70A8-4D3F-B164-6422485D6553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783627$A8175563-06D9-45E4-AB59-5A71CD3BFE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05d4a3f83dd763dfcf6320c07980904c5d09d2cd","datavalue":{"value":"algebraic completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783627$B8B11DBD-F46E-41B9-8BC6-76CC66476C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0854564cc6e31388e6505bc9360816482dc9c0c4","datavalue":{"value":"inference steps","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783627$2DE30B0C-F62C-4872-BF85-417A778B0251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"057a98acbff007880a1e977b5937bac91a445c70","datavalue":{"value":"unifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783627$054A1238-6606-4D05-A991-FF246CF594FB","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":"Q3783627$0FDDF3F5-1516-44FD-9747-97514CA3A796","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedc5b14f6bf4ebd7c81738d65d48c8ebbd2517a","datavalue":{"value":{"entity-type":"item","numeric-id":2723902,"id":"Q2723902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f32b9b0328c6cdcdb8546d8c5521b46d2818cd4","datavalue":{"value":{"amount":"+0.8307599425315857","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":"Q3783627$FB4876C8-9E0A-494A-855D-0306E42034EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e22139889fe6a0c06c71328055c35a5e40949a3","datavalue":{"value":{"entity-type":"item","numeric-id":3818295,"id":"Q3818295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e99b82c6c30b802c3850bbfb5a24dc5cfa11e04","datavalue":{"value":{"amount":"+0.7951787114143372","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":"Q3783627$0053A22E-C26E-4A97-AB4D-77D5D612F231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39835574666932a9f226413e82925155b1598e01","datavalue":{"value":{"entity-type":"item","numeric-id":3338214,"id":"Q3338214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e4db3b3943333a0681a8c7721f201ce74cce3e","datavalue":{"value":{"amount":"+0.7905538082122803","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":"Q3783627$F10A8860-3991-4AF8-80D6-F96FFAFC751D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319e919e54ae19af5725b0d7ca2380a762f4acbd","datavalue":{"value":{"entity-type":"item","numeric-id":1182107,"id":"Q1182107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7fcb4345119a3f05346389f7f4108a74a1d7dc","datavalue":{"value":{"amount":"+0.7896020412445068","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":"Q3783627$77DB1D76-EF0D-44E3-95A4-820FF297A6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32f6ce882750b852e0f4628776c07bf87adb1a1","datavalue":{"value":{"entity-type":"item","numeric-id":4002997,"id":"Q4002997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1530f5f596b2f6a5e8eb6b65d564f5ce6c129b75","datavalue":{"value":{"amount":"+0.7882750630378723","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":"Q3783627$FF62F292-15F3-43C4-834A-79D3A60FD481","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3783627","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3783627"}}}}}