{"entities":{"Q4503917":{"pageid":6533510,"ns":120,"title":"Item:Q4503917","lastrevid":41782418,"modified":"2025-05-08T06:33:50Z","type":"item","id":"Q4503917","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1507197"}},"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":"Q4503917$4362B79D-194F-470F-ADCF-1546A22EF663","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f20bd9132c077bddae1a91642eb5cbb10f07d477","datavalue":{"value":"0955.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503917$A899776A-EB62-423B-9AF5-60EC47FEFD5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a9059fbad1dac267c8b3db87819e98298f3d65f","datavalue":{"value":{"entity-type":"item","numeric-id":429595,"id":"Q429595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4503917$5BAEFCE7-9E9B-4FF7-9559-CDD05287707D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a003edfcec895e809a385e212d589ca0bbabc28e","datavalue":{"value":{"time":"+2000-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4503917$DD952F8F-7524-4649-AAE0-B7E866F94F3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503917$ACDEB1B6-05C3-4314-8CCD-623C5C222FEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5fb24617224a0bcc4c34672700d497bdadcbb51","datavalue":{"value":"1507197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4503917$7A0CDDB8-139F-419B-9BAA-0B418ED2A1DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c213f320ec06afadf70d283d9a35e975393de2bf","datavalue":{"value":"first-order deductive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503917$81724109-BE15-4C56-8AA3-A931260239BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6792ab787021778f5f20cba1d78917f3fc46dd","datavalue":{"value":"inductive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4503917$5F7D8F05-D7B2-457D-8BE1-8BE78D10BFBC","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":"Q4503917$F2B9EBBA-2FE2-4DF5-B558-ABD999F7B08D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfbcc04764b13537f13a8b4cbc496f3e3252104","datavalue":{"value":{"entity-type":"item","numeric-id":4263022,"id":"Q4263022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff896a1c69bde576ddca65e6f99868ee0721778d","datavalue":{"value":{"amount":"+0.8741914","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":"Q4503917$6667DD01-7CFB-44F9-A3ED-8B027C694C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902c0f511ba38c95031a11227738f5877fb48b54","datavalue":{"value":{"entity-type":"item","numeric-id":1344882,"id":"Q1344882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a7413a7637af86a528a9ffc9ed1dbbc3352b0a","datavalue":{"value":{"amount":"+0.85557413","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":"Q4503917$938E9E09-C5ED-437B-AD62-77C885DAF556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"225532142b13d6be3d63a7e674044c46b309f244","datavalue":{"value":{"entity-type":"item","numeric-id":4291873,"id":"Q4291873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"997ccb6ce318bcecce9b4a7f42d992ca926e0dbd","datavalue":{"value":{"amount":"+0.8540241","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":"Q4503917$5073550A-6599-4EFF-A22A-7ED9236DC549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a74742a5a75030bfb4ecd5da6258ee822ad4ee2","datavalue":{"value":{"entity-type":"item","numeric-id":4503905,"id":"Q4503905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac786fa5dbd92163ec8d5311c37dcb605d0a9ad5","datavalue":{"value":{"amount":"+0.85333085","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":"Q4503917$BC6D2E88-0AF8-479D-B42E-160CCA8C559D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9928f918677b9e7992dd1a4fc0e7da744250dc5","datavalue":{"value":{"entity-type":"item","numeric-id":4282596,"id":"Q4282596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66bf3aefd010e6fb31ab356970ce74e9393272aa","datavalue":{"value":{"amount":"+0.8501762","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":"Q4503917$211CC3BC-3607-45FA-A82B-B8D724D000CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bc0a95ba741ccdaa1aca4a9a2350e1491c56df","datavalue":{"value":{"entity-type":"item","numeric-id":4518866,"id":"Q4518866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30382019c44acca1dcb526c434c9c0291d376de","datavalue":{"value":{"amount":"+0.83234936","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":"Q4503917$98DFACA2-8485-4C13-8A51-71FEC723E78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b0949bca6460ae1f5912e2961866309910fefa","datavalue":{"value":{"entity-type":"item","numeric-id":6162119,"id":"Q6162119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b385d387d0cd15effb3591cbd32187a40868ce","datavalue":{"value":{"amount":"+0.83078575","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":"Q4503917$879E0A35-EB70-465F-9151-B36111557C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee2aa6a51b1b93df4de61b0bd3750e32e61d40e","datavalue":{"value":{"entity-type":"item","numeric-id":5149144,"id":"Q5149144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14172d16e7a0cbb003d94e1b7a14647082f5dc1","datavalue":{"value":{"amount":"+0.8300993","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":"Q4503917$9191D220-5A8C-4B7D-A16D-652F50205A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ebbf210dee7754cb6e0f702cb00fc1dbe61808","datavalue":{"value":{"entity-type":"item","numeric-id":1709688,"id":"Q1709688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34731916680b8f8783184709a9af0d0d20e1fa9","datavalue":{"value":{"amount":"+0.8274052","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":"Q4503917$938C268F-46DE-4BA5-BF32-218A1E99E4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9d4c00d166edf8dfba02ee35c290ac429f9313","datavalue":{"value":{"entity-type":"item","numeric-id":2850235,"id":"Q2850235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e2d8d066cd4c982fe658a6e6157175343ab6ea4","datavalue":{"value":{"amount":"+0.8269738","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":"Q4503917$1480F053-B28B-4C66-998B-6C3777F85FEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4503917","badges":[]}}}}}