{"entities":{"Q3704917":{"pageid":5734823,"ns":120,"title":"Item:Q3704917","lastrevid":50464565,"modified":"2026-01-14T03:03:18Z","type":"item","id":"Q3704917","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3932427"}},"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":"Q3704917$3A6B0A46-4F47-43E2-AEAF-17A2270B2172","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"433539e4c34b4e04ae63987d72c0335f29c0a2b1","datavalue":{"value":"0582.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704917$88B1A4B8-D14A-48D8-8A65-A198B4570AD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d81225bab06711ff25835b9a7685484694bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":266879,"id":"Q266879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3704917$12219335-17D9-4C29-9BB5-9D08EACF8379","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3704917$78DE64F4-A874-4C4D-B083-BF827EC9550D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704917$441EDFFF-122F-4FFF-87E8-24CAED5D1FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704917$4A114A10-29C8-4D4E-899E-9AAB53F1D49B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d14db39833de897568c517e4b36774d3a01ce2e8","datavalue":{"value":"3932427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704917$0B416320-4D40-41F4-87AB-25DE43CDE9D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"090de1f8551a6b096f12a242b6ffe64d37376f6b","datavalue":{"value":"modal system T","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704917$0B38B79A-69BC-4091-9C8E-10F29054C1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704917$05C6DFFC-4022-4F33-9E29-81758D63042F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8136a8d5ff3f647557c0a1c99c6aa539e72aa8a8","datavalue":{"value":"constructive existence theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704917$9DD495C4-7788-4ED8-BFD0-1A70D7ACF04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b0079f826515421fca34e4e1bf1e96b9103a05","datavalue":{"value":"modal resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704917$28308023-EE12-407A-87BD-EE5B59C45B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a5e7ce90a9ecf46197a1937f0534aa2b790b99d","datavalue":{"value":"modal variant of linear resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704917$B942303E-4659-4F08-9A11-D46C49941603","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":"Q3704917$E3E5C7BA-B100-4AF6-AB9E-C6996D635CF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f7b269e781d4aa3c4ace2f7c3de9f877cc3c90","datavalue":{"value":{"entity-type":"item","numeric-id":4487263,"id":"Q4487263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263b24b4eeac31275d9f924753c9dfabad1e11a9","datavalue":{"value":{"amount":"+0.8934764266014099","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":"Q3704917$E0718FEF-BAB9-4FFA-A268-66FD2FDED134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34a816d843ad636333971f696c91c7c1a4e5429","datavalue":{"value":{"entity-type":"item","numeric-id":1118577,"id":"Q1118577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49b90fe6e3048205f6916d32b467bdc91695859","datavalue":{"value":{"amount":"+0.871204674243927","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":"Q3704917$F1FCBCB2-AAC9-4C67-A36E-1114F02877D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92939b86137af1b0455e2845a510c8f884a99fbc","datavalue":{"value":{"entity-type":"item","numeric-id":1178699,"id":"Q1178699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087316e0bd5833093a2bbc63a739004dc5285a55","datavalue":{"value":{"amount":"+0.8629551529884338","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":"Q3704917$CF41F62C-3D79-470B-BD61-AAB918A94EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d50e1c0df666fa91adb1a99dc10e55d393c6d9","datavalue":{"value":{"entity-type":"item","numeric-id":4916086,"id":"Q4916086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"186d664bcb4357e556f8f08b943e15655d959f8f","datavalue":{"value":{"amount":"+0.8575677871704102","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":"Q3704917$699D26BE-C0E5-4CF6-B322-6D538E7808B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4897d4b1954ac91ae95528226939bdfd467b5c45","datavalue":{"value":{"entity-type":"item","numeric-id":4207883,"id":"Q4207883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d08f0b2c3c0a2e9cabd56eaa242814dc3597361","datavalue":{"value":{"amount":"+0.8557283878326416","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":"Q3704917$2355C183-06A2-4FA9-9709-38BBE03CD05C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3704917","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3704917"}}}}}