{"entities":{"Q3483288":{"pageid":5513188,"ns":120,"title":"Item:Q3483288","lastrevid":46914054,"modified":"2025-12-25T20:31:45Z","type":"item","id":"Q3483288","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4154443"}},"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":"Q3483288$5D6FB0CF-5280-4CE2-9B71-0BAA9D532BC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4661545e61dc22a4d4ab018ad584c5e9b439af4f","datavalue":{"value":"0704.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3483288$31BE92FB-C04F-43C8-AD0E-9423ABF14500","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"767ba8e74d544c6f32d345ee31f53daa0ff17ed8","datavalue":{"value":{"entity-type":"item","numeric-id":3483285,"id":"Q3483285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3483288$4E7BE760-54F5-4891-AC33-D322D95F6A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"237406b73dd1b8f5fa1586922fcc8a288ec3dc79","datavalue":{"value":{"entity-type":"item","numeric-id":3483286,"id":"Q3483286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3483288$9B42CD25-211D-433F-82A4-FFE394409669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aefe43bdfdc766d65905d2a766a8738e784cf79","datavalue":{"value":{"entity-type":"item","numeric-id":3483287,"id":"Q3483287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3483288$0D4DF888-EB3B-47A6-87CB-2CCA3A706A29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3483288$0BDEB013-6CDB-4F43-9A2C-1B35087DF797","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3483288$1D2806C2-622C-4676-B8D1-FDDF1EB281E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3483288$63798FE4-EF10-485F-A630-DF00C357263E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f6849d0e8c75fe2d0bfd55667b537fc8bdc44d0","datavalue":{"value":"4154443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3483288$CF202088-530A-4F4C-9710-7BF818495F41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3483288$AB7738BD-2948-44C6-843D-7420093E44EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51d92bf773f0048d069da0c7bd7d51a9ab84fb2b","datavalue":{"value":"constructive proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3483288$961EDB79-C20E-4104-B929-2A94E2716183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bd3f0d92ca7573ee7c54309f2eec406eca0d","datavalue":{"value":"open formula sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3483288$350ACF5A-715E-4A36-852F-E35763F075BC","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":"Q3483288$B1BA5840-B3C9-44CD-8B9E-E1BA18A67A18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4daf52e3bc61acbb2507b45254f144ee7b4f798a","datavalue":{"value":{"entity-type":"item","numeric-id":3690794,"id":"Q3690794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d2c589d103407c83ce9578801fbcafcf02f3b6","datavalue":{"value":{"amount":"+0.95125514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3483288$40980841-C2FE-4969-9301-90F149A205EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce531ff0b371662eecd83f10202391fd38261fa5","datavalue":{"value":{"entity-type":"item","numeric-id":635637,"id":"Q635637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fd8082363c6500b39ed4e294da7e69c98b4a526","datavalue":{"value":{"amount":"+0.92748535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3483288$71BB131E-0F8E-4979-91A6-4433E38538CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ecb63bfb8d354a5958288cf0cb6386ee59005e7","datavalue":{"value":{"entity-type":"item","numeric-id":1186590,"id":"Q1186590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6d2940ab81fe276bc89a204ef4f7680006bd068","datavalue":{"value":{"amount":"+0.9111644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3483288$1AB922EB-0A1A-421C-9CAB-52D5F143DDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7feb936224894591316aabb4ca25546b3f73efd7","datavalue":{"value":{"entity-type":"item","numeric-id":5203029,"id":"Q5203029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c56b373cdd9c1d3db0edf5e4e29cc0490f44e97","datavalue":{"value":{"amount":"+0.9102552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3483288$114EB6D1-3A1C-44B0-A837-3C6A1F30B3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb712603a97d95c8c6f1736d1041e8ebba15328","datavalue":{"value":{"entity-type":"item","numeric-id":1709711,"id":"Q1709711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1400d87b1b5eff7c21df5599514b61c668daf592","datavalue":{"value":{"amount":"+0.9063755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3483288$BCE54CA5-7FAA-429B-9B97-2AFAB9F269EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c343f7941d960f3d834dd8f9562be6956f5d78f","datavalue":{"value":{"entity-type":"item","numeric-id":6064282,"id":"Q6064282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3271de287cd2cb1c3e98fc55a39d7ef477784d4b","datavalue":{"value":{"amount":"+0.9043796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3483288$2A18B38A-55FE-4AA7-BCF9-1AADC6682C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b808c2e140c8a4590a730cadabebdd8c31051428","datavalue":{"value":{"entity-type":"item","numeric-id":3807325,"id":"Q3807325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c98508b1983eddb62e1cae64f1d984f90bd945","datavalue":{"value":{"amount":"+0.9017608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3483288$2B5A00DF-86CE-40AC-A114-AF3C4DE8D0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db47e8fd918da482719ee908c6ccae9b62b789bc","datavalue":{"value":{"entity-type":"item","numeric-id":3136270,"id":"Q3136270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c0440240c4fc1bdf1697e85118e1e4dc881b13","datavalue":{"value":{"amount":"+0.8985903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3483288$FD47D27F-DAAD-49B4-A774-8C57C76D9BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c2e6c373c9be2b3477f78f449014f18797f513","datavalue":{"value":{"entity-type":"item","numeric-id":4965256,"id":"Q4965256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae10e6cc7dca5c03a72e4b8f6dbbaef1418fa56c","datavalue":{"value":{"amount":"+0.89645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3483288$4864EE54-3F2A-440B-A18A-A7EAD1BF8B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"927de2036c04d73625e0d30f14439bf2d3b81a74","datavalue":{"value":{"entity-type":"item","numeric-id":4783326,"id":"Q4783326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"818f6104ae05b6242fdc98f4718d2e7916565eac","datavalue":{"value":{"amount":"+0.89519083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3483288$39DC9F61-CC89-4566-BA16-06A1E9F8E9C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3483288","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3483288"}}}}}