{"entities":{"Q3777987":{"pageid":5807893,"ns":120,"title":"Item:Q3777987","lastrevid":52269098,"modified":"2026-01-21T07:54:40Z","type":"item","id":"Q3777987","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037813"}},"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":"Q3777987$762FC76B-B1ED-4CC3-A27C-1D1DA8FB0274","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb5b0905f54899bbc9a4128143a612ec52e3b9cf","datavalue":{"value":"0637.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777987$A0D4BDE3-6EBC-4B4E-B177-58C5E4260C24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa64db955f474475117f8049f4915cbb4669c50d","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3777987$E3C9ADF9-490F-45D0-9CE9-212FAB47D312","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":"Q3777987$1A8439FA-4E2D-4ED0-8282-B82F35B95DA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777987$7D557BA6-53BF-4655-8B9A-3AEA8D100066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777987$DB713049-FDBA-46CE-B8B0-2491F5DC95E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777987$7FF3AD45-FE18-49ED-8C3E-0C4094D66332","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e7b864b460669781927621ebb32531e32829916","datavalue":{"value":"4037813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777987$54BD72B0-7D17-4747-BD2C-4D38EFB14883","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac7f5c67bd2cc2d7ef572c5a9b1566a0ae2d6d0","datavalue":{"value":"first-order proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777987$A6F44C7B-2208-4948-A217-CD4A841970EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33c6856992177bc118524b37b8567c2fff5b4ba6","datavalue":{"value":"resolution without Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777987$894C4E4B-59F9-4818-A982-2FFDD8CA8E41","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":"Q3777987$E9E0C433-28C8-4432-B1F1-7FCAC73E690D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"990e4835b2ff0f74d6d2c7fd14a4cd2b0a6f0f4e","datavalue":{"value":{"entity-type":"item","numeric-id":5900728,"id":"Q5900728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9f45b5ca511ee72371c88094d70106b235e8fb","datavalue":{"value":{"amount":"+0.800070583820343","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":"Q3777987$7814C373-FDE2-4335-9DD0-6D1B03065B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9019475adb165e93be83e6ed4d8594c6772ab4a","datavalue":{"value":{"entity-type":"item","numeric-id":2486578,"id":"Q2486578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2363773476374e647f38db9dd44b970c81a43de8","datavalue":{"value":{"amount":"+0.7848829627037048","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":"Q3777987$9DF5C1AD-DF2D-42C1-BAB2-ED5806ECB742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a4e3e06fa8f5fa1613e3a0e750e25d9066b72c","datavalue":{"value":{"entity-type":"item","numeric-id":4281258,"id":"Q4281258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd167e346a923909f253151bb90f833256f64f3","datavalue":{"value":{"amount":"+0.7821441292762756","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":"Q3777987$3984331F-7113-4802-9B4D-27E10AF26CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c05ff52b80d6dbfd5dc36ac59d953a7f881a330","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e720c028610244c683e8478c76e201970fe4ae5","datavalue":{"value":{"amount":"+0.7821009159088135","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":"Q3777987$FB8A1096-CC98-42DE-873F-FD4BCDFC4D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3625139a48b1b52c210c022004deeddfe4a39cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3122078,"id":"Q3122078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac43ccec884bb75cff2f939e84e6d88b94bc51a","datavalue":{"value":{"amount":"+0.7787627577781677","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":"Q3777987$386FEA64-B72E-48F1-BB77-47174857DDF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3777987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3777987"}}}}}