{"entities":{"Q4375774":{"pageid":6405373,"ns":120,"title":"Item:Q4375774","lastrevid":47000739,"modified":"2025-12-26T00:48:32Z","type":"item","id":"Q4375774","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114006"}},"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":"Q4375774$5A1E4313-01C0-4E14-BF1B-96F01C7403E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4d2d97704ea430f58edd2510c16c51e58b84637","datavalue":{"value":"0885.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375774$5F87664F-F4D8-452B-953B-A91B430BE093","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5584b61080269b096f785173ffd49061cb7d63a9","datavalue":{"value":{"entity-type":"item","numeric-id":673133,"id":"Q673133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375774$02A44ECB-288F-4BDA-A64F-DBCE840272BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56714faf6ece7e39af63c7a563e9caf41a37afd7","datavalue":{"value":{"entity-type":"item","numeric-id":410710,"id":"Q410710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375774$FE7F9018-F1CA-4BD4-8263-C6C491D91F10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b347c1d8ecdf364bbce1657b40174d833d0dfdc1","datavalue":{"value":{"time":"+1998-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4375774$DE14F9EC-0171-4E2C-A17B-DF16CAC45AF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375774$BC64E6FE-A6B9-40B7-9574-6455E39FC378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375774$4730BF11-DCA0-484E-A882-44DE49908A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac7dbdc6439da3df4db829af9393786bef4c8ea7","datavalue":{"value":"06E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375774$B91D71C6-A6C7-46A9-A30C-FF42121CAA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375774$91B30F00-A0B2-44A3-A59C-5BDE52BBF769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375774$C25E924F-882F-4F53-8E45-F973B5255461","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"403b64d116cc009e977652100ca7cee5022f4689","datavalue":{"value":"1114006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375774$6D259C80-E85E-427A-8BB6-1F8F6B264DAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a8387c88a33b804751ee89e9f8712ef76782979","datavalue":{"value":"Boolean ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375774$08473415-2565-49C9-90CC-14DE1AE5F5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375774$8681DE13-6C68-41AA-A6A9-CF441213027E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375774$9C156DC2-586A-47B8-8CD6-3E4A65052375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2786917a6bb9401c4a21359a8ae284caaf99bf6f","datavalue":{"value":"don't-care condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375774$5F2AA2F0-C5CD-487B-9B86-9E9D14E71DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375774$ECE65150-EE57-4719-A8E0-7431695C9AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375774$6028C519-17C5-46C6-AA5F-0C9A94FFADA4","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":"Q4375774$3CE4291C-8B5E-4018-AC3C-4CA853329477","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7557b9144f417c68fd7e7cfe85fae331a5a71f0","datavalue":{"value":{"entity-type":"item","numeric-id":5387914,"id":"Q5387914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade103693a951c58603b01dcebc0e5d96460edcb","datavalue":{"value":{"amount":"+0.7669439315795898","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":"Q4375774$FF27A57D-4205-4D39-9B7E-381BE0C33684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba1a18a12747bd61dff618a5e1b20bc7bc83e78","datavalue":{"value":{"entity-type":"item","numeric-id":1112626,"id":"Q1112626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263ebbfdd6d384dd829087042eaa98b54b308e59","datavalue":{"value":{"amount":"+0.7522655725479126","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":"Q4375774$2DF6D5AD-DA4D-418E-BB3D-B3ED02EB28AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c38face328b4c1e70e2e9b82548f48c5c0aa9ef","datavalue":{"value":{"entity-type":"item","numeric-id":4918119,"id":"Q4918119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04072ea92df0fae403643f0252fed3353b6b8685","datavalue":{"value":{"amount":"+0.7491500377655029","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":"Q4375774$B7A0E93A-DE57-411D-9339-D4A81BA0532C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea32a5ca8dbd8b2ddc2dda8e56ac85cbdf2890bb","datavalue":{"value":{"entity-type":"item","numeric-id":1816155,"id":"Q1816155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25fe88e61e0ab84e6536728f75798b864b706bc","datavalue":{"value":{"amount":"+0.7383586168289185","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":"Q4375774$94CA22AD-DAA2-40F3-9167-CCDB2B5124C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b361fe61a78f182c4a7cd1550f78f19ee4a411","datavalue":{"value":{"entity-type":"item","numeric-id":3997889,"id":"Q3997889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd0a018ba1b290bb43860c131b0d45614776fee","datavalue":{"value":{"amount":"+0.7355106472969055","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":"Q4375774$5245B881-9F36-4EEB-8A2F-7F2047D36F5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4375774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4375774"}}}}}